Re: [boost] An extension to boost::variant

AMDG Chris Hamilton wrote:

Caveat: There would be a small violation to the "Never Empty Guarantee" if a reference was the first templated type and the variant was default constructed; in this case, it would be default constructible (as internally it would be stored using a pointer), but the pointer would have a null value. Trying to use this value would cause an error, obviously.

Just forbid default construction in this case. It isn't very hard. In Christ, Steven Watanabe