Re: [boost] [variant2] Formal review

Subject: Re: [boost] [variant2] Formal review
From: Bjorn Reese (breese_at_[hidden])
Date: 2019-04-20 11:02:22

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