Re: [boost] variant2 never empty guarantees (was: Re: Outcome/expected/etc/etc/etc)

Subject: Re: [boost] variant2 never empty guarantees (was: Re: Outcome/expected/etc/etc/etc)
From: Peter Dimov (lists_at_[hidden])
Date: 2017-06-06 14:04:19

Andrzej Krzemienski wrote:

> > > Your expectation is reasonable, but (I think) it is incompatible with 
> > > other peoples' expectation: provide implementation that gives me 
> > > never-empty guarantee when I meet condition Y. ("Y" in that case means 
> > > I have a type with nothrow default constructor.)

It's actually "give me single buffer when Y". The aim was to make the 
typical variant (that often contains a fallback type by accident) single 
buffer.

Surprising pushback against this one. I'll take this feedback into account.