Boost logo

Boost :

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, gregod at, cpdaniel at, john at