这是冲突吗？关于 c++ auto

Question

在 C++ 入门 5 中，我看到了代码：

const int a = 40;
auto &b = a;

编译器可以推断出b，类型为：const int &。
我认为这是合理的，因为 a 是 const int，如果 b 具有 int & 类型，我们可以更改 const int 的值，这是非法的。

但是，书上说自动推导会省略顶层的 const，使用这条规则，在代码中：auto &b = a; a 只有 int 类型，我们可以推迟 b 的类型为 int &，与 b 类型为 const int & 的冲突。

另一个问题是代码：

auto &a = 8;

编译器无法在代码中直接推断出 a 的类型为 const int &：

const int a = 40;
auto &b = a;

编译器可以。为什么有区别？

Answer 1

auto 推导，除了一些小例外，其工作方式与普通模板推导完全相同。假设我们有一个函数：

template <class T> void foo(T& param);

const int a = 40;
foo(a);

在本例中，T 将推导出为 const int，param 的类型将是 const int&。同样的道理，auto& b = a; 为您提供了对const int 的引用。

但是，foo(8) 不会编译。 T& 只能绑定到左值，8 不是左值。所以这是不正确的。同样，auto& a = 8; 格式不正确。