namespace std::ranges {
template <permutable I,
sentinel_for<I> S,
class T,
class Proj = identity>
requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*>
constexpr subrange<I>
remove(I first,
S last,
const T& value,
Proj proj = {}); // (1) C++20
template <forward_range R,
class T,
class Proj = identity>
requires permutable<iterator_t<R>> &&
indirect_binary_predicate<
ranges::equal_to,
projected<iterator_t<R>, Proj>,
const T*
>
constexpr borrowed_subrange_t<R>
remove(R&& r,
const T& value,
Proj proj = {}); // (2) C++20
}
概要
指定された要素を取り除く。
- (1): イテレータ範囲を指定する
- (2): Rangeを直接指定する
効果
[first,last)
内にあるイテレータ i
について、invoke(proj, *i) == value
である要素を取り除き、有効な要素を範囲の前に寄せる。
戻り値
j
を有効な要素の末尾の次を指すイテレータとすると、 {j, last}
計算量
正確に last - first
回の比較を行う
注意
安定。
備考
有効な要素を範囲の前方に集める処理には、ムーブを使用する。
取り除いた要素の先頭を指すイテレータをret
とし、範囲[ret, last)
の各要素には、有効な要素からムーブされた値が設定される。それらの値は、「有効だが未規定な値」となる。
例
#include <algorithm>
#include <iostream>
#include <vector>
int main() {
std::vector<int> v = { 2,3,1,2,1 };
auto result = std::ranges::remove(v, 1);
// [v.begin(), result.begin()) の範囲に 1 を除去した結果が入っている
for (int x : std::ranges::subrange {v.begin(), result.begin()}) {
std::cout << x << ",";
}
std::cout << std::endl;
// remove を使ってもコンテナの要素数は変わらないことに注意しよう
std::cout << "size before: " << v.size() << std::endl;
// [v.begin(), result.begin()) の範囲に 1 を除去した結果が入っているので、
// [result.begin(),v.end()) を erase することでサイズも変更することができる
// (Erase-remove イディオム)
v.erase(result.begin(), v.end());
std::cout << "size after: " << v.size() << std::endl;
}
出力
2,3,2,
size before: 5
size after: 3
バージョン
言語
- C++20
処理系
- Clang: ??
- GCC: 10.1.0 ✅
- ICC: ??
- Visual C++: 2019 Update 10 ✅