Re: [boost] Re: In-place construction for variant

From: Beman Dawes (bdawes_at_[hidden])
Date: 2003-11-04 13:11:43

At 12:40 PM 11/3/2003, E. Gladyshev wrote:
 >
 >--- David Abrahams <dave_at_[hidden]> wrote:
 >[...]
 >
 >> Have you read the analysis section of
 >> http://www.boost.org/more/generic_exception_safety.html?
 >>
 >> The guarantees are abstractions which help you to reason about program
 >> behavior hiding irrelevant details and highlighting important ones.
 >
 >Yes, I have. It is a great starting point.
 >
 >[...]
 >> I think you should check out discussions of invariants in literature,
 >> e.g. Bertrand Meyer's discussions of Eiffel.  Then come back and
 >> think of exception-safety in that context.
 >>
 >
 >Thanks for the references.  Is it a book?

Yes. "Object-Oriented Software Construction" by Bertrand Meyer. ISBN: 
0136291554

Although the Eiffel language itself never had much market penetration, this 
book had a tremendous influence on C++ and other programmer's thinking 
about invariants, preconditions, postconditions, and similar reasoning 
about objects and programs.

--Beman