C++0x提供了丰富的type trait用于generic编程。但是，其中并没有探测类成员的type trait.不借助编译器的帮助，要实现这个type trait是很困难的。这里我们对需求进行适当的修改：探测类中是否存在指定名称和类型的成员。

　　 在C++中，函数重载是最常见的实现type trait的方法。但是，函数重载是基于类型的。默认参数和访问权限都在函数重载之后进行。这里我们希望探测指定的成员是否存在，所以需要找到一种将成员转换为类型的方法。幸运的是，模板支持非类型的参数。下面展示了基于这一想法的实现：

　namespace van {
　　　 namespace type_traits {
　　　　　　　 namespace detail {
　　　　　　　　　　　 typedef char Small;
　　　　　　　　　　　 struct Big {char dummy[2];};

　　　　　　　　　　　 template<typename Type,Type Ptr>
　　　　　　　　　　　 struct MemberHelperClass;

　　　　　　　　　　　 template<typename T,typename Type>
　　　　　　　　　　　 Small MemberHelper_f(MemberHelperClass<Type,&T::f> *);
　　　　　　　　　　　 template<typename T,typename Type>
　　　　　　　　　　　 Big MemberHelper_f(...);
　　　　　　　 }

　　　　　　　 template<typename T,typename Type>
　　　　　　　 struct has_member_f
　　　　　　　 {
　　　　　　　　　　　 enum {value=sizeof(detail::MemberHelper_f<T,Type>(0))==sizeof(detail::Small)};
　　　　　　　 };
　　　 }
}

struct A
{
　　　 static void f();
};
struct B
{
};

#include <iostream>
using namespace std;

int main()
{
　　　 cout<<boolalpha;
　　　 cout<<van::type_traits::has_member_f<A,void (*)()>::value<<endl;
　　　 cout<<van::type_traits::has_member_f<B,void (*)()>::value<<endl;
}