std::ranges::remove_copy, std::ranges::remove_copy_if, std::ranges::remove_copy_result, std::ranges::remove_copy_if_result

ヘッダで定義 `<algorithm>`
呼び出しシグネチャ
template< std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O, class T, class Proj = std::identity > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T*> constexpr remove_copy_result<I, O> remove_copy( I first, S last, O result, const T& value, Proj proj = {} );	(1)	(C++20 以降) (C++26 まで)
template< std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O, class Proj = std::identity, class T = std::projected_value_t<I, Proj> > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T*> constexpr remove_copy_result<I, O> remove_copy( I first, S last, O result, const T& value, Proj proj = {} );	(1)		(C++26 以降)
template< ranges::input_range R, std::weakly_incrementable O, class T, class Proj = std::identity > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T*> constexpr remove_copy_result<ranges::borrowed_iterator_t<R>, O> remove_copy( R&& r, O result, const T& value, Proj proj = {} );	(2)	(C++20 以降) (C++26 まで)
template< ranges::input_range R, std::weakly_incrementable O, class Proj = std::identity, class T = std::projected_value_t<ranges::iterator_t<R>, Proj> > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T*> constexpr remove_copy_result<ranges::borrowed_iterator_t<R>, O> remove_copy( R&& r, O result, const T& value, Proj proj = {} );	(2)		(C++26 以降)
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 remove_copy_if_result<I, O> remove_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 remove_copy_if_result<ranges::borrowed_iterator_t<R>, O> remove_copy_if( R&& r, O result, Pred pred, Proj proj = {} );	(4)	(C++20 以降)
ヘルパ型
template< class I, class O > using remove_copy_result = ranges::in_out_result<I, O>;	(5)	(C++20 以降)
template< class I, class O > using remove_copy_if_result = ranges::in_out_result<I, O>;	(6)	(C++20 以降)

ソース範囲 [first, last) から、コピー先範囲（result で始まる）に要素をコピーします。ただし、（proj によって射影された後に）特定の条件を満たす要素は省略されます。ソース範囲とコピー先範囲が重なっている場合の動作は未定義です。

1) value と等しい全要素を無視します。

3) 述語 pred が true を返す全要素を無視します。

2,4) (1,3) と同じですが、r をソース範囲として使用します。あたかも ranges::begin(r) を first として、ranges::end(r) を last として使用するかのようです。

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

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

パラメータ

first, last	-	処理対象の要素のソース範囲を定義するイテレータ-番兵ペア
r	-	要素のソース範囲
result	-	宛先範囲の先頭
value	-	コピーしない要素の値
comp	-	投影された要素を比較する二項述語
proj	-	要素に適用する投影

戻り値

{ last, result + N } 、ここで N はコピーされた要素の数です。

計算量

対応する述語 comp および任意の射影 proj の正確に ranges:: distance ( first, last ) 回の適用。

注記

このアルゴリズムは安定しており、つまりコピーされた要素の相対的な順序を保持します。

機能テストマクロ	値	標準	機能
`__cpp_lib_algorithm_default_value_type`	`202403`	(C++26)	リスト初期化アルゴリズム用 ( 1,2 )

実装例

**日本語訳:** **説明:** - HTMLタグと属性はそのまま保持されています - `remove_copy` はC++の関数名/用語のため翻訳対象外 - 数値の(1,2)はバージョン/オーバーロードを示すものと判断し翻訳対象外 - リンクテキスト全体が技術的な関数名とパラメータを示しているため、翻訳せず原文のまま保持 **注記**: 提供されたHTMLコードはC++のコードスニペットを含んでおり、指示に従って以下の通り対応しました： - HTMLタグと属性は一切翻訳せず保持 - `

`, ``, ` $`タグ内のテキストは翻訳せず保持
- C++固有の用語（構造体名、関数名、テンプレートパラメータなど）は翻訳せず保持
- コード部分は完全に元のまま保持

コード部分に翻訳すべき自然言語テキストが含まれていないため、出力は入力と同一です。$

remove_copy (1,2)
remove_copy (1,2)
struct remove_copy_fn { template<std::input_iterator I, std::sentinel_for<I> S, std::weakly_incrementable O, class Proj = std::identity, class T = std::projected_value_t<I, Proj>> requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate<ranges::equal_to, std::projected<I, Proj>, const T> constexpr ranges::remove_copy_result<I, O> operator()(I first, S last, O result, const T& value, Proj proj = {}) const { for (; !(first == last); ++first) if (value != 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, class T = std::projected_value_t<ranges::iterator_t<R>, Proj>> requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate<ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T> constexpr ranges::remove_copy_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result, const T& value, Proj proj = {}) const { return (this)(ranges::begin(r), ranges::end(r), std::move(result), value, std::move(proj)); } }; inline constexpr remove_copy_fn remove_copy {};
remove_copy_if (3,4)
struct remove_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::remove_copy_if_result<I, O> operator()(I first, S last, O result, Pred pred, Proj proj = {}) const { for (; first != last; ++first) if (false == 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::remove_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::move(pred), std::move(proj)); } }; inline constexpr remove_copy_if_fn remove_copy_if {};

例

このコードを実行

#include <algorithm>
#include <array>
#include <complex>
#include <iomanip>
#include <iostream>
#include <iterator>
#include <string_view>
#include <vector>
void println(const auto rem, const auto& v)
{
    std::cout << rem << ' ';
    for (const auto& e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{
    // 与えられた文字列からハッシュ記号を除去
    const std::string_view str{"#Small #Buffer #Optimization"};
    std::cout << "before: " << std::quoted(str) << '\n';
    std::cout << "after:  \"";
    std::ranges::remove_copy(str.begin(), str.end(),
                             std::ostream_iterator<char>(std::cout), '#');
    std::cout << "\"\n";
    // 虚部が正の複素数だけをコピー
    using Ci = std::complex<int>;
    constexpr std::array<Ci, 5> source
    {
        Ci{1, 0}, Ci{0, 1}, Ci{2, -1}, Ci{3, 2}, Ci{4, -3}
    };
    std::vector<std::complex<int>> target;
    std::ranges::remove_copy_if
    (
        source,
        std::back_inserter(target),
        [](int imag) { return imag <= 0; },
        [](Ci z) { return z.imag(); }
    );
    println("source:", source);
    println("target:", target);
    std::vector<std::complex<float>> nums{{2, 2}, {1, 3}, {4, 8}, {1, 3}};
    std::vector<std::complex<double>> outs;
    #ifdef __cpp_lib_algorithm_default_value_type
        std::remove_copy(nums.cbegin(), nums.cend(), std::back_inserter(outs),
                         {1, 3}); // Tはstd::complex<float>と推論される
    #else
        std::remove_copy(nums.cbegin(), nums.cend(), std::back_inserter(outs),
                         std::complex<float>{1, 3});
    #endif
    println("nums:  ", nums);
    println("outs:  ", outs);
}

出力:

before: "#Small #Buffer #Optimization"
after:  "Small Buffer Optimization"
source: (1,0) (0,1) (2,-1) (3,2) (4,-3)
target: (0,1) (3,2)
nums:   (2,2) (1,3) (4,8) (1,3)
outs:   (2,2) (4,8)

コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダ
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
ranges ライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日時ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行処理サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
技術仕様書
シンボル索引
外部ライブラリ

ranges::remove ranges::remove_if (C++20) (C++20)	特定の条件を満たす要素を削除する (アルゴリズム関数オブジェクト)
ranges::copy ranges::copy_if (C++20) (C++20)	要素の範囲を新しい場所にコピーする (アルゴリズム関数オブジェクト)
ranges::copy_n (C++20)	指定された数の要素を新しい場所にコピーする (アルゴリズム関数オブジェクト)
ranges::copy_backward (C++20)	要素の範囲を逆順でコピーする (アルゴリズム関数オブジェクト)
ranges::replace_copy ranges::replace_copy_if (C++20) (C++20)	範囲をコピーし、特定の条件を満たす要素を別の値で置換する (アルゴリズム関数オブジェクト)
ranges::reverse_copy (C++20)	逆順にされた範囲のコピーを作成する (アルゴリズム関数オブジェクト)
ranges::rotate_copy (C++20)	要素の範囲をコピーして回転させる (アルゴリズム関数オブジェクト)
ranges::unique_copy (C++20)	連続した重複を含まない範囲のコピーを作成する (アルゴリズム関数オブジェクト)
remove_copy remove_copy_if	特定の条件を満たす要素を除外して範囲をコピーする (関数テンプレート)

ja.cppreference.net

Namespaces

Variants

std::ranges::remove_copy, std::ranges::remove_copy_if, std::ranges::remove_copy_result, std::ranges::remove_copy_if_result

目次

パラメータ

戻り値

計算量

注記

実装例

例

関連項目