4. remove_copy

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

履歴 編集

function template
<algorithm>

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

namespace std::ranges {
  template <input_iterator I,
            sentinel_for<I> S,
            weakly_incrementable O,
            class T,
            class Proj = identity>
    requires indirectly_copyable<I, O> &&
             indirect_binary_predicate<
               ranges::equal_to,
               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
  template <input_iterator I,
            sentinel_for<I> S,
            weakly_incrementable O,
            class Proj = identity,
            class T = projected_value_t<I, Proj>>
    requires indirectly_copyable<I, O> &&
             indirect_binary_predicate<
               ranges::equal_to,
               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 <input_range R,
            weakly_incrementable O,
            class T,
            class Proj = identity>
    requires indirectly_copyable<iterator_t<R>, O> &&
             indirect_binary_predicate<
               ranges::equal_to,
               projected<iterator_t<R>, Proj>,
               const T*
             >
  constexpr remove_copy_result<borrowed_iterator_t<R>, O>
    remove_copy(R&& r,
                O result,
                const T& value,
                Proj proj = {}); // (2) C++20
  template <input_range R,
            weakly_incrementable O,
            class Proj = identity,
            class T = projected_value_t<iterator_t<R>, Proj>>
    requires indirectly_copyable<iterator_t<R>, O> &&
             indirect_binary_predicate<
               ranges::equal_to,
               projected<iterator_t<R>, Proj>,
               const T*
             >
  constexpr remove_copy_result<borrowed_iterator_t<R>, O>
    remove_copy(R&& r,
                O result,
                const T& 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>
    requires indirectly_copyable<I, O> &&
             indirect_binary_predicate<
               ranges::equal_to,
               projected<I, Proj>,
               const T*
             >
  remove_copy_result<I, O>
    remove_copy(Ep&& exec,
                I first,
                S last,
                O result,
                OutS result_last,
                const T& 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>
    requires indirectly_copyable<iterator_t<R>, iterator_t<OutR>> &&
             indirect_binary_predicate<
               ranges::equal_to,
               projected<iterator_t<R>, Proj>,
               const T*
             >
  remove_copy_result<borrowed_iterator_t<R>, borrowed_iterator_t<OutR>>
    remove_copy(Ep&& exec,
                R&& r,
                OutR&& result_r,
                const T& value,
                Proj proj = {}); // (4) C++26
}

概要

指定された要素を除け、その結果を出力の範囲へコピーする。

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

事前条件

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

効果

[first,last) 内にあるイテレータ i について、invoke(proj, *i) == value でない要素を result へコピーする

戻り値

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

計算量

正確に last - first 回の比較を行う

備考

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

例

基本的な使い方

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

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

  // 1 を除去した結果を出力する
  std::ranges::remove_copy(v, std::ostream_iterator<int>(std::cout, ","), 1);
}

出力

2,3,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;
}

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

  // 値{1, 2}を除去した結果を出力する
  std::ranges::remove_copy(
    v,
    std::ostream_iterator<Point>(std::cout, "\n"),
    {1, 2}
  );
}

出力

3,4
5,6

並列アルゴリズムの例 (C++26)

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

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

  // 並列に値2を除去してコピーする
  auto result = std::ranges::remove_copy(std::execution::par, src, dst, 2);

  for (auto it = dst.begin(); it != result.out; ++it) {
    std::cout << *it << ' ';
  }
  std::cout << std::endl;
}

出力

1 3 5 7

バージョン

言語

  • C++20

処理系

参照