Warum wird die überladene Methode mit const Referenz Rückgabewert nicht aufgerufen?

Question

Betrachten Sie das folgende Stück Code:

#include <iostream> 

using namespace std; 

class A { 
    private: 
    int x; 
    public: 
    int& get_ref() { 
     cerr << "non const" << endl; 
     return x; 
    } 

    const int& get_ref() const { 
     cerr << "const" << endl; 
     return x; 
    } 
}; 

int main() { 
    A a; 
    a.get_ref() = 10; 

    cout << a.get_ref() << endl; 

    const int& y = a.get_ref(); 

    return 0; 
} 

ich den zweiten und dritten Anrufe a.get_ref() erwarten, dass die zweite Version von get_ref() Methode (und Ausgang const auf dem Standardfehler) laufen. Aber es sieht so aus, als ob immer die erste Version aufgerufen wird. Wie kann ich zwei verschiedene 'Getter' implementieren und sicherstellen, dass die richtige Version basierend auf dem Kontext aufgerufen wird? Das heißt, zumindest für den dritten Anruf

const int& y = a.get_ref(); 

die zweite Version wird ausgeführt? (Eine nicht-elegante Lösung wäre, verschiedene Namen zu verwenden, zB get_ref und get_const_ref aber ich versuche, zu sehen, ob das vermieden werden kann.)

Answer 1

Überlastung Auflösung hängt nicht von Rückgabewerte, sondern nur Argumente, einschließlich des Objekts für die Mitgliederfunktion aufgerufen werden. a ist ein nicht-konstantes Objekt, dann wird für a.get_ref() die nicht konstante Elementfunktion immer aufgerufen.

Sie es const für die const-Version werfen können genannt werden:

const_cast<const A&>(a).get_ref(); 

---

BTW: sie verschiedene Namen zu geben, ist keine schlechte Idee. Deshalb haben wir std::cbegin und std::cend in STL.

Answer 2

Die Überladungsauflösung betrifft nur die Argumente des Aufrufs (einschließlich des impliziten Arguments für this). Der Ausdruck a.get_ref() muss für die gleiche Überladung ausgewertet werden, unabhängig davon, was mit dem zurückgegebenen Wert geschieht. Das ist grundlegend in C++, und Sie können nichts dagegen tun.

Wenn Sie die const, Qualifizierte Version aufrufen möchten, verwenden Sie einen const, Qualifizierte Objektausdruck:

const int& y = const_cast<const A&>(a).get_ref();