std::accumulate
| Определено в заголовке <numeric>
|
||
template< class InputIt, class T >
T accumulate( InputIt first, InputIt last, T init );
|
(1) | (constexpr начиная с C++20) |
template< class InputIt, class T, class BinaryOp >
T accumulate( InputIt first, InputIt last, T init, BinaryOp op );
|
(2) | (constexpr начиная с C++20) |
Вычисляет сумму заданного значения init и элементов в диапазоне [first, last).
acc (типа T) начальным значением init, а затем изменяет его с помощью acc = acc + *i(до C++20)acc = std::move(acc) + *i(начиная с C++20) для каждого итератора i в диапазоне [first, last) по порядку.acc (типа T) начальным значением init, а затем изменяет его с помощью acc = op(acc, *i)(до C++20)acc = op(std::move(acc), *i)(начиная с C++20) для каждого итератора i в диапазоне [first, last) по порядку.Если выполняется любое из следующих условий, поведение не определено:
Tне является CopyConstructible.Tне является CopyAssignable.opизменяет любой элемент[first,last).opделает недействительным любой итератор или поддиапазон в[first,last].
Параметры
| first, last | - | пара итераторов, определяющая диапазон элементов для накопления |
| init | - | начальное значение для накопления |
| op | - | бинарный функциональный объект операции, который будет применён. Сигнатура функции должна быть эквивалентна следующей:
Сигнатура не обязана содержать |
| Требования к типам | ||
-InputIt должен соответствовать требованиям LegacyInputIterator.
| ||
Возвращаемое значение
acc после всех модификаций.
Возможная реализация
| accumulate (1) |
|---|
template<class InputIt, class T>
constexpr // since C++20
T accumulate(InputIt first, InputIt last, T init)
{
for (; first != last; ++first)
init = std::move(init) + *first; // std::move since C++20
return init;
}
|
| accumulate (2) |
template<class InputIt, class T, class BinaryOperation>
constexpr // since C++20
T accumulate(InputIt first, InputIt last, T init, BinaryOperation op)
{
for (; first != last; ++first)
init = op(std::move(init), *first); // std::move since C++20
return init;
}
|
Примечания
std::accumulate выполняет левую свёртку. Чтобы выполнить правую свёртку, необходимо изменить порядок аргументов бинарного оператора и использовать обратные итераторы.
Если положиться на вывод типа, op работает со значениями того же типа, что и init, что может привести к нежелательному приведению элементов итератора. Например, std::accumulate(v.begin(), v.end(), 0) вероятно не даёт желаемого результата, когда v имеет тип std::vector<double>.
Пример
#include <functional>
#include <iostream>
#include <numeric>
#include <string>
#include <vector>
int main()
{
std::vector<int> v{1, 2, 3, 4, 5, 6, 7, 8, 9, 10};
int sum = std::accumulate(v.begin(), v.end(), 0);
int product = std::accumulate(v.begin(), v.end(), 1, std::multiplies<int>());
auto dash_fold = [](std::string a, int b)
{
return std::move(a) + '-' + std::to_string(b);
};
std::string s = std::accumulate(std::next(v.begin()), v.end(),
std::to_string(v[0]), // start with first element
dash_fold);
// Right fold using reverse iterators
std::string rs = std::accumulate(std::next(v.rbegin()), v.rend(),
std::to_string(v.back()), // start with last element
dash_fold);
std::cout << "sum: " << sum << '\n'
<< "product: " << product << '\n'
<< "dash-separated string: " << s << '\n'
<< "dash-separated string (right-folded): " << rs << '\n';
}
Вывод:
sum: 55
product: 3628800
dash-separated string: 1-2-3-4-5-6-7-8-9-10
dash-separated string (right-folded): 10-9-8-7-6-5-4-3-2-1
Отчёты о дефектах
Следующие отчёты о дефектах, изменяющие поведение, были применены ретроспективно к ранее опубликованным стандартам C++.
| DR | Применён к | Поведение как опубликовано | Корректное поведение |
|---|---|---|---|
| LWG 242 | C++98 | op не могла иметь побочных эффектов
|
она не может изменять задействованные диапазоны |
Смотрите также
| вычисляет разности между соседними элементами в диапазоне (шаблон функции) | |
| вычисляет внутреннее произведение двух диапазонов элементов (шаблон функции) | |
| вычисляет частичную сумму диапазона элементов (шаблон функции) | |
(C++17) |
похож на std::accumulate, но без гарантии порядка (шаблон функции) |
(C++23) |
свёртка слева диапазона элементов (функциональный объект алгоритма) |