std::remove_if 用法、源码、问题详解

参数返回值

remove_if(begin,end,op);  

前两个参数：表示迭代的起始位置和这个起始位置所对应的停止位置【迭代器】。

最后一个参数：传入一个回调函数，如果回调函数返回为真，则将当前所指向的元素移到尾部。

返回值：被移动到某个区域的首个目标元素 iterator，将此删除即实现了将要删除的元素删除的目的

头文件

#include <algorithm>

原理源码

此函数无法删除元素，因为使用的是迭代器，不能删除元素，只能把要删除的元素移到容器末尾【不一定，如果有多个目标元素的话】并返回要被删除元素的迭代器。

源码如下，使用的方式是将后面的一个元素移动到前面，逐个把后面的所有元素往前移动一个位置，但并不会把要删除的元素的值移动到最后，最后一个元素的值还只是原本存放在最后一个位置的值。

因为 remove_if 就是用来删除的，因此这个值没有意义，事实上在移动的过程中，要删除的元素就可以理解为被删除了【会被后面的元素值覆盖】，之后只要把最后一个元素的空间释放即可

// STL源码
template<typename _ForwardIterator, typename _Predicate>
_ForwardIterator __remove_if(_ForwardIterator __first, _ForwardIterator __last, _Predicate __pred)
   {
     __first = std::__find_if(__first, __last, __pred);
     if (__first == __last)
		return __first;
     _ForwardIterator __result = __first;
     ++__first;
     for (; __first != __last; ++__first)
		if (!__pred(__first))
  		{
   			*__result = _GLIBCXX_MOVE(*__first);
    		++__result;
 		}
     return __result;
   }

用法

和 erase 配合使用：删除容器中所有的目标元素

a.erase(remove_if(...), a.end())//a为某容器

vector<int> a{1,1,3};
a.erase(remove_if(a.begin(), a.end(),[](int i){return i==1;}),a.end());//使用lambda表达式
//函数
bool isOne(int i){return i == 1;}
a.erase(remove_if(a.begin(), a.end(),isOne),a.end());

问题

因为有 if (!__pred(__first)) 的判断，因此这个移动是不稳定的：如下

vector<int> a{1,1,3};
auto it = remove_if(a.begin(), a.end(),[](int i){return i==1;});
for (int i = 0; i < 3; ++i) {
cout << a[i] << endl;
}
//结果
//3 1 3
//可见当把末尾元素删除后，vector 中的顺序由 1 3 变成了 3 1。
vector<int> a{1,1,3,4};
auto it = remove_if(a.begin(), a.end(),[](int i){return i==1;});
for (int i = 0; i < 4; ++i) {
cout << a[i] << endl;
}
//结果
//3 4 3 4
//romove_if会将所有的目标删除元素用后面的值来替换，如果目标删除元素过多，那么会有一些目标元素不能用后面的元素替换，还是它自己，这里就是两个1分别被3和4替换了，上面的例子就是1过多，第二个1没有可以替换的值了。

返回第一个要被删除的元素被移动到的位置【它的值没有移动】，在第一个例子中就是a[2]，第二个例子中就是a[2]。

因此可见，如果只想删除第一个目标元素，不能使用此方法，会导致其他的目标元素可能会被值替换

可以使用 find_if 得到

vector<int> a{1,1,3};
a.erase(find_if(a.begin(),a.end(),[](int i){return i==1;}));//使用lambda表达式

find_if 和 find 的区别是 find 是固定的一个值比较，而 find_if 可以传入自定义的比较函数

参考：remove_if