当使用std::forward时，为什么我可以在传递r值的同时调用l值引用函数

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

本文关键字：调用 函数 引用 std forward 我可以 为什么      更新时间：2023-10-16

我目前正在研究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调用

Rref调用

然而，如果我继续删除重载的函数g，该函数使用r值引用（如上注释行//A所示），我将得到以下输出：

Lref调用

Lref调用

这是怎么回事？为什么编译器在尝试传入X&&时不抱怨对g(X& t)的调用？

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

gcc和clang都无法编译带有注释掉的重载的代码。

相关文章：