当 T 是引用类型时，为什么 const T& 参数中的 const 会消失？ [复制]

Question

以下代码显示，如果使用引用类型（例如，int&）实例化采用 ref-to-const 参数的模板，则该参数不是 const：

#include <iostream>

template<typename T>
void f(const T& arg)         // arg isn't const if T is a reference type
{
  arg = -1;
}

int main()
{
  int x = 0;
  f<int&>(x);                // instantiate f with reference type
  std::cout << x << '\n';    // prints -1 under gcc, clang, and msvc
}

这是怎么回事？

我的猜测是arg 的初始类型是int & const &，并且这会以某种方式转换为int&。如果是这样，就标准而言，这究竟是如何发生的？如果这不是发生了什么，那是什么？

Answer 1

感谢Vlad from Moscow对C++: template function with explicitly specified reference type as type parameter的回复，我相信const-disappearance的症结是[dcl.ref]，上面写着：

在T D 的声明中，D 具有以下任一形式

& 属性说明符序列_opt D1
&& 属性说明符序列_opt D1

声明T D1中的标识符类型为 “derived-declarator-type-list T”，然后是D的标识符的类型 是“derived-declarator-type-list 对T 的引用。”可选的 attribute-specifier-seq 属于引用类型。 Cv 合格 引用格式错误，除非引入 cv 限定符 通过使用 typedef-name ([dcl.typedef], [temp.param]) 或 decltype-specifier ([dcl.type.simple])，在这种情况下忽略 cv 限定符。

我已经对相关文本进行了加粗。 （我想按照标准格式设置整个段落的格式，但我不知道如何获得正确的缩进和添加下标。）

一旦const 消失，正常的参考折叠就会像往常一样开始。

Answer 2

const T 是 T 类型的对象，其值无法修改。然而，当T 是引用类型时，const 修饰符是多余的，因为引用一旦初始化就不能更改——它们总是引用同一个对象。因此，const T 当T=int& 只是一个T（在这种情况下是int&）。因此，f<int&> 采用的参数是对 int& 的左值引用，根据 c++11 的折叠规则，它就是 int&。