При использовании std :: forward, почему я могу вызвать опорную функцию l-value при передаче в r-значении?

Question

В настоящее время я просматриваю ссылки r-value и переводит семантику, и я вижу странное несоответствие в своих собственных экспериментах по кодированию.

Учитывая приведенный ниже код:

#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; 
} 

будет генерировать ожидаемый результат здесь:

LRef называют

Rref называют

Однако, если я иду вперед и удалите перегруженную функцию g, которая принимает ссылку на r-значение (обозначенный выше на комментарий линии // А), я получаю следующий результат:

LRef называют

LRef называют

Как это работает вне дома? Почему компилятор не жалуется на вызов g(X& t) при попытке передать в X&&?

Answer 1

Когда вы закомментируете перегрузку g(X&& t), вы используете MSVC extension, что позволяет привязывать значения к значениям const lvalue. Если вы установите уровень предупреждения на /W4, MSVC сообщит вам, что используется нестандартное расширение.

И gcc и clang fail to compile код с этой перегрузкой прокомментирован.