Subject: Re: [boost] [contract] move operations and class invariants
From: Peter Dimov (lists_at_[hidden])
Date: 2017-12-01 02:10:58
Lorenzo Caminiti wrote:
> 2. How useful is a class like the one above with "crippled" invariants and
> is_valid() preconditions on all its useful public methods like read()?
A read() member that takes no arguments and returns void is not very
realistic. read() can fail, so you can drop its "valid" precondition and
just fail when the handle is invalid.