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?