From: David Abrahams (dave_at_[hidden])
Date: 2003-10-08 15:58:52
Daniel Wallin <dalwan01_at_[hidden]> writes:
> I guess the problem is I can't really think of a situation where it makes
> any difference if the variant contains the prepended empty_type or
> a type from the original list. I'm guessing you can though, so please
> help me understand.
Just go back to the original design rationale for variant. If it
really doesn't matter, variant should just prepend empty_type
internally and always. Then we can stop having this discussion ;-)
-- Dave Abrahams Boost Consulting www.boost-consulting.com