Re: [boost] Re: ENFORCE

From: John Torjo (john_at_[hidden])
Date: 2003-05-05 11:44:11

and of course....

> #define BOOST_INVARIANT(expr) \
>     if (!(expr)) \
>         boost::invariant(), \
>         std::clog << "invariant failure: " #expr, \
>         boost::BOOST_INVARIANT_A \
>     /**/
> 

Probably this should be 

#define BOOST_INVARIANT(expr) \
    if (!!(expr)); \
    else \ 
    ...

so that this case will work as expected:

if (condition)
   BOOST_INVARIANT(....) do_something();
else
   do_something_else();

Best,
John