std::ranges:: copy, std::ranges:: copy_if, std::ranges:: copy_result, std::ranges:: copy_if_result

From cppreference.net

（注：このHTML要素には翻訳対象のテキストコンテンツが含まれていないため、元の構造を保持したまま出力します）

定義済みヘッダー `<algorithm>`
呼び出しシグネチャ
template < std:: input_iterator I, std:: sentinel_for < I > S, std:: weakly_incrementable O > requires std:: indirectly_copyable < I, O > constexpr copy_result < I, O > copy ( I first, S last, O result ) ;	(1)	(C++20以降)
template < ranges:: input_range R, std:: weakly_incrementable O > requires std:: indirectly_copyable < ranges:: iterator_t < R > , O > constexpr copy_result < ranges:: borrowed_iterator_t < R > , O > copy ( R && r, O result ) ;	(2)	(C++20以降)
template < std:: input_iterator I, std:: sentinel_for < I > S, std:: weakly_incrementable O, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < I, Proj >> Pred > requires std:: indirectly_copyable < I, O > constexpr copy_if_result < I, O > copy_if ( I first, S last, O result, Pred pred, Proj proj = { } ) ;	(3)	(C++20以降)
template < ranges:: input_range R, std:: weakly_incrementable O, class Proj = std:: identity , std:: indirect_unary_predicate < std :: projected < ranges:: iterator_t < R > , Proj >> Pred > requires std:: indirectly_copyable < ranges:: iterator_t < R > , O > constexpr copy_if_result < ranges:: borrowed_iterator_t < R > , O > copy_if ( R && r, O result, Pred pred, Proj proj = { } ) ;	(4)	(C++20以降)
ヘルパー型
template < class I, class O > using copy_result = ranges:: in_out_result < I, O > ;	(5)	(C++20以降)
template < class I, class O > using copy_if_result = ranges:: in_out_result < I, O > ;	(6)	(C++20以降)

[ first , last ) で定義される範囲の要素を、 result を先頭とする別の範囲にコピーします。

1) 範囲

first

last

内のすべての要素を first から last - 1 まで順にコピーします。 result が範囲

first

last

内にある場合の動作は未定義です。この場合、 ranges::copy_backward の使用を検討してください。

3) 述語 pred が true を返す要素のみをコピーします。コピーされる要素の相対的な順序は保持されます。ソースとデスティネーションの範囲が重なっている場合の動作は未定義です。

2,4) (1,3) と同じですが、 r をソース範囲として使用します。これは ranges:: begin ( r ) を first として、 ranges:: end ( r ) を last として使用する場合と同様です。

このページで説明されている関数ライクなエンティティは、 アルゴリズム関数オブジェクト （非公式には niebloids として知られる）です。すなわち：

明示的なテンプレート引数リストは、いずれかを呼び出す際に指定できません。
いずれも実引数依存の名前探索では可視になりません。
いずれかが関数呼び出し演算子の左側の名前として通常の非修飾名前探索によって見つかった場合、実引数依存の名前探索は抑制されます。

オーバーラップする範囲をコピーする場合、 ranges::copy は左方向へのコピー（コピー先範囲の先頭がコピー元範囲の外側にある場合）に適しており、 ranges::copy_backward は右方向へのコピー（コピー先範囲の終端がコピー元範囲の外側にある場合）に適しています。

実装例

HTMLタグや属性は翻訳せず、元のフォーマットを保持します。`


        `, `
        `, ` $`タグ内のテキストは翻訳しません。C++固有の用語は翻訳しません。正確性と専門性が求められます。$

**注記**: 提供されたHTMLコードはC++のコードスニペットを含んでおり、指示に従って以下の点を厳密に守りました： - HTMLタグと属性は一切翻訳せず - `


        `, `
        `, ` $`タグ内のテキストは翻訳せず
