std::ranges::replace_copy, std::ranges::replace_copy_if, std::ranges::replace_copy_result, std::ranges::replace_copy_if_result

ヘッダ `<algorithm>`
呼び出しシグネチャ
template< std::input_iterator I, std::sentinel_for<I> S, class T1, class T2, std::output_iterator<const T2&> O, class Proj = std::identity > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1*> constexpr replace_copy_result<I, O> replace_copy( I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(1)	(C++20 から) (C++26 まで)
template< std::input_iterator I, std::sentinel_for<I> S, class O, class Proj = std::identity, class T1 = std::projected_value_t<I, Proj>, class T2 = std::iter_value_t<O> > requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1*> && std::output_iterator<O, const T2&> constexpr replace_copy_result<I, O> replace_copy( I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(1)		(C++26 から)
template< ranges::input_range R, class T1, class T2, std::output_iterator<const T2&> O, 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 T1*> constexpr replace_copy_result<ranges::borrowed_iterator_t<R>, O> replace_copy( R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(2)	(C++20 から) (C++26 まで)
template< ranges::input_range R, class O, class Proj = std::identity, class T1 = std::projected_value_t<ranges::iterator_t<R>, Proj>, class T2 = std::iter_value_t<O> > requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T1*> && std::output_iterator<O, const T2&> constexpr replace_copy_result<ranges::borrowed_iterator_t<R>, O> replace_copy( R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {} );	(2)		(C++26 から)
template< std::input_iterator I, std::sentinel_for<I> S, class T, std::output_iterator<const T&> O, class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred > requires std::indirectly_copyable<I, O> constexpr replace_copy_if_result<I, O> replace_copy_if( I first, S last, O result, Pred pred, const T& new_value, Proj proj = {} );	(3)	(C++20 から) (C++26 まで)
template< std::input_iterator I, std::sentinel_for<I> S, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred > requires std::indirectly_copyable<I, O> && std::output_iterator<O, const T&> constexpr replace_copy_if_result<I, O> replace_copy_if( I first, S last, O result, Pred pred, const T& new_value, Proj proj = {} );	(3)		(C++26 から)
template< ranges::input_range R, class T, std::output_iterator<const T&> 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 replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> replace_copy_if( R&& r, O result, Pred pred, const T& new_value, Proj proj = {} );	(4)	(C++20 から) (C++26 まで)
template< ranges::input_range R, class O, class T = std::iter_value_t<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> && std::output_iterator<O, const T&> constexpr replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> replace_copy_if( R&& r, O result, Pred pred, const T& new_value, Proj proj = {} );	(4)		(C++26 から)
ヘルパー型
template< class I, class O > using replace_copy_result = ranges::in_out_result<I, O>;	(5)	(C++20 から)
template< class I, class O > using replace_copy_if_result = ranges::in_out_result<I, O>;	(6)	(C++20 から)

ソース範囲 [first, last) を、コピー先の範囲 (先頭 result、指定された条件を満たすすべての要素を new_value。ソース範囲とコピー先の範囲が重なっている場合の動作は未定義です。

1) 等しいすべての要素を old_value、を使用して std::invoke(proj, *(first + (i - result))) == old_value 比較します。

3) 述語 pred が真と評価される true、評価式は std::invoke(pred, std::invoke(proj, *(first + (i - result))))。

2,4) と同じ (1,3)、ただし r をソース範囲として使用し、まるで ranges::begin(r) を first、かつ ranges::end(r) を last。

このページで説明されている関数のようなエンティティは、 アルゴリズム関数オブジェクト (非公式には niebloids)、つまり:

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

パラメータ

first, last	-	コピーする要素の範囲を定義するイテレータ-番兵ペア
r	-	コピーする要素の範囲
result	-	コピー先範囲の先頭
old_value	-	置換対象要素の値
new_value	-	置換に使用する値
pred	-	投影された要素に適用する述語
proj	-	要素に適用する投影

戻り値

{ last, result + N } ここで、

1,3) N = ranges:: distance ( first, last ) ;

2,4) N = ranges:: distance ( r ) .

計算量

対応する述語 comp および任意の射影 proj の正確に N 回の適用。

実装例

**翻訳結果:** **説明:** - HTMLタグと属性は翻訳せず、元のフォーマットを保持しています - C++固有の用語「replace_copy」は翻訳していません - 数値「(1,2)」はそのまま保持しています - リンク構造とマークアップは完全に維持されています **注記**: 提供されたコードはC++のテンプレートと範囲ライブラリのコードであり、HTMLタグ内の`

`と``タグで囲まれているため、翻訳対象外です。C++のキーワード、型名、関数名などの専門用語は翻訳せず、元のまま保持されています。

**注記**: 提供されたコードはC++のテンプレート構造体と関数オブジェクトの定義であり、HTMLタグ内の`

`と``ブロックに含まれているため、翻訳対象外としました。C++のキーワード、型名、関数名などの専門用語は翻訳せず、元のコード構造とフォーマットを完全に保持しています。

replace_copy (1,2)
replace_copy (1,2)
struct replace_copy_fn { template<std::input_iterator I, std::sentinel_for<I> S, class O, class Proj = std::identity, class T1 = std::projected_value_t<I, Proj>, class T2 = std::iter_value_t<O>> requires std::indirectly_copyable<I, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<I, Proj>, const T1> && std::output_iterator<O, const T2&> constexpr ranges::replace_copy_result<I, O> operator()(I first, S last, O result, const T1& old_value, const T2& new_value, Proj proj = {}) const { for (; first != last; ++first, ++result) result = (std::invoke(proj, first) == old_value) ? new_value : first; return {std::move(first), std::move(result)}; } template<ranges::input_range R, class O, class Proj = std::identity, class T1 = std::projected_value_t<ranges::iterator_t<R>, Proj>, class T2 = std::iter_value_t<O>> requires std::indirectly_copyable<ranges::iterator_t<R>, O> && std::indirect_binary_predicate <ranges::equal_to, std::projected<ranges::iterator_t<R>, Proj>, const T1> constexpr ranges::replace_copy_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result, const T1& old_value, const T2& new_value, Proj proj = {}) const { return (this)(ranges::begin(r), ranges::end(r), std::move(result), old_value, new_value, std::move(proj)); } }; inline constexpr replace_copy_fn replace_copy {};
replace_copy_if (3,4)
struct replace_copy_if_fn { template<std::input_iterator I, std::sentinel_for<I> S, class O, class T = std::iter_value_t<O> class Proj = std::identity, std::indirect_unary_predicate<std::projected<I, Proj>> Pred> requires std::indirectly_copyable<I, O> && std::output_iterator<O, const T&> constexpr ranges::replace_copy_if_result<I, O> operator()(I first, S last, O result, Pred pred, const T& new_value, Proj proj = {}) const { for (; first != last; ++first, ++result) result = std::invoke(pred, std::invoke(proj, first)) ? new_value : first; return {std::move(first), std::move(result)}; } template<ranges::input_range R, class O, class T = std::iter_value_t<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> && std::output_iterator<O, const T&> constexpr ranges::replace_copy_if_result<ranges::borrowed_iterator_t<R>, O> operator()(R&& r, O result, Pred pred, const T& new_value, Proj proj = {}) const { return (this)(ranges::begin(r), ranges::end(r), std::move(result), std::move(pred), new_value, std::move(proj)); } }; inline constexpr replace_copy_if_fn replace_copy_if {};

注記

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

例

このコードを実行

#include <algorithm>
#include <array>
#include <complex>
#include <iostream>
#include <vector>
void println(const auto rem, const auto& v)
{
    for (std::cout << rem << ": "; const auto& e : v)
        std::cout << e << ' ';
    std::cout << '\n';
}
int main()
{    
    std::vector<int> o;
    std::array p{1, 6, 1, 6, 1, 6};
    o.resize(p.size());
    println("p", p);
    std::ranges::replace_copy(p, o.begin(), 6, 9);
    println("o", o);
    std::array q{1, 2, 3, 6, 7, 8, 4, 5};
    o.resize(q.size());
    println("q", q);
    std::ranges::replace_copy_if(q, o.begin(), [](int x) { return 5 < x; }, 5);
    println("o", o);
    std::vector<std::complex<short>> r{{1, 3}, {2, 2}, {4, 8}};
    std::vector<std::complex<float>> s(r.size());
    println("r", r);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::ranges::replace_copy(r, s.begin(),
                                  {1, 3}, // T1 が推論される
                                  {2.2, 4.8}); // T2 が推論される
    #else
        std::ranges::replace_copy(r, s.begin(),
                                  std::complex<short>{1, 3},
                                  std::complex<float>{2.2, 4.8});
    #endif
    println("s", s);
    std::vector<std::complex<double>> b{{1, 3}, {2, 2}, {4, 8}},
                                      d(b.size());
    println("b", b);
    #ifdef __cpp_lib_algorithm_default_value_type
        std::ranges::replace_copy_if(b, d.begin(),
            [](std::complex<double> z){ return std::abs(z) < 5; },
            {4, 2}); // Tが推論されるため可能。
    #else
        std::ranges::replace_copy_if(b, d.begin(),
            []

（注：元のテキストは閉じ括弧のみのため、日本語でも同じ記号を保持します）(std::complex<double> z){ return std::abs(z) < 5; },
            std::complex<double>{4, 2});
    #endif
    println("d", d);
}

出力:

p: 1 6 1 6 1 6
o: 1 9 1 9 1 9
q: 1 2 3 6 7 8 4 5
o: 1 2 3 5 5 5 4 5
r: (1,3) (2,2) (4,8)
s: (2.2,4.8) (2,2) (4,8)
b: (1,3) (2,2) (4,8)
d: (4,2) (4,2) (4,8)

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

ranges::replace ranges::replace_if (C++20) (C++20)	特定の条件を満たすすべての値を別の値で置き換える (アルゴリズム関数オブジェクト)
replace_copy replace_copy_if	範囲をコピーし、特定の条件を満たす要素を別の値で置き換える (関数テンプレート)

ja.cppreference.net

Namespaces

Variants

std::ranges::replace_copy, std::ranges::replace_copy_if, std::ranges::replace_copy_result, std::ranges::replace_copy_if_result

目次

パラメータ

戻り値

計算量

実装例

注記

例

関連項目