为什么 stl 中没有针对每种集合类型的 for_each 成员函数？

Question

例如：

v.for_each([](int i) { printf("%d\n", i); }); 

如果比常用的更加优雅和可读：

std::for_each(v.begin(), v.end(), [](int i) { printf("%d\n", i); });

标准中缺少这样的成员函数是否有正当理由？

Answer 1

这是整个库的标准设计原理：将容器与算法分开。

如果您按照自己的方式进行操作，则必须为每个容器 Y 实现每个功能 X，如果您有 M 个功能和 N 个容器，则会导致 M * N 种实现。

通过使用迭代器并使算法在迭代器而不是容器上工作，您只需实现 M 个算法加上 N 个迭代器接口。

这种分离还意味着您拥有无限广泛的应用范围：算法不能仅用于每个库容器，而是可以用于任何人决定的任何容器，无论是现在还是将来编写并配备迭代器。有限重用与无限重用是一个非常有力的论据！通过通用、免费的接口调用算法不会增加任何成本。

Answer 2

template <class InputIterator, class UnaryFunction>
UnaryFunction for_each(InputIterator first, InputIterator last, UnaryFunction f);

正如您所看到的 for_each 将输入迭代器作为参数，因此任何可以提供兼容输入迭代器的 stl 容器（意味着除了输入迭代器之外，它也可以是双向、随机访问迭代器等）将与 std::for_each 兼容。通过这种方式设计，stl通用的算法与数据类型（容器）分离，更加优雅和方便。通用的。

Answer 3

一个简单的事实是，标准库的设计源于该语言没有提供很多功能的时代，并且现在常见的许多设计（例如基于 CRTP 的 mixin）都不存在。这意味着现在显而易见的卓越设计在创建标准库时根本无法实现或设计。

迭代器提供了一个很好的通用实现，但它们提供了一个糟糕的通用接口。我感到悲伤的是，他们没有通过库设计来解决问题并对其进行彻底修改，而是针对问题的一小部分引入了一种特殊情况的语言功能。

Answer 4

你为什么需要它？

成员函数只有在实现更加高效的情况下才能达到目的（set::find 在集合上比 std::find() 更高效）。

PS 哦，如果您想避免无处不在的 .begin()、en .end() 调用，请使用 提升范围算法。甜蜜的语法糖

随机的 Boost Range 启发样本：

#include <boost/range/adaptors.hpp>
#include <boost/range/algorithm.hpp>
#include <boost/pending/integer_range.hpp>

using namespace boost::adaptors;

static int mod7(int v) 
    { return v % 7; }

int main() 
{
    std::vector<int> v;

    boost::copy(
            boost::make_integer_range(1,100) | transformed(mod7), 
            std::back_inserter(v));

    boost::sort(v);

    boost::copy(
            v | reversed | uniqued, 
            std::ostream_iterator<int>(std::cout, ", "));
}