Was macht SFINAE nicht korrekt mit der folgenden Funktion has_member?

Question

Ich probiere Beispiele aus Walter Brown's TMP talk aus und ich versuche, seine has_member Implementierung funktioniert zu bekommen.

jedoch die Umsetzung wahr zu fälschlicherweise scheint zurückzukehren was dazu führt, mich gibt es einige Details von SFINAE zu glauben, dass ich verstehen mich nicht.

#include <iostream> 
#include <type_traits> 

template <class ...> 
using void_t = void; 

template <class, class = void> 
struct has_type_member: std::false_type {}; 

template <class T> 
struct has_type_member<T, void_t<typename T::type> >: std::true_type {}; 

struct FooWithType 
{ 
    typedef int type; 
}; 

struct FooNoType 
{ 
}; 

int main() 
{ 
    std::cout << "Does FooWithType have type member? " << 
     (has_type_member<FooWithType>() ? "YES" : "NO") << "\n"; 

    std::cout << "Does FooNoType have type member? " << 
     (has_type_member<FooNoType>() ? "YES" : "NO") << "\n"; 

    return 1;                             
}  

Ausgang ist:

Does FooWithType have type member? YES 
Does FooNoType have type member? YES 

Ich bin auf gcc 4.8.2 auf Ubuntu.

Answer 1

Das Problem ist, dass gcc 4.8.2 (und vor gcc 5.0) nicht verwendete Argumente in Alias-Vorlagen nicht als für SFINAE geeignet betrachtet. Die Abhilfe ist auf eine voider Klassenvorlage zu übermitteln:

template <class ... T> struct voider { using type = void; }; 
template <class ... T> 
using void_t = typename voider<T...>::type; 

Von http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2014/n3911.pdf Abschnitt 2.3:

Ach, wir haben festgestellt Umsetzung Divergenz (Clang vs. GCC), während mit den über sehr einfachen Arbeits Definition. Wir (weiterhin) Vermutung, dass dies wegen der CWG Ausgabe ist 1558: „Die Behandlung von nicht verwendeten Argumenten in einer Alias ​​Template-Spezialisierung wird durch die derzeitige Wortlaut von 14.5.7 keine Angabe [temp.alias]“