From: E. Gladyshev (egladysh_at_[hidden])
Date: 2003-10-08 16:36:19
--- David Abrahams <dave_at_[hidden]> wrote:
> Sorry to be so blunt, but that's just crazy. Without the basic
> guarantee, any program invariant is allowed to be disrupted by an
> exception, and recovery is impossible.
I don't get what you mean. I can always handle exceptions
on my own just like in case of typical class or C style union
types. What is so special about variant?
What is program invariant?
> > Even if you decide to support basic guarantees, why do you need the
> > heap backup and first-type based switch?
> Because of variant's invariant: "thou shalt always contain a value of
> one of your types".
Who said that?
Do you Yahoo!?
The New Yahoo! Shopping - with improved product search
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk