Subject: Re: [boost] [contract] Ready to release
From: Lorenzo Caminiti (lorcaminiti_at_[hidden])
Date: 2017-09-04 12:12:53
On Mon, Sep 4, 2017 at 3:59 AM, Joaquin M LÃ³pez MuÃ±oz via Boost
> El 03/09/2017 a las 18:00, Lorenzo Caminiti via Boost escribiÃ³:
>> I *finally* got around finishing Boost.Contract after the library was
>> reviewed and accepted by Boost about 5 years ago?!
> I wonder how this aligns with inclusion of Contract Programming in C++20,
> which seems
> to have gained definite momentum after Toronto
Even if it's not a done deal yet... I sincerely hope contracts make it in C++20!
> in the form presented at
This proposal only supports basic pre- and postconditions. It does not
support class invariants and old values, not to mention
subcontracting. These are all supported by Boost.Contract instead.
Therefore Boost.Contract will still be useful even if P0542R0 is
accepted in C++20 (namely, when class invariants, old values, or
subcontracting might be needed).
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk