From: D language (mbosticky_at_[hidden])
Date: 2002-10-28 03:49:54
>> Only i am not sure about unwinding the stack when exceptions are thrown.
>Additionally, would you want to check your postconditions when
>exceptions are thrown? I think there are situations both in favor and
No I would not want to do that. When exceptions are thrown, it is very
likely the postconditions will fail because the program is out of its
normall control flow. For that same reason, testing postconditions after
exception is thrown does not make any sence. This makes me think that pre
and post conditions in constructor/destructor of a class is not such a good
I am getting a feeling that there is no practical way of checking pre/post
conditions with C++ other than the unfortunate self discipline.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk