Re: [boost] [Contract] noexcept and custom contract violation handlers

Subject: Re: [boost] [Contract] noexcept and custom contract violation handlers
From: Sebastian Redl (sebastian.redl_at_[hidden])
Date: 2012-09-03 03:54:05

On 02.09.2012 21:40, Andrzej Krzemienski wrote:
> 2012/9/2 Dave Abrahams <dave_at_[hidden]>
>
>> This is bad advice and should be ignored. Exceptions and 
>> preconditions have no inherent relationship, exceptions are not a 
>> good tool for handling precondition failures, and nothing should be 
>> done to link them. 
> I agree in principle; however, N3248 provides one example that cannot be
> that quickly dismissed: testing if your library defined (and verified)
> enough preconditions.
googletest, just as an example, provides death tests. Set Contract to 
terminate on violation (as it should) and run them.

Sebastian