Warum funktionieren implizite Umsetzungselementfunktionen beim Überladen nach Rückgabetyp, während dies für normale Funktionen nicht zulässig ist?

Question

C++ lässt keine Polymorphie für Methoden zu, die auf ihrem Rückgabetyp basieren. Beim Überladen einer impliziten Konvertierungselementfunktion scheint dies jedoch möglich.

Weiß jemand warum? Ich dachte, Operatoren werden intern wie Methoden behandelt.

Edit: Hier ist ein Beispiel:

struct func { 
    operator string() { return "1";} 
    operator int() { return 2; } 
}; 

int main() { 
    int x = func(); // calls int version 
    string y = func(); // calls string version 
    double d = func(); // calls int version 
    cout << func() << endl; // calls int version 
} 

Answer 1

Konvertierungsoperatoren werden nicht wirklich als unterschiedliche Überladungen betrachtet und sie werden nicht basierend auf ihrem Rückgabetyp aufgerufen. Der Compiler wird sie nur dann verwenden, wenn sie hat (wenn der Typ inkompatibel ist und konvertiert werden sollte) oder wenn explizit aufgefordert wird, einen von ihnen mit einem Umwandlungsoperator zu verwenden.

Semantisch, was Ihr Code ist dabei mehr verschiedene Typumwandlung Betreiber und nicht Überlastungen eines einzigen Betreibers zu erklären.

Answer 2

Das ist nicht Art zurück. Das ist Typumwandlung.

Betrachte: func() erstellt ein Objekt vom Typ func. Es gibt keine Zweideutigkeiten, welche Methode (Konstruktor) aufgerufen wird.

Die einzige Frage, die bleibt, ist, wenn es möglich ist, es auf die gewünschten Typen zu werfen. Sie haben den Compiler mit der entsprechenden Konvertierung versehen, also ist es glücklich.

Answer 3

Überladungsauflösung wählt zwischen mehreren Kandidatenfunktionen aus. In diesem Prozess wird der Rückgabetyp der Kandidaten tatsächlich nicht berücksichtigt. Im Fall von Konvertierungsoperatoren ist jedoch der "Rückgabetyp" von entscheidender Bedeutung, um zu bestimmen, ob dieser Operator überhaupt ein Kandidat ist.

Answer 4

Es gibt keinen technischen Grund, die Überlastung von Funktionen in den Ergebnistypen zu verhindern. Dies wird in einigen Sprachen wie Ada zum Beispiel getan, aber im Kontext von C++, das auch implizite Konvertierungen (und zwei Arten von ihnen) hat, wird das Dienstprogramm reduziert, und die Interaktionen beider Merkmale würden schnell zu Mehrdeutigkeiten führen.

Beachten Sie, dass die Tatsache, dass implizite Konvertierungen sind benutzerdefinierbare zu simulieren Überlastung auf Ergebnistyp verwenden:

class CallFProxy; 
CallFProxy f(int); 

class CallFProxy { 
    int myParameter; 
    CallFProxy(int i) : myParameter(i) {} 
public: 
    operator double() { std::cout << "Calling f(int)->double\n"; return myParameter; } 
    operator string() { std::cout << "Calling f(int)->string\n"; return "dummy"; } 
};