std::remove_if

template <class ForwardIterator, class UnaryPredicate>  ForwardIterator remove_if (ForwardIterator first, ForwardIterator last,                             UnaryPredicate pred);

从范围中移除元素

将范围 [first,last) 转换为一个新范围，移除所有返回 true 的元素，并返回新范围的末尾迭代器。

该函数不能改变包含元素范围的对象的属性（即它不能改变数组或容器的大小）：移除是通过将返回 true 的元素替换为下一个不返回 true 的元素来完成的，并通过返回一个指向应被视为其新*结束之后*元素的迭代器来指示缩短范围的新大小。

未移除元素的相对顺序被保留，而返回的迭代器与 last 之间的元素处于有效但未指定的状态。

此函数模板的行为等同于

template <class ForwardIterator, class UnaryPredicate>
  ForwardIterator remove_if (ForwardIterator first, ForwardIterator last,
                             UnaryPredicate pred)
{
  ForwardIterator result = first;
  while (first!=last) {
    if (!pred(*first)) {
      if (result!=first)
        *result = *first;
      ++result;
    }
    ++first;
  }
  return result;
}

元素通过*移动赋值*为其新值进行替换。

此函数模板的行为等同于

template <class ForwardIterator, class UnaryPredicate>
  ForwardIterator remove_if (ForwardIterator first, ForwardIterator last,
                             UnaryPredicate pred)
{
  ForwardIterator result = first;
  while (first!=last) {
    if (!pred(*first)) {
      if (result!=first)
        *result = std::move(*first);
      ++result;
    }
    ++first;
  }
  return result;
}

参数

first, last: Forward iterators 指向序列的初始位置和末尾位置，该序列包含*可移动赋值*的元素。使用的范围是 [first,last)，它包含 first 和 last 之间的所有元素，包括 first 指向的元素，但不包括 last 指向的元素。
pred: 一元函数，接受范围内的元素作为参数，并返回一个可转换为 bool 的值。返回的值指示该元素是否应被移除（如果为 true，则移除）。
该函数不得修改其参数。
这可以是函数指针或函数对象。

返回值

指向序列中最后一个未移除元素的下一个元素的迭代器。
范围 first 和此迭代器之间包含序列中所有 pred 返回 false 的元素。

示例

// remove_if example
#include <iostream>     // std::cout
#include <algorithm>    // std::remove_if

bool IsOdd (int i) { return ((i%2)==1); }

int main () {
  int myints[] = {1,2,3,4,5,6,7,8,9};            // 1 2 3 4 5 6 7 8 9

  // bounds of range:
  int* pbegin = myints;                          // ^
  int* pend = myints+sizeof(myints)/sizeof(int); // ^                 ^

  pend = std::remove_if (pbegin, pend, IsOdd);   // 2 4 6 8 ? ? ? ? ?
                                                 // ^       ^
  std::cout << "the range contains:";
  for (int* p=pbegin; p!=pend; ++p)
    std::cout << ' ' << *p;
  std::cout << '\n';

  return 0;
}

输出

the range contains: 2 4 6 8

复杂度

线性时间复杂度，与 first 和 last 之间的*距离*成比例：对每个元素应用 pred，并可能对其中一些元素执行赋值操作。

数据竞争

范围 [first,last) 中的对象被访问并可能被修改。

异常

如果 pred、元素赋值或迭代器操作抛出异常，则抛出异常。
请注意，无效参数会导致未定义行为。

另见

remove: 从范围中移除值（函数模板）

remove_copy: 复制范围并移除值（函数模板）

replace_if: 替换范围中的值（函数模板）

transform: 转换范围（函数模板）

find_if: 在范围中查找元素（函数模板）