Re: [boost] optional vs variant vs any

From: Douglas Gregor (gregod_at_[hidden])
Date: 2001-08-30 13:13:55

On Thursday 30 August 2001 08:15, you wrote:
> > I haven't
> > thouhgt about this long enough to be sure, but it seems like the strong
> > exception guarantee is going to be hard to achieve
>
> But is that really necessary? Like Dave Abrahams already hinted, the basic
> guarantee seems to be satisfiable.

Yes, we can satisfy the basic guarantee easily enough for all reasonable 
types. 

> > With the default-constructor-default-constructs-first rule one just
> > declares a variant as: variant<empty, t0, t1, ..., tN> and it
> > default-initializes to an "empty" object. No tricks, no workarounds. It
> > looks nice in a vswitch statement, too:
> >
> > vswitch(v)(
> >     vcase<unused>(do_something)
>
> I assume you mean 'unused' == 'empty'.

Yes.

        Doug