- C++固有の用語（`struct`, `template`, `constexpr`, `operator`など）は翻訳せず
コード部分は完全に元のまま保持されています。$


        `, `
        `, ` $`タグ内のテキストは翻訳せず
- C++固有の用語（`struct`, `template`, `constexpr`など）は翻訳せず
- 元のフォーマットを完全に保持
コード部分は全て原文のまま保持されています。$

copy (1)(2)

struct copy_fn
{
    template<std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O>
    requires std::indirectly_copyable<I, O>
    constexpr ranges::copy_result<I, O> operator()(I first, S last, O result) const
    {
        for (; first != last; ++first, (void)++result)
            *result = *first;
        return {std::move(first), std::move(result)};
    }
    template<ranges::input_range R, std::weakly_incrementable O>
    requires std::indirectly_copyable<ranges::iterator_t<R>, O>
    constexpr ranges::copy_result<ranges::borrowed_iterator_t<R>, O>
        operator()(R&& r, O result) const
    {
        return (*this)(ranges::begin(r), ranges::end(r), std::move(result));
    }
};
inline constexpr copy_fn copy;

copy_if (3)(4)

struct copy_if_fn
{
    template<std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O,
             class Proj = std::identity,
             std::indirect_unary_predicate<std::projected<I, Proj>> Pred>
    requires std::indirectly_copyable<I, O>
    constexpr ranges::copy_if_result<I, O>
        operator()(I first, S last, O result, Pred pred, Proj proj = {}) const
    {
        for (; first != last; ++first)
            if (std::invoke(pred, std::invoke(proj, *first)))
            {
                *result = *first;
                ++result;
            }
        return {std::move(first), std::move(result)};
    }
    template<ranges::input_range R, std::weakly_incrementable O,
             class Proj = std::identity,
             std::indirect_unary_predicate<
                 std::projected<ranges::iterator_t<R>, Proj>> Pred>
    requires std::indirectly_copyable<ranges::iterator_t<R>, O>
    constexpr ranges::copy_if_result<ranges::borrowed_iterator_t<R>, O>
        operator()(R&& r, O result, Pred pred, Proj proj = {}) const
    {
        return (*this)(ranges::begin(r), ranges::end(r), std::move(result),
                       std::ref(pred), std::ref(proj));
    }
};
inline constexpr copy_if_fn copy_if;

例

以下のコードは ranges::copy を使用して、一方の std::vector の内容を別の std::vector にコピーし、結果の std::vector を表示します。

このコードを実行

#include <algorithm>
#include <iostream>
#include <iterator>
#include <numeric>
#include <vector>
int main()
{
    std::vector<int> source(10);
    std::iota(source.begin(), source.end(), 0);
    std::vector<int> destination;
    std::ranges::copy(source.begin(), source.end(), std::back_inserter(destination));
// または、代替案として
//  std::vector<int> destination(source.size());
//  std::ranges::copy(source.begin(), source.end(), destination.begin());
// どちらの方法も以下と等価
//  std::vector<int> destination = source;
    std::cout << "Destination contains: ";
    std::ranges::copy(destination, std::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
    std::cout << "Odd numbers in destination are: ";
    std::ranges::copy_if(destination, std::ostream_iterator<int>(std::cout, " "),
                         [](int x) { return (x % 2) == 1; });
    std::cout << '\n';
}

出力:

Destination contains: 0 1 2 3 4 5 6 7 8 9
Odd numbers in destination are: 1 3 5 7 9

Compiler support
Freestanding and hosted
Language
Standard library
Standard library headers
Named requirements
Feature test macros (C++20)
Language support library
Concepts library (C++20)
Diagnostics library
Memory management library
Metaprogramming library (C++11)
General utilities library
Containers library
Iterators library
Ranges library (C++20)
Algorithms library
Strings library
Text processing library
Numerics library
Date and time library
Input/output library
Filesystem library (C++17)
Concurrency support library (C++11)
Execution control library (C++26)
Technical specifications
Symbols index
External libraries

first, last	-	コピーする要素の範囲を定義するイテレータ-センチネルペア
r	-	コピーする要素の範囲
result	-	コピー先範囲の先頭
pred	-	投影された要素に適用する述語
proj	-	要素に適用する投影

ranges::copy_backward (C++20)	要素の範囲を逆順にコピーする (アルゴリズム関数オブジェクト)
ranges::reverse_copy (C++20)	反転された範囲のコピーを作成する (アルゴリズム関数オブジェクト)
ranges::copy_n (C++20)	指定された数の要素を新しい位置にコピーする (アルゴリズム関数オブジェクト)
ranges::fill (C++20)	要素の範囲に特定の値を代入する (アルゴリズム関数オブジェクト)
ranges::remove_copy ranges::remove_copy_if (C++20) (C++20)	特定の条件を満たす要素を除外して範囲をコピーする (アルゴリズム関数オブジェクト)
copy copy_if (C++11)	要素の範囲を新しい位置にコピーする (関数テンプレート)

cppreference.net

Namespaces

Variants

std::ranges:: copy, std::ranges:: copy_if, std::ranges:: copy_result, std::ranges:: copy_if_result

目次

パラメータ

戻り値

計算量

注記

実装例

例

関連項目