hat Int einen Operator ==

Question

Ich versuche zu überprüfen, ob eine Klasse eine Methode operator== hat. Ich fand eine Lösung mit SFINAE here und es funktioniert gut mit der Klasse, die ich mache.

Es sieht wie folgt aus:

template <typename T> 
class comparable 
{ 
    typedef char one; 
    typedef long two; 

    template <typename C> static one test(typeof(&C::operator==)) ; 
    template <typename C> static two test(...); 


public: 
    enum { value = sizeof(test<T>(0)) == sizeof(char) }; 
}; 

Aber, wenn ich versuche:

std::cout << comparable<int>::value << std::endl; 

Dann gibt es falsch, während ich es erwartete wahr zurückzukehren. Warum ist das ?

Answer 1

int ist kein Klassen-Typ und hat kein Mitglied operator==, nach dem Sie mit Ihrer &C::operator== suchen. Somit ergibt der Test eine "no". Wie andere korrekt angemerkt haben, wäre Ihr Test auch negativ für Klassen mit nur einem Nichtmitglied operator==.

Wie richtig zu prüfen, ob ein operator== existiert hier gefragt wurde: How to check whether operator== exists?

Answer 2

Ihr Test prüft nicht, wenn der Ausdruck C==C gültig ist. Es testet, ob Ihre Klasse C eine C::operator== hat. Da int keine Klasse ist, hat es keine Klassenmitglieder.

Versuche z. typeof(C()==C())

Answer 3

Ihr sofortiger Ansatz ist aus mindestens zwei grundlegenden Gründen fehlerhaft (oder unvollständig).

Erstens Ihre Methode überprüft, ob KlasseC einMitglied hat operator == genannt. Nicht-Klassen-Typen werden diesen Test nicht bestehen, da sie überhaupt keine Mitglieder haben. Und int ist ein Nicht-Klassen-Typ.

Zweitens erkennt dieser Ansatz selbst keine Klassen, für die operator == als eigenständige Funktion implementiert ist. Zum Beispiel wird Ihr Test sagen, dass std::string keinen == Operator hat. Es ist wahr, dass std::string kein solches Mitglied hat, aber Sie können std::string für Gleichheit mit dem Standalone operator == vergleichen. Also, auch wenn int irgendwie ein Klassen-Typ wäre, bedeutet es immer noch nicht, dass es operator == als eine Member-Funktion implementieren würde.

Answer 4

Wenn Sie C++ 11 können Sie decltype verwenden, die die Implementierung viel leichter machen wird:

#include <iostream> 
#include <type_traits> 

using namespace std; 

template <class T, class Sfinae = void> 
class comparable { 
public: 
    static constexpr bool value = false; 
}; 

template <class T> 
class comparable <T, typename enable_if<is_same<decltype(declval<T>() == declval<T>()), bool>::value>::type> { 
public: 
    static constexpr bool value = true; 
}; 

class A { 
public: 
    bool operator==(const A &) { 
     return true; 
    } 
}; 

class B { 
}; 

int main() { 
    cout << comparable<int>::value << endl; // output: 1 
    cout << comparable<A>::value << endl; // output: 1 
    cout << comparable<B>::value << endl; // output: 0 
}