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

  template <execution-policy Ep,
            random_access_iterator I,
            sized_sentinel_for<I> S,
            random_access_iterator O,
            sized_sentinel_for<O> OutS,
            class T,
            class Proj = identity,
            indirect_unary_predicate<projected<I, Proj>> Pred>
    requires indirectly_copyable<I, O>
  replace_copy_if_result<I, O>
    replace_copy_if(Ep&& exec,
                    I first,
                    S last,
                    O result,
                    OutS result_last,
                    Pred pred,
                    const T& new_value,
                    Proj proj = {});                  // (3) C++26

  template <execution-policy Ep,
            sized-random-access-range R,
            sized-random-access-range OutR,
            class T,
            class Proj = identity,
            indirect_unary_predicate<projected<iterator_t<R>, Proj>> Pred>
    requires indirectly_copyable<iterator_t<R>, iterator_t<OutR>>
  replace_copy_if_result<borrowed_iterator_t<R>, borrowed_iterator_t<OutR>>
    replace_copy_if(Ep&& exec,
                    R&& r,
                    OutR&& result_r,
                    Pred pred,
                    const T& new_value,
                    Proj proj = {});                  // (4) C++26
}

概要

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

  • (1): イテレータ範囲を指定する
  • (2): Rangeを直接指定する
  • (3): (1)の並列アルゴリズム版。実行ポリシーを指定し、出力範囲の終端も指定する
  • (4): (2)の並列アルゴリズム版。実行ポリシーを指定する

事前条件

  • [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++26)

#include <algorithm>
#include <execution>
#include <iostream>
#include <vector>

int main() {
  std::vector<int> src = {3, 1, 4, 1, 5};
  std::vector<int> dst(src.size());

  // 並列に奇数を0に置き換えてコピー
  std::ranges::replace_copy_if(std::execution::par,
                               src, dst,
                               [](int x) { return x % 2 != 0; }, 0);

  for (int x : dst) {
    std::cout << x << ' ';
  }
  std::cout << std::endl;
}

出力

0 0 4 0 0

バージョン

言語

  • C++20

処理系

参照