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.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk