Re: [Boost-users] [Proto] implementing an computer algebra systemwith proto

Subject: Re: [Boost-users] [Proto] implementing an computer algebra systemwith proto
From: Dave Jenkins (david_at_[hidden])
Date: 2009-01-28 12:36:56

"Eric Niebler" <eric_at_[hidden]> wrote in message 
news:49808FDC.5040006_at_boost-consulting.com...
 >
> That is not a half-bad suggestion. It's funny that we have NDEBUG to avoid 
> costly runtime checks but no equivalent for costly compile-time checks.
>
> I've never particularly cared for the "N" in "NDEBUG" ... it seems the 
> wrong default. Perhaps we can have a boost-wide macro for expensive 
> compile-time checks. How about BOOST_COMPILE_TIME_DEBUG?

I think a BOOST_COMPILE_TIME_DEBUG flag is a good idea.

I was surprised that transforming an invalid expression produced exactly
the same output as transforming a valid expression.
It was undetectable that you were depending on compile time UB.

To be sure that you aren't getting compile time UB, you have to test
each expression against each transform grammar for a match.
I doubt people will think to do that without help.

Regards,
Dave Jenkins