Subject: Re: [boost] [contract] Broken postconditions on throw
From: Andrzej Krzemienski (akrzemi1_at_[hidden])
Date: 2012-08-28 14:42:20
2012/8/28 Lorenzo Caminiti <lorcaminiti_at_[hidden]>
> > " (7)
> > The documentation lists the following sequence for executing a
> > 1. Initialize member variables via the constructor member
> > initialization list (if such a list is specified).
> > 2. Check preconditions (but not invariants).
> > 3. Execute constructor body.
> > 4. Check invariants.
> > 5. Check postconditions.
> Where do the docs say the above? That's incorrect...
Vicente quotes the thread from this list from two years ago. But the
library has been changed since and executes the expected sequence of checks
(preconditions first, initialization second). I already managed to test
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk