参数返回值
remove_if(begin,end,op);
前两个参数:表示迭代的起始位置和这个起始位置所对应的停止位置【迭代器】。
最后一个参数:传入一个回调函数,如果回调函数返回为真,则将当前所指向的元素移到尾部。
返回值:被移动到某个区域的首个目标元素 iterator,将此删除即实现了将要删除的元素删除的目的
头文件
#include <algorithm>
原理源码
此函数无法删除元素,因为使用的是迭代器,不能删除元素,只能把要删除的元素移到容器末尾【不一定,如果有多个目标元素的话】并返回要被删除元素的迭代器。
源码如下,使用的方式是将后面的一个元素移动到前面,逐个把后面的所有元素往前移动一个位置,但并不会把要删除的元素的值移动到最后,最后一个元素的值还只是原本存放在最后一个位置的值。
因为 remove_if 就是用来删除的,因此这个值没有意义,事实上在移动的过程中,要删除的元素就可以理解为被删除了【会被后面的元素值覆盖】,之后只要把最后一个元素的空间释放即可
1 // STL源码
2 template<typename _ForwardIterator, typename _Predicate>
3 _ForwardIterator __remove_if(_ForwardIterator __first, _ForwardIterator __last, _Predicate __pred)
4 {
5 __first = std::__find_if(__first, __last, __pred);
6 if (__first == __last)
7 return __first;
8 _ForwardIterator __result = __first;
9 ++__first;
10 for (; __first != __last; ++__first)
11 if (!__pred(__first))
12 {
13 *__result = _GLIBCXX_MOVE(*__first);
14 ++__result;
15 }
16 return __result;
17 }
用法
和 erase
配合使用:删除容器中所有的目标元素
a.erase(remove_if(...), a.end())//a为某容器
1 vector<int> a{1,1,3};
2 a.erase(remove_if(a.begin(), a.end(),[](int i){return i==1;}),a.end());//使用lambda表达式
3 //函数
4 bool isOne(int i){return i == 1;}
5 a.erase(remove_if(a.begin(), a.end(),isOne),a.end());
问题
因为有 if (!__pred(__first))
的判断,因此这个移动是不稳定的:如下
1 vector<int> a{1,1,3};
2 auto it = remove_if(a.begin(), a.end(),[](int i){return i==1;});
3 for (int i = 0; i < 3; ++i) {
4 cout << a[i] << endl;
5 }
6 //结果
7 //3 1 3
8 //可见当把末尾元素删除后,vector 中的顺序由 1 3 变成了 3 1。
9 vector<int> a{1,1,3,4};
10 auto it = remove_if(a.begin(), a.end(),[](int i){return i==1;});
11 for (int i = 0; i < 4; ++i) {
12 cout << a[i] << endl;
13 }
14 //结果
15 //3 4 3 4
16 //romove_if会将所有的目标删除元素用后面的值来替换,如果目标删除元素过多,那么会有一些目标元素不能用后面的元素替换,还是它自己,这里就是两个1分别被3和4替换了,上面的例子就是1过多,第二个1没有可以替换的值了。
返回第一个要被删除的元素被移动到的位置【它的值没有移动】,在第一个例子中就是a[2],第二个例子中就是a[2]。
因此可见,如果只想删除第一个目标元素,不能使用此方法,会导致其他的目标元素可能会被值替换
可以使用 find_if
得到
1 vector<int> a{1,1,3};
2 a.erase(find_if(a.begin(),a.end(),[](int i){return i==1;}));//使用lambda表达式
find_if
和find
的区别是find
是固定的一个值比较,而find_if
可以传入自定义的比较函数