为什么ranges：：for_each返回函数？

它返回函子，因为这允许在当时使用有状态函子进行一些巧妙的技巧（我假设在 C++98 中）。你今天不经常看到这些，因为 lambda 通常更简单。

下面是一个示例：

#include <algorithm>
#include <iostream>

struct EvenCounter
{
    int count;

    EvenCounter() : count(0) {}

    void operator()(int x)
    {
        if (x % 2 == 0)
            count++;
    }
};

int main()
{
    int array[] = {1,2,3,4,5};
    int num_even = std::for_each(array, array+5, EvenCounter()).count;
    std::cout << num_even << '\n';
}

这是合理的，因为用户可能希望在调用后重用该函数。

我认为这里的逻辑是倒退的。该函数不需要可复制，因为没有理由复制它。for_each

如果你有一个不可复制（甚至不可移动）的函数，你可以通过引用 using 来传递它，以避免复制/移动，这样你就不会从将函数返回给你的算法中赢得任何东西。std::ref

C++ 中没有，但也没有移动语义，所以一开始就不能使用不可复制的函子。std::reffor_each

这是一个简单的用例：

struct sum {
  int total;
  auto operator ()(const int x) { total += x ; }
};

int main() {
  const auto v = std::vector{ 1, 2, 3, };
  const auto [i, f] = std::ranges::for_each(v, sum());
  std::cout << f.total;
}

编译器资源管理器
注意：当我写完这篇文章时，我注意到已经有一个类似的答案......

我目前正在寻找这个选择背后的实际理由，当我从信誉良好的来源得到答案时，我会更新它。

问题是，为什么 still 返回函数？这样做有什么意义？ranges::for_each

这里的答案很简单：所有算法要么 （a） 返回与 （例如 ， ， 等） 相同的内容，要么 （b） 额外返回新高级的输入迭代器（例如 ），如果返回有用的话。从技术上讲，一些返回值的函数（如，再次）也可能从返回结束迭代器中受益，但这对人体工程学来说是一个很大的打击，所以这并没有发生。std::ranges::meowstd::meowcountfindcopycount

值得注意的是，它们都 （a） 保留或 （b） 添加到现有返回类型中。

没有人愿意经历并实际更改算法的返回类型，并在 Ranges 已经完成的大量工作之上做出额外的设计决策。正如我们最喜欢的猫已经指出的那样，在 C++11 中，返回函数对象本身已经是不必要的了，因为如果你真的愿意，你可以通过简单地使用来完成有状态的事情 - 但弃用它并更改为返回似乎不值得，然后加倍地，它似乎不值得成为实际上在行为上与对应算法不同的^†算法。std::for_eachstd::refstd::for_eachvoidstd::ranges::for_eachstd::

---

^†好吧，从技术上讲，这不是唯一的。 指定发生时发生的迭代器增量数。我碰巧在今年的 CppNow 演讲中谈到了这一点：take（5）。std::ranges::copystd::copy