开发环境：VS2005(VC8)
以下代码在VS2002上运行不了，据说VS2002(VC7)不完全支持偏特化,VS2003(VC7.1)就支持了。
问题提出：
一，已知类型T,U，在编译阶段如何知道T能否转化成U。
template <class T, class U> struct ConversionHelper { static long Test(...);//WQ注：C++中，不定参数已不需要“至少一个定参”了。 static short Test(U); static T MakeT(); }; template <class T, class U> struct Conversion { typedef ConversionHelper<T, U> H; enum { exists = sizeof(short) == sizeof(H::Test(H::MakeT())) }; }; class A { public: A() { TRACE("\r\nAr\n"); } }; class B : public A { public: B() { TRACE("\r\nBr\r\n"); } };
测试代码:
bool b1 = Conversion<B,A>::exists; bool b2 = Conversion<A,B>::exists;
运行结果分别为true,false.
二，接上面的问题。如果T能转化成U，则定义一个U类型的对象，否则定义T类型的变量。
template <int flag, typename T, typename U> struct Select { typedef U Result; }; template <typename T, typename U> struct Select<0, T, U> { typedef T Result; };
测试代码：
Select<Conversion<B,A>::exists,B,A>::Result type;
type的类型是A；B不再继承与A，则type类型是B。
