有個瑕疵，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;
}
  回復  更多評論