
6 Feb
2004
6 Feb
'04
12:28 a.m.
Is there an easy way to write: template <typename T> struct is_variant { typedef ??? type; }; So far the best I can come up with is: 1) T has a member type "types" and 2) T is convertible to make_variant_over<T::types>::type and 3) make_variant_over<T::types>::type is convertible to T Does anyone have a better idea? Thanks!