From: Douglas Gregor (gregod_at_[hidden])
Date: 2002-08-08 12:18:34
On Thursday 08 August 2002 05:59 am, Eric Friedman wrote:
> Well, having the strong guarantee does make variant's use much, much
> nicer.
>
> Now, in the process of removing the undefined behavior from swap and
> assign, I've had to reintroduce the notion of an empty variant (namely,
> an empty variant is one that has only "partly" made it through an assign
> or a swap).
*sniff* I want the strong guarantee back *sniff*
Could you give us a summary of the semantics of an empty variant ? I'm
thinking of it like a singular iterator, where you basically can't do
anything with it other than give it a useful value. Does 'empty' now have a
purpose?
Doug