使用 std::forward 时，为什么我可以在传入右值时调用左值引用函数？

Question

我目前正在研究 r 值引用和移动语义，并且在我自己的编码实验中发现了一个奇怪的差异。

给定以下代码：

#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 call

Rref call

但是，如果我继续删除采用 r 值引用的重载函数 g（在上面的注释行 // A 中表示），我将得到以下输出：

Lref call

Lref call

结果如何？为什么编译器在尝试传入 X&& 时不抱怨对 g(X& t) 的调用？

Answer 1

当您注释掉 g(X&& t) 重载时，您使用的是 MSVC extension 允许将右值绑定到非 const 左值引用。如果您将警告级别调高到 /W4，MSVC 会告诉您正在使用非标准扩展。

gcc 和 clang fail to compile 注释掉了重载的代码。

使用 std::forward 时，为什么我可以在传入右值时调用左值引用函数？

When using std::forward, why am I able to call an l-value reference function while passing in an r-value?

c++

reference

visual-c++

perfect-forwarding

c++11