Re: [boost] [contract] diff n1962

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.
> 
> CONSTRUCTORS
> 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.

-Thorsten