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

Subject: Re: [boost] An extension to boost::variant
From: Steven Watanabe (watanabesj_at_[hidden])
Date: 2009-02-09 21:45:08

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