std:: remove_copy, std:: remove_copy_if
|
ヘッダーで定義
<algorithm>
|
||
| (1) | ||
|
template
<
class
InputIt,
class
OutputIt,
class
T
>
OutputIt remove_copy
(
InputIt first, InputIt last,
|
(C++20以降constexpr)
(C++26まで) |
|
|
template
<
class
InputIt,
class
OutputIt,
class
T
=
typename
std::
iterator_traits
|
(C++26以降) | |
| (2) | ||
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
T
>
|
(C++17以降)
(C++26まで) |
|
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
|
(C++26以降) | |
|
template
<
class
InputIt,
class
OutputIt,
class
UnaryPred
>
OutputIt remove_copy_if
(
InputIt first, InputIt last,
|
(3) | (C++20以降constexpr) |
|
template
<
class
ExecutionPolicy,
class
ForwardIt1,
class
ForwardIt2,
class
UnaryPred
>
|
(4) | (C++17以降) |
範囲
[
first
,
last
)
から、特定の条件を満たす要素を除外して、
d_first
で始まる別の範囲へ要素をコピーします。
|
std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> が true であること。 |
(C++20まで) |
|
std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> が true であること。 |
(C++20以降) |
* d_first = * first が無効な場合 (C++20まで) * first が writable でなく d_first に書き込めない場合 (C++20以降) 、プログラムは不適格となる。
ソースとデスティネーションの範囲が重なる場合、動作は未定義です。
目次 |
パラメータ
| first, last | - | コピーする要素のソース 範囲 を定義するイテレータのペア |
| d_first | - | コピー先範囲の先頭 |
| value | - | コピーしない要素の値 |
| policy | - | 使用する 実行ポリシー |
| 型要件 | ||
-
InputIt
は
LegacyInputIterator
の要件を満たさなければならない
|
||
-
OutputIt
は
LegacyOutputIterator
の要件を満たさなければならない
|
||
-
ForwardIt1, ForwardIt2
は
LegacyForwardIterator
の要件を満たさなければならない
|
||
-
UnaryPred
は
Predicate
の要件を満たさなければならない
|
||
戻り値
コピーされた最後の要素の次の要素を指すイテレータ。
計算量
与えられた N を std:: distance ( first, last ) として:
ExecutionPolicyを取るオーバーロードでは、
ForwardIt1
の
value_type
が
MoveConstructible
でない場合、パフォーマンスコストが生じる可能性があります。
例外
ExecutionPolicy
という名前のテンプレートパラメータを持つオーバーロードは、
以下のようにエラーを報告します:
-
アルゴリズムの一部として呼び出された関数の実行が例外をスローした場合、
ExecutionPolicyが 標準ポリシー のいずれかであるとき、 std::terminate が呼び出される。それ以外のExecutionPolicyについては、動作は実装定義である。 - アルゴリズムがメモリの確保に失敗した場合、 std::bad_alloc がスローされる。
実装例
| remove_copy (1) |
|---|
template<class InputIt, class OutputIt, class T = typename std::iterator_traits<InputIt>::value_type> constexpr OutputIt remove_copy(InputIt first, InputIt last, OutputIt d_first, const T& value) { for (; first != last; ++first) if (!(*first == value)) *d_first++ = *first; return d_first; } |
| remove_copy_if (3) |
template<class InputIt, class OutputIt, class UnaryPred> constexpr OutputIt remove_copy_if(InputIt first, InputIt last, OutputIt d_first, UnaryPred p) { for (; first != last; ++first) if (!p(*first)) *d_first++ = *first; return d_first; } |
注記
| 機能テスト マクロ | 値 | 標準 | 機能 |
|---|---|---|---|
__cpp_lib_algorithm_default_value_type
|
202403
|
(C++26) | リスト初期化 アルゴリズム用 ( 1,2 ) |
例
#include <algorithm> #include <complex> #include <iomanip> #include <iostream> #include <iterator> #include <string> #include <vector> int main() { // ハッシュ文字 '#' をその場で削除 std::string str = "#Return #Value #Optimization"; std::cout << "before: " << std::quoted(str) << '\n'; std::cout << "after: \""; std::remove_copy(str.begin(), str.end(), std::ostream_iterator<char>(std::cout), '#'); std::cout << "\"\n"; // {1, 3} の値をその場で削除 std::vector<std::complex<double>> nums{{2, 2}, {1, 3}, {4, 8}, {1, 3}}; std::remove_copy(nums.begin(), nums.end(), std::ostream_iterator<std::complex<double>>(std::cout), #ifdef __cpp_lib_algorithm_default_value_type {1, 3}); // T は推論される #else std::complex<double>{1, 3}); #endif }
出力:
before: "#Return #Value #Optimization" after: "Return Value Optimization" (2,2)(4,8)
不具合報告
以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。
| DR | 適用対象 | 公開時の動作 | 正しい動作 |
|---|---|---|---|
| LWG 779 | C++98 |
T
は
EqualityComparable
であることが要求されていたが、
ForwardIt
の値型が常に
T
ではない
|
代わりに
*
d_first
=
*
first
が有効であることを要求 |
関連項目
|
特定の条件を満たす要素を削除する
(関数テンプレート) |
|
|
(C++11)
|
要素の範囲を新しい場所にコピーする
(関数テンプレート) |
|
(C++11)
|
要素を2つのグループに分割して範囲をコピーする
(関数テンプレート) |
|
(C++20)
(C++20)
|
特定の条件を満たす要素を除外して範囲をコピーする
(アルゴリズム関数オブジェクト) |