[boost] Re: unions

From: Eric Friedman (ebf_at_[hidden])
Date: 2003-10-07 19:15:34

David Abrahams wrote:

> "E. Gladyshev" <egladysh_at_[hidden]> writes:
>>[...]
>>So you decided that it is worth to make the first type special.
>>Well, seems like a strange justification to me but anyway...
> 
> 
> Me too, FWIW.  In generic code it may not be so easy to control the
> properties of the type which comes first.

My point, though, is why does it matter?

It seems unlikely to me that the specification on some generic code 
would be:

   "One of these types must be nothrow default-constructible."

In my opinion, the ability to turn off heap backup for variant should be 
seen as an optimization (i.e., as it prevents costly heap allocation) 
and not any sort of interface feature. Please disagree with me though.

Thanks,
Eric