Re: [boost] Re: boost::variant 0.2 (was: Yet another ...)

From: Peter Dimov (pdimov_at_[hidden])
Date: 2002-07-16 09:07:00

From: "Giovanni Bajo" <giovannibajo_at_[hidden]>
> > Even if there were such a solution, you'd get ODR violations that way,
> since
> > the same T may be complete at one point and incomplete at another.
AFAICS.
>
> Can you please explain why a simple Select<is_incomplete<T>,
incomplete<T>,
> T> should not work in this situation? Isn't there a is_incomplete trait
> somewhere?

class X;

variant<X, int> v1;

class X
{
};

variant<X, int> v2;

Would this work as expected (i.e. not lead to ODR violations or some other
undesired behavior) under the implementation you envision?