为什么`const T&`不确定是const？

Question

template<typename T>
void f(T a, const T& b)
{
    ++a; // ok
    ++b; // also ok!
}

template<typename T>
void g(T n)
{
    f<T>(n, n);
}

int main()
{
    int n{};
    g<int&>(n);
}

请注意:b是的const T&,++b没关系!

为什么const T&不确定是const？

Answer 1

欢迎来到const和引用折叠.如果有const T&,则引用应用于T,以及const.你打电话g就好

g<int&>(n);

所以你指定的T是int&.当我们对左值引用应用引用时,这两个引用会折叠为单个引用,因此int& &变为公正int&.然后我们从[dcl.ref]/1获得规则,该规则指出如果你应用于const引用它会被丢弃,所以int& const就变成int&(注意你实际上不能声明int& const,它必须来自typedef或模板) ).这意味着

g<int&>(n);

你实际上在打电话

void f(int& a, int& b)

而你实际上并没有修改常数.

如果你打电话g给

g<int>(n);
// or just
g(n);

那T将是int,并且f本来会被标记为

void f(int a, const int& b)

由于T不再是引用,const并且&get应用于它,并且您将尝试修改常量变量时​​收到编译器错误.