C++11 标准是否通过“auto n2 = const_cast<int&>(n);”保证“n2 is int&”？答案

【问题标题】：Does the C++11 standard guarantee "n2 is int&" by "auto n2 = const_cast<int&>(n);"?C++11 标准是否通过“auto n2 = const_cast<int&>(n);”保证“n2 is int&”？
【发布时间】：2016-12-06 10:29:56
【问题描述】：

const int n = 0;
auto& n1 = const_cast<int&>(n);
auto n2 = const_cast<int&>(n);

C++11 标准是否保证 n2 is int& by auto n2 = const_cast<int&>(n);？

我必须使用auto& n1 = const_cast<int&>(n); 而不是auto n2 = const_cast<int&>(n);吗？

根据 C++11 标准，这两种方式是否完全等价？

【问题讨论】：

很确定n2 是int，没有任何参考。 auto 基本遵循模板实参推演规则。
请注意，使用 C++14 的 decltype(auto)，您可以应用 decltype 规则，您将获得 int&。

标签： c++ c++11 auto type-systems type-deduction

【解决方案1】：

auto 使用与常规函数模板参数推导相同的规则，从不推导引用。

另一方面，C++14 decltype(auto) 可以在这里推导出一个参考。以及 C++11 auto&&。

const int n = 0;
auto a = const_cast<int&>(n);           // a is int
decltype(auto) b = const_cast<int&>(n); // b is int&
auto&& c = const_cast<int&>(n);         // c is int&

【讨论】：

【解决方案2】：

auto 本身永远不会产生引用类型。

所以n2 是int 类型。

（如果我每次看到for (auto s : expensive_deep_copy_container) 之类的代码都能得到一美元）。

【讨论】：