理解std：：累积

Question

我想知道为什么需要std::acculture（又名reduce)第3个参数。对于那些不知道accumple是什么的人，它的用法如下：

vector<int> V{1,2,3};  
int sum = accumulate(V.begin(), V.end(), 0);
// sum == 6

调用acculture等同于：

sum = 0;  // 0 - value of 3rd param
for (auto x : V)  sum += x;

还有可选第4个参数，它允许用任何其他操作替换加法。

我听说的一个基本原理是，如果你不需要加起来，而是乘一个向量的元素，我们需要其他的（非零）初始值：

vector<int> V{1,2,3};
int product = accumulate(V.begin(), V.end(), 1, multiplies<int>());

但是为什么不像Python那样-为v.begin()设置初始值，并使用从v.begin()+1开始的范围。类似这样的事情：

int sum = accumulate(V.begin()+1, V.end(), V.begin());

这对任何行动都管用。为什么需要第三个参数？

Answer 1

从目前的情况来看，如果代码确定一个范围不是空的，并且希望从范围的第一个元素开始进行累加，那么这是很烦人的。根据用于累加的操作，使用的“零”值并不总是很明显。

另一方面，如果您只提供了一个需要非空范围的版本，那么对于不确定其范围是否为空的调用者来说，这是非常恼人的。给他们增加了额外负担。

一种观点是，这两个世界的最佳之处当然是同时提供这两种功能。例如，Haskell提供了foldl1和foldr1（需要非空列表）以及foldl和foldr（镜像std::transform)。

另一个观点是，由于一个可以通过简单的转换（如您所演示的:std::transform(Std::next(b)，e，*b，f)--std::next是C++11，但这一点仍然成立）来实现另一个，因此最好使接口尽可能地最小，并且不损失真正的表达能力。