Re: [boost] [contract] Broken postconditions on throw

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
> constructor:
> >
> >    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
that :)