c – 这被认为是SFINAE吗？

我问了一个星期前的一个问题,询问我如何才能简单地实例化一个类模板,只要它具有特定的成员函数的类型.在我的答案中,我得到了一个复杂的解决方案.但是后来我试图自己做.我只是想知道如果这足以计算出一个给定的类型T,则具有一个名为f的void函数取0个参数.

#include <type_traits>
#include <utility>

template <typename T,typename = void>
struct has_f : std::false_type { };

template <typename T>
struct has_f<
    T,decltype(std::declval<T>().f(),void())> : std::true_type { };

template <typename T,typename = typename std::enable_if<has_f<T>::value>::type>
struct A { };

struct B
{
    void f();
};

struct C { };

template class A<B>; // compiles
template class A<C>; // error: no type named ‘type’ 
                     // in ‘struct std::enable_if<false,void>’

如果是这样,为什么其他答案在this thread?这么复杂

template <typename T>
struct has_f<T,decltype(void( static_cast< void (T::*)( void ) >( &T::f ) )) >
    : std::true_type {};

template <typename T>
struct has_f<T,decltype(void( static_cast< void (T::*)( void ) const >( &T::f ) )) >
    : std::true_type {};