std::copy, std::copy_if - cppreference.com

<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>

[first, last) で定義される範囲内の要素を d_first から始まる別の範囲にコピーします。

1) 範囲 [first, last) の要素をすべて、 first から開始して last - 1 まで、コピーします。 d_first が範囲 [first, last) 内の場合、動作は未定義です。 その場合、代わりに std::copy_backward が使用できます。

3) 述語 pred が true を返す要素のみをコピーします。 コピーされる要素の相対順序は維持されます。 コピー元とコピー先の範囲がオーバーラップしている場合、動作は未定義です。

2,4) (1,3) と同じですが、 policy に従って実行されます。 このオーバーロードは、 std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> が true である場合にのみ、オーバーロード解決に参加します

引数

戻り値

コピー先の範囲内の最後にコピーした要素の次の要素を指す出力イテレータ。

計算量

• 1-2) ちょうど (last - first) 回の代入。

• 3-4) ちょうど (last - first) 回の述語の適用および 0 〜 (last - first) 回の代入 (述語と入力データに依存し、述語が true を返すすべての要素について、代入が行われます)。

ExecutionPolicy を取るオーバーロードの場合、 ForwardIt1 の valie_type が MoveConstructible でなければ、性能上のコストが生じることがあります。

例外

テンプレート引数 ExecutionPolicy を持つオーバーロードは以下のようにエラーを報告します。

• アルゴリズムの一部として呼び出された関数の実行が例外を投げ、 ExecutionPolicy が標準のポリシーのいずれかの場合は、 std::terminate が呼ばれます。 それ以外のあらゆる ExecutionPolicy については、動作は処理系定義です。
• アルゴリズムがメモリの確保に失敗した場合は、 std::bad_alloc が投げられます。

ノート

実際のところ、 std::copy の実装は、値の型が TriviallyCopyable であれば、複数回の代入を避け、 std::memmove のようなバルクコピー関数を使用します。

オーバーラップする範囲をコピーする場合、左にコピーする (コピー先範囲の先頭がコピー元範囲の外側である) ときは std::copy が適切であり、右にコピーする (コピー先範囲の終端がコピー元範囲の外側である) ときは std::copy_backward が適切です。

実装例

template<class InputIt, class OutputIt>
OutputIt copy(InputIt first, InputIt last, 
              OutputIt d_first)
{
    while (first != last) {
        *d_first++ = *first++;
    }
    return d_first;
}

template<class InputIt, class OutputIt, class UnaryPredicate>
OutputIt copy_if(InputIt first, InputIt last, 
                 OutputIt d_first, UnaryPredicate pred)
{
    while (first != last) {
        if (pred(*first))
            *d_first++ = *first;
        first++;
    }
    return d_first;
}

例

#include <algorithm>
#include <iostream>
#include <vector>
#include <iterator>
#include <numeric>

int main()
{
    std::vector<int> from_vector(10);
    std::iota(from_vector.begin(), from_vector.end(), 0);

    std::vector<int> to_vector;
    std::copy(from_vector.begin(), from_vector.end(),
              std::back_inserter(to_vector));
// or, alternatively,
//  std::vector<int> to_vector(from_vector.size());
//  std::copy(from_vector.begin(), from_vector.end(), to_vector.begin());
// either way is equivalent to
//  std::vector<int> to_vector = from_vector;

    std::cout << "to_vector contains: ";

    std::copy(to_vector.begin(), to_vector.end(),
              std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

to_vector contains: 0 1 2 3 4 5 6 7 8 9

関連項目