有个瑕疵，X若为引用类型则会返回不期望的值，例如：
class HasX
{
public:
typedef int& X;
};
type_has_member_type_X < HasX >()
将返回false，类型和特征萃取时，引用类型总是比较麻烦，呵呵  回复  更多评论
  

@dicklee
不错，看来上面对模板了解深啊，现在才发现自己对编译器了解甚少！  回复  更多评论
  

typedef char RT1;
typedef struct
{
char a[ 2 ];
} RT2;

template < typename T >
class NonRef{

public:

typedef T NonRefX;

};

template < typename T >
class NonRef< T& >{

public:

typedef T NonRefX;

};

// 选择这个版本将返回char,大小为1
template < typename T > RT1 test( typename NonRef< typename T::X >::NonRefX const * )
{
int dumy = 0 ;
dumy ++ ;
}


// 选择这个版本将返回char,大小为2
template < typename T > RT2 test(...)
{
int dumy = 0 ;
dumy ++ ;
}

// 依靠编译器自动选择test函数,然后依据返回类型判断是否含有X
template < typename T >
bool type_has_member_type_X()
{
return ( sizeof (test < T > ( 0 )) == 1 );
}

// 有X类型的类
class HasX
{
public :

typedef int& X;

} ;

// 无X类型的类
class NonX
{
public :
class Y
{
} ;
} ;


int _tmain(int argc, _TCHAR* argv[])
{
// 编译器选择重载函数策略:选择类型最匹配版本
// 倾向于把0转化为常量空指针,所以选择返回为RT1版本

if (type_has_member_type_X < HasX > ())
{
std::cout << " Has X " << std::endl;
}
else
{
std::cout << " Non X " << std::endl;
}

// 没有T::X,所以选择返回为RT2版本
if (type_has_member_type_X < NonX > ())
{
std::cout << " Has X " << std::endl;
}
else
{
std::cout << " Non X " << std::endl;
}


return 0;
}
  回复  更多评论