20 Apr
2019
20 Apr
'19
11:02 a.m.
On 4/16/19 1:18 PM, Andrzej Krzemienski via Boost wrote:
to depart from this model and adapt a more nuanced one. Let's introduce a new term: "effective invariant": this is a constraint on object's state much as "invariant". It determines what values an object can assume in a program where programmers adhere to the important principles that are necessary for programs to be correct. We can list some of them:
* Destructors do not throw exceptions, even if they fail to release resources
Quoting [1]: "The basic guarantee: that the invariants of the component are preserved, and no resources are leaked." [1] https://www.boost.org/community/exception_safety.html