的std ::積累BinaryOperator副作用

Question

std::accumulate

文檔指出：

op必須不違反對迭代器，包括端迭代器，或 修改所涉及的範圍內的任何元素（由於C + +11）

後來，它顯示一個不可能性的實現，我這裏報到：

template<class InputIt, class T, class BinaryOperation> 
T accumulate(InputIt first, InputIt last, T init, 
      BinaryOperation op) 
{ 
    for (; first != last; ++first) { 
     init = op(init, *first); 
    } 
    return init; 
} 

如何操作可以「使某些迭代器失效」或「修改範圍的元素」，假設std :: accumulate的這個實現？

Answer 1

您可以定義一個lambda來修改範圍中的元素和/或修改範圍本身。例如，使用以下的λ是std::accumulate的先決條件的違反：

std::vector<int> v{0,1,2,3,4}; 
auto illegal_op = [&v](int init, int val) { 
    v.back() *= 2;  // modifying elements in the range 
    v.push_back(42); // invalidating iterators in the range 
    return init + val; 
}; 
std::accumulate(v.begin(), v.end(), 0, illegal_op);