Re: [boost] [variant2] documentation request

Subject: Re: [boost] [variant2] documentation request
From: Peter Dimov (pdimov_at_[hidden])
Date: 2019-03-05 21:57:38

Ivan Matek wrote:

> > What happens with
> >
> > struct Bad
> > {
> >     operator int() { throw false; }
> > };
> >
> > variant<int, short> v = (short)10;
> > v = Bad();
>
> I always considered  this ugly corner case that prevents us from having 
> nice things.

This is actually not a problem for variant2. When the contained types are 
trivial, as in this case, the exception, if any, occurs outside the variant. 
It has to, because otherwise constexpr can't work:

https://godbolt.org/z/8kXcBN