std::for_each 优于 std::set，C++11

Question

迭代向量有效：

std::vector<int> collection = {2, 3, 4, 5435345, 2};
std::for_each(collection.begin(), collection.end(), [](int& i){cout << i << endl;});

但不能迭代集合（编译错误）：

std::set<int> collection = {2, 3, 4, 5435345, 2};
std::for_each(collection.begin(), collection.end(), [](int& i){cout << i << endl;});

为什么我不能使用 std::for_each 迭代 std::set ？

奖金问题： 另外，我想将 lambda 参数中的 int& 更改为 auto&，为什么不能自动推导呢？

Answer 1

std::set::value_type 是 T const，而不是 T；因此，lambda 的参数必须是值类型（即复制）或 int const& （从技术上讲，或 int const volatile&），而不是 int&.即，这有效：

std::set<int> collection{2, 3, 4, 5435345, 2};
std::for_each(
    collection.begin(),
    collection.end(),
    [](int const& i) { std::cout << i << std::endl; }
);

---

额外问题：另外，我想将 lambda 参数中的 int& 更改为 auto&，为什么不能自动推导？

因为标准说不能；从历史上看，我认为这是由于 lambda 和概念之间的交互过于复杂（在概念从草案中删除之前）。 但是，我听说有传言称新 (C++11) 标准的第一个缺陷报告将准确解决这个问题，因此您可能会在明年或之内看到对此添加到您选择的编译器中的支持二. 编辑：哦，看，C++14 现在有了多态 lambda...

Answer 2

关于额外的问题：“auto”函数参数并非特定于 lambda。您可能还会问为什么我们不允许将所有函数声明为f(auto x, auto y)。但这仅仅意味着您本质上希望用函数模板替换所有函数。这被认为不适用于现有的 C++ 语言，尤其是类型系统。如果您想要一个函数模板，那么已经有现有的语法和机制，并且声明“自动”参数不是正确的方法。

Answer 3

解引用的 set 迭代器是一个 const int&。因此，如果没有 const，则无法将其作为 int& 参数传递。尝试简单的 (int i) 或 (const int& i)。

这确实不是您可以使用 auto 的地方之一。我认为 auto 仅适用于带有初始值设定项的声明或作为尾随返回类型的占位符。

Answer 4

您应该能够迭代一组。但是，请注意，由于集合中的元素也是其键，因此无法修改。当您不打算修改元素时，更改代码以采用 const 引用，并使用 cbegin/cend 代替，无论是否是集合。