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

时间:2010-12-04 14:06:51

标签: c++ templates sfinae

  

可能重复:
  Is it possible to write a C++ template to check for a function's existence?

这与我的earlier question非常相似。我想检查模板参数是否包含成员函数。

我尝试使用类似于上一个问题中接受的答案的代码。

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概念的新手。

1 个答案:

答案 0 :(得分:1)

Is it possible to write a C++ template to check for a functions existence?

对MSalters的想法进行了一些修改
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&)};
};