Re: [boost] Re: Variant implementation change (was re: unions)

From: brock (brock.peabody_at_[hidden])
Date: 2003-10-08 23:08:18

----- Original Message -----
From: "E. Gladyshev" <egladysh_at_[hidden]>

[...]

> What is the rationale for basic guarantees?

No resources are leaked and class invariants are maintainted.

> Let's say that there is an assignment exception
> and varaint<t1,t2> has one of
> the value-initialized types, t1 or t2 now.
> What do you normally do with that?

I don't know what you would want to do, but my understanding is that if an
exception has been thrown from an operation on an object, and that operation
does not make the basic guarantee, the results of subsequent operations on
that object are undefined - it might not even be safe to destroy it.

Brock