为什么auto i = same_const_variable无法推断出"const"？

Question

const int ci = 10;
auto i = ci;  // i will be "int" instead of "const int"
i = 20;

我想知道为什么汽车是为这种行为而设计的？

为什么类型i是"int"而不是"const int"？

这里有什么问题？

我想明白为什么会帮助我们记住它

Answer 1

auto大多数遵循相同类型的扣除规则作为模板参数推导.唯一的区别是在某些情况下auto会std::initializer_list从braced-init-list推导出来,而模板参数推断不会这样做.

来自N3337,§7.1.6.4[dcl.spec.auto]

6 ... d然后A使用函数调用(14.8.2.1)中的模板参数推导规则确定推导出的变量类型,...

您正在观察的行为与从函数调用中推导出类型时的模板参数推导相同

§14.8.2.1[temp.deduct.call]

2如果P不是引用类型:
    - ...
    - 如果A是cv限定类型,则A类型扣除将忽略类型的顶级cv限定符.

因此,在

auto i = ci;

顶级const限定符被忽略并i推断为int.

当你写作

auto& i = ci;

然后i不再是引用类型,并且上述规则不适用,因此const保留限定符.

Answer 2

auto本身意味着您需要一个新的、本地拥有的变量，其中包含给定值的副本。const-ness 不是价值的一部分。Anint是int使用文字、命名常量、表达式还是非const变量指定的。

auto i = 3,
     j = i,
     k = ci,
     m = 3 + 4; // All these variables are type int.

要获得推导类型的常量，您仍然可以使用auto const. 这在声明中表达了如何使用变量。

const auto i = 3;

从 C++14 开始，还有decltype(auto)适用decltype于初始化程序的说明符，用于制作给定变量的副本。也许这真的是你所期望的：

decltype(auto) i = ci; // i receives type const int.

现场演示。

decltype(auto)不过，这有点棘手，除了与决定函数调用包装器的返回类型有关的最初目的之外，它几乎没有用例。除非有充分的理由，否则选择const auto或const int代替。

另一种选择是使用转发引用，拼写auto &&。这指的是初始化它的变量或值，无论它是什么。

auto && i = ci; // i receives type const int & and aliases ci.

这不太具有表现力和具体性，但可靠地声明i为ci. 您尝试的另一件事是auto &，它是类似的，但只允许形成对预先存在的变量的引用。

auto & i = ci; // i receives type const int & and aliases ci.

对const int变量的引用必须是 类型const int &，否则将允许非法修改。