std::experimental::ranges::copy、std::experimental::ranges::copy_if

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

実験的

Technical Specification

ファイルシステムライブラリ (filesystem TS)

ライブラリ基本 (library fundamentals TS)

ライブラリ基本TS v2 (library fundamentals TS v2)

ライブラリ基本 3 (library fundamentals TS v3)

並列化拡張 (parallelism TS)

並列化拡張 2 (parallelism TS v2)

並行処理拡張 (concurrency TS)

並行処理拡張 2 (concurrency TS v2)

コンセプト (concepts TS)

Ranges (ranges TS)

リフレクション (reflection TS)

数学特殊関数 (special functions TR)

実験的 (非TS)

パターンマッチ

線形代数

std::execution

契約プログラミング

2Dグラフィックス

 

Ranges

コンセプト

汎用ユーティリティ

イテレータ

Ranges

アルゴリズム

 

アルゴリズムライブラリ

シーケンスを変更しない操作
all_ofany_ofnone_of countcount_if	findfind_iffind_if_not find_end find_first_of	adjacent_find search search_n mismatch	equal for_each lexicographical_compare
シーケンスを変更する操作
copycopy_if copy_n copy_backward move move_backward	fill fill_n generate generate_n swap_ranges shuffle transform	removeremove_if replacereplace_if reverse rotate unique	remove_copyremove_copy_if replace_copyreplace_copy_if reverse_copy rotate_copy unique_copy
パーティション操作
is_partitioned partition_point	partition partition_copy	stable_partition
ソート操作
is_sorted is_sorted_until	sort stable_sort	partial_sort partial_sort_copy	nth_element
二分探索操作
lower_bound	upper_bound	binary_search	equal_range
集合操作 (ソート済み範囲)
merge inplace_merge	includes	set_difference set_intersection	set_symmetric_difference set_union
ヒープ操作
is_heap is_heap_until	make_heap sort_heap	push_heap pop_heap
最小/最大操作
max max_element	min min_element	minmax minmax_element
置換 (Permutations)
is_permutation	next_permutation	prev_permutation

 

Defined in header <experimental/ranges/algorithm>
template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O >     requires IndirectlyCopyable<I, O> ranges::tagged_pair<tag::in(I), tag::out(O)>     copy( I first, S last, O result );	(1)	(ranges TS)
template< InputRange R, WeaklyIncrementable O >     requires IndirectlyCopyable<ranges::iterator_t<R>, O> ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>     copy( R&& r, O result );	(2)	(ranges TS)
template< InputIterator I, Sentinel<I> S, WeaklyIncrementable O,           class Proj = ranges::identity,           IndirectUnaryPredicate<projected<I, Proj>> Pred >     requires IndirectlyCopyable<I, O> ranges::tagged_pair<tag::in(I), tag::out(O)>     copy_if( I first, S last, O result, Pred pred, Proj proj = Proj{} );	(3)	(ranges TS)
template< InputRange R, WeaklyIncrementable O,           class Proj = ranges::identity,           IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred >     requires IndirectlyCopyable<iterator_t<R>, O> ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)>     copy_if( R&& r, O result, Pred pred, Proj proj = Proj{} );	(4)	(ranges TS)

ソース範囲（[first, last)またはr）の要素を、ソース範囲の最初の要素から最後の要素まで、resultで始まる宛先範囲にコピーします。

1) 範囲[first, last)内のすべての要素をコピーします。非負整数n < (last - first)ごとに、*(result + n) = *(first + n)を実行します。resultが範囲[first, last)内にある場合、動作は未定義です。この場合、代わりにranges::copy_backwardを使用できます。

2) (1)と同様ですが、ソース範囲としてrを使用します。これは、ranges::copy(ranges::begin(r), ranges::end(r), result);のように動作しますが、resultはコピーされない場合があります。

3) 投影projによって要素の値に適用されたときに述語predがtrueを返す要素のみをコピーします。コピーされる要素の順序は保持されます。ソース範囲と宛先範囲が重複する場合、動作は未定義です。

4) (3)と同様ですが、ソース範囲としてrを使用します。これは、ranges::copy_if(ranges::begin(r), ranges::end(r), result, pred, proj);のように動作しますが、result、pred、projはコピーされない場合があります。

上記に示された宣言にもかかわらず、アルゴリズム宣言のテンプレートパラメータの実際の数と順序は未指定です。したがって、アルゴリズムを呼び出す際に明示的なテンプレート引数を使用すると、プログラムはおそらくポータブルではありません。

パラメータ

first, last	-	コピーする要素の範囲
r	-	コピーする要素の範囲
結果	-	コピー先範囲の先頭
pred	-	射影された要素に適用する述語
proj	-	要素に適用する射影

戻り値

以下の2つのメンバーを含むtagged_pairオブジェクト

• 最初のメンバー（タグtag::in）は、ソース範囲の終端後イテレータ（つまり、センチネルlastと等価な型Iのイテレータ）です。
• 2番目のメンバー（タグtag::out）は、結果範囲の終端後イテレータです。

計算量

1) 正確にranges::distance(first, last)回の代入。

2) 正確にranges::distance(r)回の代入。

3) 正確にranges::distance(first, last)回の対応する投影と述語の適用。

4) 正確にranges::distance(r)回の対応する投影と述語の適用。

実装例

最初のバージョン
template<InputIterator I, Sentinel<I> S, WeaklyIncrementable O> requires IndirectlyCopyable<I, O>() ranges::tagged_pair<tag::in(I), tag::out(O)> copy(I first, S last, O result) { for (; first != last; ++first, (void)++result) *result = *first; return {first, result}; }
2番目のバージョン
template<InputRange R, WeaklyIncrementable O> requires IndirectlyCopyable<ranges::iterator_t<R>, O>() ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)> copy(R&& r, O result) { return ranges::copy(ranges::begin(r), ranges::end(r), result); }
第3版
template<InputIterator I, Sentinel<I> S, WeaklyIncrementable O, class Proj = ranges::identity, IndirectUnaryPredicate<projected<I, Proj>> Pred> requires IndirectlyCopyable<I, O>() ranges::tagged_pair<tag::in(I), tag::out(O)> copy_if(I first, S last, O result, Pred pred, Proj proj = Proj{}) { for (; first != last; ++first) if (ranges::invoke(pred, ranges::invoke(proj, *first))) { *result = *first; ++result; } return {first, result}; }
4番目のバージョン
template<InputRange R, WeaklyIncrementable O, class Proj = ranges::identity, IndirectUnaryPredicate<projected<ranges::iterator_t<R>, Proj>> Pred> requires IndirectlyCopyable<ranges::iterator_t<R>, O>() ranges::tagged_pair<tag::in(ranges::safe_iterator_t<R>), tag::out(O)> copy_if(R&& r, O result, Pred pred, Proj proj = Proj{}) { return ranges::copy_if(ranges::begin(r), ranges::end(r), result, pred, proj); }

例

以下のコードは、copyを使用して、一方のベクターの内容をもう一方のベクターにコピーし、結果のベクターを表示します。

このコードを実行

#include <experimental/ranges/algorithm>
#include <experimental/ranges/iterator>
#include <iostream>
#include <numeric>
#include <vector>
 
int main()
{
    // see https://ja.cppreference.dev/w/cpp/language/namespace_alias
    namespace ranges = std::experimental::ranges;
 
    std::vector<int> from_vector(10);
    std::iota(from_vector.begin(), from_vector.end(), 0);
 
    std::vector<int> to_vector;
    ranges::copy_if(from_vector.begin(), from_vector.end(),
                    ranges::back_inserter(to_vector),
                    [](const auto i)
                    {
                       return i % 3;
                    });
// or, alternatively,
//  std::vector<int> to_vector(from_vector.size());
//  std::copy(from_vector, to_vector.begin());
 
    std::cout << "to_vector contains: ";
 
    ranges::copy(to_vector, ranges::ostream_iterator<int>(std::cout, " "));
    std::cout << '\n';
}

出力

to_vector contains: 1 2 4 5 7 8

関連項目

copycopy_if (C++11)	要素の範囲を新しい場所にコピーする (関数テンプレート)
copy_backward	要素の範囲を逆順にコピーする (function template)
reverse_copy	逆順になった範囲のコピーを作成する (function template)
copy_n	指定された数の要素を新しい場所にコピーする (function template)
fill	要素の範囲に特定の値を代入する (function template)
remove_copyremove_copy_if	特定の基準を満たす要素を除外して範囲をコピーする (function template)