Subject: Re: [boost] [contract] diff n1962
From: Thorsten Ottosen (nesotto_at_[hidden])
Date: 2010-04-12 07:05:04
Lorenzo Caminiti skrev:
> Hello all,
> On Thu, Apr 8, 2010 at 7:26 PM, Lorenzo Caminiti <lorcaminiti_at_[hidden]> wrote:
>> Below is a summary of the differences between Boost.Contract and the
>> Contract Programming C++ standard proposal n1962. I know some of the
>> authors of n1962, and also of its previous revisions, are on this
>> mailing list -- I hope that they can provide comments at least.
> Thank you very much for all your replies. I will address your comments
> and modify Boost.Contract as needed. Before that however, I have one
> additional question on constructors -- for everyone and again
> especially for the n1962 authors.
> Does n1962 require constructor preconditions to be checked before or
> after the execution of the member initialization list?
Maybe the paper is not as clear as it could be, but the intend is
*before* the member initializer list.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk