std::remove_copy, std::remove_copy_if
| ヘッダ <algorithm>
|
||
template< class InputIt, class OutputIt, class T >
OutputIt remove_copy( InputIt first, InputIt last,
OutputIt d_first, const T& value );
|
(1) | (C++26まで) |
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 );
|
(C++26以降) | |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class T >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
|
(2) | (C++17以降) (C++26まで) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2,
class T = typename std::iterator_traits
<ForwardIt1>::value_type >
ForwardIt2 remove_copy( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, const T& value );
|
(C++26以降) | |
template< class InputIt, class OutputIt, class UnaryPred >
OutputIt remove_copy_if( InputIt first, InputIt last,
OutputIt d_first, UnaryPred p );
|
(3) | (C++20以降 constexpr) |
template< class ExecutionPolicy,
class ForwardIt1, class ForwardIt2, class UnaryPred >
ForwardIt2 remove_copy_if( ExecutionPolicy&& policy,
ForwardIt1 first, ForwardIt1 last,
ForwardIt2 d_first, UnaryPred p );
|
(4) | (C++17以降) |
範囲 [first, last) 内の要素を、別の範囲 d_first にコピーし、特定の条件を満たす要素を省略します。
value に等しいすべての要素を無視します (operator== を使用)。p が true を返すすべての要素を無視します。policy に従って実行されます。true の場合にのみオーバーロード解決に参加します。
|
|
(C++20まで) |
|
|
(C++20以降) |
もし *d_first = *first が無効な場合(C++20まで)*firstwritable でない場合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++20)(C++20) |
|
(C++11) |
要素の範囲を新しい場所にコピーする (関数テンプレート & アルゴリズム関数オブジェクト) |
(C++20)(C++20) |
|
(C++11) |
要素を2つのグループに分割してコピーする (関数テンプレート & アルゴリズム関数オブジェクト) |
(C++20) |
|
(C++20)(C++20) |
特定の条件を満たす要素を除外して要素の範囲をコピーする (アルゴリズム関数オブジェクト) |