检查模板参数是否有成员函数

Question

可能的重复：
是否可以编写检查函数是否存在的 C++ 模板？

这与我的 之前的问题。我想检查模板参数是否包含成员函数。

我尝试了与上一个问题中接受的答案类似的代码。

struct A
{
   int member_func();
};

struct B
{
};

template<typename T>
struct has_member_func
{
   template<typename C> static char func(???); //what should I put in place of '???'
   template<typename C> static int func(...);

   enum{val = sizeof(func<T>(0)) == 1};
};

int main()
{
    std::cout<< has_member_func<B>::val; //should output 0
    std::cout<< has_member_func<A>::val; //should output 1
}

但我不知道应该用什么来代替 ??? 才能使其正常工作。 我对 SFINAE 概念很陌生。

Answer 1

对 MSalters 的想法进行了一些修改 是否可以编写一个 C++ 模板来检查函数是否存在？：

template<typename T>
class has_member_func
{
        typedef char no;
        typedef char yes[2];
        template<class C> static yes& test(char (*)[sizeof(&C::member_func)]);
        template<class C> static no& test(...);
public:
        enum{value = sizeof(test<T>(0)) == sizeof(yes&)};
};