Können wir eine Funktion überladen, nur weil ein Parameter ein Wert oder eine Referenz ist?

Question

Ich habe die Antwort NEIN! Weil die Übergabe nach Wert und die Weitergabe nach Referenz identisch mit dem Aufrufer aussieht.

jedoch unter dem Code kompiliert rechts

class A { 

public: 
void f(int i) {}  

void f(int& i) {} 
}; 

Aber wenn ich versuche, es zu benutzen, gibt es Fehler kompilieren.

int main() { 

    A a; 
    int i = 9; 
    int& j = i; 
    a.f(1); 
    a.f(i); 
    a.f(j); 
    return 0; 
} 

Warum deaktiviert der Compiler es nicht, auch ohne zu wissen, dass es verwendet wird?

Answer 1

Ja, sie können basierend auf Referenz oder nicht überladen werden. Deshalb ist es vollkommen in Ordnung, sie so nebeneinander zu haben; Sie sind anders.

Das Problem hat mit Ambiguität zu tun. Während f(1) nur an einer Variante aufgerufen werden kann, kann f(i) an beiden aufgerufen werden. Beides ist vorzuziehen, daher erhalten Sie einen Fehler für die Mehrdeutigkeit. Wenn Sie eine dritte Funktion hinzufügen würden, wären foo (const int&), alle Aufrufe mehrdeutig. Aber alle sind immer noch Überladungen voneinander und nicht widersprüchlich.

Ich stimme zu, es ist seltsam, in der Lage zu sein, drei Überlastungen einer Funktion zu haben und in der Lage zu sein, direkt keine aufzurufen. Vielleicht hat jemand anderes mehr hinzuzufügen.

Answer 2

Sie können jede Methode aufrufen:

void (A::*t)(int&) =&A::f; 
A a; 
int i = 9; 
int& j = i; 
a.f(1); // f(int i) 
(a.*t)(i); // f(int& i)