读loki有感，编译阶段发现两个类能否转化

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