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.