[boost] Re: any_function (callback) library

From: Jesse Jones (jesjones_at_[hidden])
Date: 2001-04-13 15:52:05

>This debate has already sparked me into developing such a library. 
>I'm modelling the on/off functionality closer to the Eiffel approach
>where each assertion type (pre/post condition, invariant and check)
>belongs to a level and the programmer sets the level of assertion
>support at compile time.  There are a *LOT* of issues that need to be
>addressed (ODR, static initialization errors, etc.) but I'll post a
>beginning either today or Monday that may be a good starting place
>for discussion.

I'd like to see it. :-) If you're going to try and support invariants 
I'd recommend not worrying about weakening preconditions and 
strengthening postconditions in subclasses. However it is very useful 
if the invariant is only checked when a public method is first 
entered.

   -- Jesse