4. replace_copy_if

最終更新日時(UTC):
が更新

履歴 編集

function template
<algorithm>

std::ranges::replace_copy_if(C++20)

namespace std::ranges {
  template <input_iterator I,
            sentinel_for<I> S,
            class T,
            output_iterator<const T&> O,
            class Proj = identity,
            indirect_unary_predicate<projected<I, Proj>> Pred>
    requires 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 = {}); // (1) C++20
  template <input_iterator I,
            sentinel_for<I> S,
            class O,
            class T = iter_value_t<O>,
            class Proj = identity,
            indirect_unary_predicate<projected<I, Proj>> Pred>
    requires
      indirectly_copyable<I, O> &&
      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 = {}); // (1) C++26

  template <input_range R,
            class T,
            output_iterator<const T&> O,
            class Proj = identity,
            indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
    requires indirectly_copyable<iterator_t<R>, O>
  constexpr replace_copy_if_result<borrowed_iterator_t<R>, O>
    replace_copy_if(R&& r,
                    O result,
                    Pred pred,
                    const T& new_value,
                    Proj proj = {}); // (2) C++20
  template <input_range R,
            class O,
            class T = iter_value_t<O>,
            class Proj = identity,
            indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
    requires
      indirectly_copyable<iterator_t<R>, O> &&
      output_iterator<O, const T&>
  constexpr replace_copy_if_result<borrowed_iterator_t<R>, O>
    replace_copy_if(R&& r,
                    O result,
                    Pred pred,
                    const T& new_value,
                    Proj proj = {}); // (2) C++26
}

概要

条件を満たす要素を指定された値に置き換え、その結果を出力の範囲へコピーする。

事前条件

  • [first,last) と [result,result + (last - first)) の範囲が重なっていてはならない。

効果

[result,result + (last - first)) 内のイテレータ i について、pred(*(first + (i - result))) != false である場合は new_value が代入され、そうでない場合は *(first + (i - result)) が 代入される。

戻り値

{ .in = last, .out = result + (last - first) }

計算量

正確に last - first 回の述語の適用を行う

備考

  • (1), (2) :
    • C++26 : 引数として波カッコ初期化{}を受け付ける 
      std::vector<T> v;
std::ranges::replace_copy_if(v, result, pred, {a, b});

例

基本的な使い方

#include <algorithm>
#include <iostream>
#include <vector>
#include <iterator>

int main() {
  std::vector<int> v = { 3,1,2,1,2 };

  // 奇数の要素を全部 10 に置き換えたものを出力する
  std::ranges::replace_copy_if(
    v,
    std::ostream_iterator<int>(std::cout, ","),
    [](int x) { return x%2 != 0; },
    10
  );
}

出力

10,10,2,10,2,

波カッコ初期化を入力として使用する (C++26)

#include <algorithm>
#include <iostream>
#include <vector>
#include <iterator>

struct Point {
  int x;
  int y;

  bool operator==(const Point& other) const = default;
};

std::ostream& operator<<(std::ostream& os, const Point& p) {
  return os << p.x << ',' << p.y << std::endl;
}

int main() {
  std::vector<Point> v = {
    {1, 2},
    {3, 4},
    {5, 6},
    {1, 2},
  };

  // 値が{1, 2}の要素をすべて{9, 9}に置き換えたものを出力する
  std::ranges::replace_copy_if(
    v,
    std::ostream_iterator<Point>(std::cout, "\n"),
    [](const Point& p) { return p.x == 1 && p.y == 2; },
    {9, 9}
  );
}

出力

9,9
3,4
5,6
9,9

バージョン

言語

  • C++20

処理系

参照