Warum kann ich bei Verwendung von std :: forward eine l-Wert-Referenzfunktion aufrufen, während ich einen r-Wert übergebe?

Question

Ich gehe derzeit durch r-Wert-Referenzen und verschiebe Semantik, und ich sehe eine seltsame Diskrepanz in meinen eigenen Codierungs-Experimenten.

der folgende Code Gegeben:

#include <iostream> 

using namespace std; 

class X{}; 

void g(X&& t) // A 
{ 
    cout << "Rref call" << endl; 
}  

void g(X& t) // B 
{ 
    cout << "Lref call" << endl; 
}  

template<typename T> 
void f(T&& t) 
{ 
    g(forward<T>(t)); 
} 

int main() 
{ 
    X x; 
    f(x); // 1 
    f(X()); // 2 

    return 0; 
} 

Wird die erwartete Ausgabe hier erzeugen:

Lref nennt Rref zu nennen

Allerdings, wenn ich voran gehen und lösche die überladene Funktion g, die eine r-Wert-Referenz nimmt (oben auf Kommentarzeile // A bezeichnet), habe ich folgende Ausgabe:

Lref nennen

Wie funktioniert das aus Lref zu nennen? Warum beschwert sich der Compiler nicht über einen Anruf an g(X& t), während er versucht, eine X&& zu übergeben?

Answer 1

Wenn Sie die g(X&& t) Überladung auskommentieren, verwenden Sie eine MSVC extension, die das Binden von rvalues ​​an Nicht-const lvalue-Referenzen ermöglicht. Wenn Sie die Warnstufe auf /W4 stellen, wird MSVC Ihnen mitteilen, dass eine nicht standardmäßige Erweiterung verwendet wird.

Sowohl gcc und clang fail to compile der Code mit dieser Überlastung auskommentiert.