[boost] Re: Re: Re: Re: Re: Re: Re: partial<> proposal

From: Philippe A. Bouchard (philippeb_at_[hidden])
Date: 2003-02-24 23:24:22

David Abrahams wrote:

[...]

>> What will happen to a normal type then?
>
> What is a "normal type"?

Any type besides optional<T>.

>> {
>>     T storage = T(x, y, z); // throws
>>
>>     // storage.~T() destroys non-existent T
>
> Storage never gets constructed if T(x,y,z) throws, so it is also
> never destroyed.

It is never destroyed, because the program counter returns from the function
before it reaches the object's destruction?  If so, the same will happen to
aligned_storage<T>::type if it trows an exception?

Philippe A. Bouchard