[boost] Re: Boost.Assertion

From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-18 18:10:16

>  > What will preconditions and postconditions do inside free
>functions?
>>  Just assert?
>
>The same thing they do inside member functions.  The only thing this
>means is that precondition checks don't automatically create our
>invariant checking mechanism.  You need to use BOOST_CHECK_INVARIANTS
>for this, which would be valid only inside of member functions. 
>There are several benefits to this approach (it works well with c-tor
>and d-tor assertions, it insures only one check even if multiple
>BOOST_REQUIRE calls are made, etc.), even though it means an extra
>call is needed to be added manually by users.

That was a stupid question. :-) I was thinking about my own macros 
when I wrote that. They automatically call the invariant which 
doesn't make much sense with a free function...

   -- Jesse