为什么 for_each 不能修改它的函子参数？

Question

http://www.cplusplus.com/reference/algorithm/for_each/
一元函数取一个元素 范围作为参数。这既可以 是指向函数或 类重载的对象 操作员（）。它的返回值，如果有的话， 被忽略。

根据这篇文章，我预计 for_each 实际上会修改作为其第三个参数给出的对象，但似乎 for_each 操作的是一个临时对象，甚至不修改给它的对象。

那么，为什么要这样实现呢？它似乎用处不大。还是我误解了什么，下面的代码包含错误？

#include <iostream>
#include <vector>
#include <algorithm>

template <class T> struct Multiplicator{
    T mresult;
  public:
    const T& result() const{return mresult;}
    Multiplicator(T init_result = 1){
      mresult = init_result;
    }
    void operator()(T element){
      mresult *= element;
      std::cout << element << " "; // debug print
    }
};

int main()
{
    std::vector<double> vec;
    vec.push_back(1);
    vec.push_back(2);
    vec.push_back(3);
    Multiplicator<double> multiply;
    std::for_each(vec.begin(),vec.end(),multiply);
    std::cout << "\nResult: " << multiply.result() << std::endl;
    return 0;
}

预期输出：

1 2 3 Result: 6

但得到以下输出：

1 2 3 Result: 1

Answer 1

函数对象是按值取值的。 for_each返回函数对象，所以如果你改成：

multiply = std::for_each(vec.begin(),vec.end(),multiply);

你得到了预期的输出。

Answer 2

虽然 James 是正确的，但使用 std::accumulate 和 std::multiplies 会更正确，可能：

#include <iostream>
#include <functional>
#include <numeric>
#include <vector>

int main(void)
{
    std::vector<double> vec;
    vec.push_back(1);
    vec.push_back(2);
    vec.push_back(3);

    double result = std::accumulate(vec.begin(), vec.end(),
                                    1.0, std::multiplies<double>());

    std::cout << "\nResult: " << result << std::endl;

}

使用您的for_each 版本，您实际上不需要再次复制函子，而是：

double result = std::for_each(vec.begin(), vec.end(), multiply).result();

或者 C++0x，为了好玩：

double result = 1;
std::for_each(vec.begin(), vec.end(), [&](double pX){ result *= pX; });

Answer 3

For_each 的语义不适合您尝试做的事情。积累完全符合您的要求，请改用它。