为什么添加"const"会使通用引用成为右值

Why adding `const` makes the universal reference as rvalue

本文关键字：quot 引用 添加 const 为什么      更新时间：2023-10-16

我一直在阅读Scott关于c++11和14的最后一篇大师文章中关于通用引用的内容，尽管有一个参数被分配给了左值或右值类型的引用参数，但中间有一种叫做通用引用的东西，它可以根据传递的参数的类型特征推断为l/右值。我可以理解是什么使参数成为通用引用，但有一件事我不清楚，那就是为什么在类型参数const T&& p中添加const会使p成为右值：

template<typename T>
void f(T&& param); // param is an universal reference
template<typename T>
void f(const T&& param); // param is an rvalue reference

当分配给参考参数时，const的作用是否大于此。

官方名称不是通用引用，而是转发引用。标准规定，只有对cv不合格模板参数的右值引用属于此类：

14.8.1.1从函数调用[temp.dexecut.call]中推导模板参数

3如果p是cv限定类型，则p的类型的顶级cv限定符对于类型推导被忽略。如果P是引用类型，则类型P所指的用于类型推导转发引用是对cv不合格模板参数的右值引用如果P是转发引用，参数为左值，类型为"左值"在类型推导中，使用"引用A"代替A。[示例：

template <class T> int f(T&& heisenreference);
template <class T> int g(const T&&);
int i;
int n1 = f(i); // calls f<int&>(int&)
int n2 = f(0); // calls f<int>(int&&)
int n3 = g(i); // error: would call g<int>(const int&&), which
               // would bind an rvalue reference to an lvalue

--结束示例]

如果允许const T&&充当转发引用，则不可能重载只将右值引用作为参数的模板函数。

更新：正如@HowardHinnant在评论中提到的，const T&&确实有它的用途(另请参见本问答(。

相关文章：