开发环境：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。