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-13 17:07:07

Gottlob Frege wrote:

> This is basically why I'm satisfied with std::variant - move should never 
> throw.  If it does, it was a tiny allocation, and you were screwed anyhow. 
> No one should have a move that does a large allocation.
>
> So in my world, std::variant already has the never-empty (and never 
> valueless_by_exception) guarantee.

Why are you then so insisting on the strong guarantee? It's only relevant 
when an operation throws.