C ++ 11“auto”关键字是否完全检索“cv-qualifier”？我有冲突样本

Question

据说“auto”没有检索到cv-qualifier，所以我做了一个实验：

const int i = 0;
auto r1 = i;
auto& r2 = i;
r1 = 3;//ok
r2= 3;//compilation error

好像在构造一个值的时候，cv-qualifier 不是和新变量一起使用的，而是和引用“&”一起使用，cv-qualifier 是和它一起的。为什么会这样，自动检索“cv-qualifier”吗？

Answer 1

auto 推导在大多数情况下与模板推导相同。只是auto 删除了所有cv 限定符，但auto& 保留了引用类型的cv 限定符。如果auto& 删除了限定符，您将能够对 const 对象进行非 const 引用，这很糟糕！这与以下方式完全相同：

template <class T> deduce(T );
template <class T> deduce_ref(T& );

deduce(i);     // calls deduce<int>
deduce_ref(i); // calls deduce<int const>

由于r2 是对const int 的引用，因此您不能分配给它。但是r1 只是i 的副本。