Re: [boost] [interest] underlying type library

Subject: Re: [boost] [interest] underlying type library
From: Julian Gonggrijp (j.gonggrijp_at_[hidden])
Date: 2011-08-21 18:53:14

Nevin Liber wrote:

> On 21 August 2011 05:10, Vicente J. Botet Escriba
> <vicente.botet_at_[hidden]>wrote:
> 
>> I understand that Boost can not rely on libraries promoting undefined
>> behavior, but sometimes using undefined behavior can be accepted if at the
>> end the function ensures everything is in a state that is consistent.
> 
> 
> If you invoke undefined behavior, by definition it is impossible to ensure
> everything is in a consistent state afterwards.  Undefined behavior really
> means "don't go there".

In this case however the undefined behaviour is not inherent to the 
technique. A warned person can avoid the undefined behaviour, just 
like a warned person can avoid deleting the same pointer twice.