const decltype(*std::begin(container))& val 不使 val const？

Question

这段代码：

std::vector <int> ints(5,1);
std::for_each(ints.begin(), ints.end(), [](const decltype(*std::begin(ints))& val){ val*=2; });

在 Visual Studio 2010 中编译和运行得很好，并修改容器中的每个值，就像 const 关键字不存在一样。这是编译器中的错误，因为预期的行为是 val 是不可修改的？ （换句话说，我希望它不会编译，但它确实）

更新：

std::for_each(ints.begin(), ints.end(), [](const std::remove_reference<decltype(*std::begin(ints))>::type& val){ val*=2; });

似乎行为正确，但这并没有让我更聪明。

注意：

decltype(*std::begin(ints)) 是对 int 的引用。

Answer 1

似乎编译器试图将const 应用于int&，使其变为int& const，这是多余的，因为无论如何都不能重新定位引用¹⁾ .尝试将 const 放在 decltype 和引用之间：decltype(*ints.begin()) const&

1) 感谢 cmets 的澄清。

废话，感谢@Ben 的评论，我注意到了真正的问题。试试decltype(*ints.cbegin())。 cbegin 返回一个 const_iterator，它取消引用对 const 的引用。此外，不需要额外的 & 符号，因为 *ints.cbegin() 已经返回 int const&。

为了解释 OP 的代码出了什么问题，就像 @Ben Voigt 在 cmets 中所说的那样：decltype(*std::begin(ints)) 解析为 int&，因为 std::begin(ints) 返回一个用于非常量容器和取消引用的非常量迭代器这样的迭代器返回一个对非常量的引用。