c++ - 为什么在常量引用的 auto 关键字中忽略 const

Question

int main()
{

    int a = 10;
    const int &b = a;
    int &c = b; //gives error : C should a  reference to a const b 
    auto d = b; // why const is ignored here?
    d = 15;
    cout << a << d;
}

在c++ Primer中提到“const in reference type is always low-level”那为什么auto d = b不是constant呢？

Answer 1

因为 auto 的类型推导规则推导为对象类型。您正在从 b 引用的复制初始化一个新的 int。

这是设计使然。我们想创建新的对象而不明确指定它们的类型。通常情况下，它是一个新对象，它是其他对象的拷贝。如果将其推导为引用，则会破坏预期目的。

如果您希望推导类型在初始化器是引用时成为引用，则可以使用 decltype(auto) 占位符来实现:

decltype(auto) d = b; // d and b now refer to the same object
d = 15; // And this will error because the cv-qualifiers are the same as b's