Question

可能重复：
Possible for C++ template to check for a function’s existence?

我试图确定一个类型有某个成员。这就是我的尝试：

template <typename T,typename U=void>
class HasX
{
public:
    static const bool Result=false;
};

template <typename T>
class HasX<T,typename enable_if_c<(sizeof(&T::X)>0)>::type>
{
public:
    static const bool Result=true;
};


struct A
{
    int X();
};

struct B
{
    int Y();
};


int main()
{
    cout<<HasX<A>::Result<<endl; // 1
    cout<<HasX<B>::Result<<endl; // 0
}

它实际上编译并在GCC上工作，但VC在实例化时给出error C2070: 'overloaded-function': illegal sizeof operand。

代码是否有问题，还有其他方法吗？

Answer 1

确实有：

typedef char (&no_tag)[1];
typedef char (&yes_tag)[2];

template < typename T, void (T::*)() > struct ptmf_helper {};
template< typename T > no_tag has_member_foo_helper(...);

template< typename T >
yes_tag has_member_foo_helper(ptmf_helper<T, &T::foo>* p);

template< typename T >
struct has_member_foo
{
    BOOST_STATIC_CONSTANT(bool
        , value = sizeof(has_member_foo_helper<T>(0)) == sizeof(yes_tag)
        );
};

struct my {};
struct her { void foo(); };

int main()
{
    BOOST_STATIC_ASSERT(!has_member_foo<my>::value);
    BOOST_STATIC_ASSERT(has_member_foo<her>::value);

    return 0;
}

从here复制粘贴。

编辑：更新符合AFAIK的代码。另请注意，您必须知道要检查的方法的返回类型的参数。

确定一个班级是否有某个成员？

1 个答案: