Wird dies als SFINAE betrachtet?

Question

Ich habe vor einer Woche eine Frage gestellt, in der ich gefragt wurde, wie ich eine Klassenvorlage nur dann instanziieren könnte, wenn der Typ, den sie benötigt, eine bestimmte Elementfunktion hätte. In meiner Antwort bekam ich eine Art komplizierte Lösung. Aber dann habe ich versucht, es alleine zu machen. Ich wollte nur wissen, ob dies genug, um aus einem gegebenen Typ T hat eine void-Funktion namens f unter 0 Parameter.

#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>’ 

Wenn ja, warum die anderen Antworten sind so kompliziert in this thread?

Answer 1

Yep, haben Sie es in der einfachsten, idiomatischen Stil von C++ 11 SFINAE gelöst.

Beachten Sie, dass Sie nicht überprüft haben, ob der Rückgabetyp void ist, dass es sich um ein nicht statisches Element handelt oder dass es keine Parameter gibt. f ist einfach ohne Argumente aufrufbar. Es könnte sogar ein Funktor sein.

Um zu überprüfen, für eine nullary nicht-statische Funktion Mitglied void Rückkehr

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 {};