std::partial_sum

template< class InputIt, class OutputIt >
OutputIt partial_sum( InputIt first, InputIt last,
                      OutputIt d_first );

template< class InputIt, class OutputIt, class BinaryOp >
OutputIt partial_sum( InputIt first, InputIt last,
                      OutputIt d_first, BinaryOp op );

binary_op を実際の二項演算として：

• 以下の条件のいずれかが満たされる場合、プログラムは不適格である：

• InputIt の値型は *first から構築可能でない。
• acc は 書き込み可能d_first に書き込み可能でない。
• binary_op(acc, *iter)（C++20まで）binary_op(std::move(acc), *iter)（C++20以降） の結果は InputIt の値型に暗黙変換可能でない。

• d_last をイテレータとして 返される、以下の条件のいずれかが満たされる場合、動作は未定義である：

• binary_op は [first, last) または [d_first, d_last) の任意の要素を変更する。
• binary_op は [first, last] または [d_first, d_last] 内の任意のイテレータまたは部分レンジを無効化する。

パラメータ

戻り値

書き込まれた最後の要素の次の要素を指すイテレータ、または d_first が返される（ [ first , last ) が空の場合）。

計算量

与えられた \(\scriptsize N\) N を std:: distance ( first, last ) として：

実装例

template<class InputIt, class OutputIt>
constexpr // since C++20
OutputIt partial_sum(InputIt first, InputIt last, OutputIt d_first)
{
    if (first == last)
        return d_first;
    typename std::iterator_traits<InputIt>::value_type sum = *first;
    *d_first = sum;
    while (++first != last)
    {
        sum = std::move(sum) + *first; // std::move since C++20
        *++d_first = sum;
    }
    return ++d_first;
    // or, since C++14:
    // return std::partial_sum(first, last, d_first, std::plus<>());
}

template<class InputIt, class OutputIt, class BinaryOp>
constexpr // since C++20
OutputIt partial_sum(InputIt first, InputIt last, 
                     OutputIt d_first, BinaryOp op)
{
    if (first == last)
        return d_first;
    typename std::iterator_traits<InputIt>::value_type acc = *first;
    *d_first = acc;
    while (++first != last)
    {
        acc = op(std::move(acc), *first); // std::move since C++20
        *++d_first = acc;
    }
    return ++d_first;
}

注記

acc は、 LWG issue 539 の解決により導入されました。 acc を使用する理由（すなわち、直接結果を合計する * ( d_first + 2 ) = ( * first + * ( first + 1 ) ) + * ( first + 2 ) ; の代わりに）は、以下の型が一致しない場合に後者の意味が曖昧になるためです：

• InputItの値型
• OutputItの書き込み可能な型
• operator + または op のパラメータの型
• operator + または op の戻り値の型

acc は、計算の各ステップで値を保存および提供する中間オブジェクトとして機能します：

• その型は InputIt の値型である
• それは d_first に書き込まれる
• その値は operator + または op に渡される
• それは operator + または op の戻り値を格納する

enum not_int { x = 1, y = 2 };
char i_array[4] = {100, 100, 100, 100};
not_int e_array[4] = {x, x, y, y};
int  o_array[4];
// OK: operator+(char, char)を使用し、char値をint配列に代入
std::partial_sum(i_array, i_array + 4, o_array);
// エラー: not_int値をint配列に代入できません
std::partial_sum(e_array, e_array + 4, o_array);
// OK: 必要時に変換を実行
// 1. 型char（値型）の「acc」を作成
// 2. char引数はlong乗算に使用（char -> long）
// 3. longの積が「acc」に代入（long -> char）
// 4. 「acc」が「o_array」の要素に代入（char -> int）
// 5. 入力範囲の残りの要素を処理するためステップ2に戻る
std::partial_sum(i_array, i_array + 4, o_array, std::multiplies<long>{});

例

#include <functional>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
int main()
{
    std::vector<int> v(10, 2); // v = {2, 2, 2, 2, 2, 2, 2, 2, 2, 2}
    std::cout << "最初の " << v.size() << " 個の偶数: ";
    // 結果をcoutストリームに出力
    std::partial_sum(v.cbegin(), v.cend(), 
                     std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
    // 結果をベクトルvに書き戻す
    std::partial_sum(v.cbegin(), v.cend(),
                     v.begin(), std::multiplies<int>());
    std::cout << "最初の " << v.size() << " 個の2の累乗: ";
    for (int n : v)
        std::cout << n << ' ';
    std::cout << '\n';
}

最初の 10 個の偶数: 2 4 6 8 10 12 14 16 18 20 
最初の 10 個の2の累乗: 2 4 8 16 32 64 128 256 512 1024

不具合報告

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

関連項目