From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-18 18:10:16
> > What will preconditions and postconditions do inside free
>> 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...
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk