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; }; // 选择这个版本返回值大小为1 template < typename T > RT1 test( typename NonRef< typename T::X >::NonRefX const * ) { int dumy = 0 ; dumy ++ ; } // 选择这个版本返回值大小为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; }

评论