SFINAE检测静态方法

Question

我正在尝试实现一种机制来检测提供的类是否包含一些静态方法。 这是非常简单的代码，但我不明白为什么decltype()不能按预期用于EnableIfHasFooMethod类的专业化：

#include <iostream>

struct A {
    static int Foo() { return 0; }
};

template <class T, class = void>
struct EnableIfHasFooMethod {};

template <class T>
struct EnableIfHasFooMethod<T, decltype(T::Foo)> {
    typedef void type;
};

template <class T, class = void>
struct HasFooMethod {
    static const bool value = false;
};

template <class T>
struct HasFooMethod<T, typename EnableIfHasFooMethod<T>::type> {
    static const bool value = true;
};

int main() {
    std::cout << HasFooMethod<A>::value << std::endl;
    return 0;
}

输出是0 ，但应该是1 。

Answer 1

你忘记添加void()

template <class T>
struct EnableIfHasFooMethod<T, decltype(T::Foo, void())> { /* ... */ };
// ...........................................^^^^^^^^

您需要匹配第二种类型（ void ）

// ........................vvvv
template <class T, class = void>
struct EnableIfHasFooMethod {};

所以你的decltype()必须返回void iff（当且仅当）在T有一个Foo()成员。

你不能写

decltype( T::Foo )

因为，在这种情况下， decltype()返回不能为void的成员Foo （如果存在）的类型。

你不能写

decltype( void() )

因为，在这种情况下， decltype()永远返回void ，但如果T有一个Foo成员，您就想要它

所以解决办法是

decltype( T::Foo , void() )

所以SFINAE能正常工作，失败的替代，如果没有一个Foo员和返回void ，如果有Foo 。

Answer 2

由于这可能仍然引起人们的兴趣，让我指出EnableIfHasFooMethod是多余的（如果我没记错的话）。 这应该也能正常工作：

template <class T, class = void>
struct HasFooMethod: public std::false_type {};
template <class T>
struct HasFooMethod<T, std::void_t<decltype(T::Foo)>>: public std::true_type {};