typedef char RT1;
typedef struct{ char a[2]; } RT2;
template<typename T> RT1 test(typename T::X const*){
cout << "typename T::x const* called" << endl;
}
template<typename T> RT2 test(...){
cout << "..." << called;
}

class foo{
public:
typedef int X;
};
#define type_has_member_type_X(T)\
(sizeof(test<T>(0)) == 1)

可以看一下上面的宏,用于判定类型中是否有type X的定义,注意里面似乎是调用了一个函数,其实不是。要知道sizeof是编译时参数,所以

上面的宏只在编译时用类型判断得到结果。