28 Aug
2012
28 Aug
'12
6:42 p.m.
2012/8/28 Lorenzo Caminiti <lorcaminiti@gmail.com>
" (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 :)