判断类函数是否存在

SFINAE
“替换失败不是错误” (Substitution Failure Is Not An Error)
利用c++函数模板推断

#include <iostream>
using namespace std;

template<typename T>
struct has_memeber_foo
{
private:
	template<typename U>
	static auto check(int) -> decltype(std::declval<U>().foo(), std::true_type());
	template<typename U>
	static std::false_type check(...);
public:
	enum { value = std::is_same< decltype(check<T>(0)), std::true_type>::value };
};

struct MyStruct
{
	void foo();
};
struct Other
{

};

int main()
{
	if (has_memeber_foo<MyStruct>::value)	//has
		cout << "has" << endl;
	else
		cout << "no" << endl;

	if (has_memeber_foo<Other>::value)		//no
		cout << "has" << endl;
	else
		cout << "no" << endl;


	return 0;
}

1. 没有函数体，需要声明static
2. check(0)会优先匹配第一个函数，如果存在foo，返回std::true_type类型，否则调用第二个check函数，返回std::false_type类型
3. decltype(std::declval<U>().foo(), std::true_type()) std::true_type() 需要括号，decltype可以根据这个推到出类型，但不能根据类型推导类型，decltype(int)不能通过编译