remove_if 是一个有很欺骗性的函数。
我们进入它的源码看看它的内部实现
remove_if(_ForwardIterator __first, _ForwardIterator __last, _Predicate __pred)
{
__first = _VSTD::find_if<_ForwardIterator, typename add_lvalue_reference<_Predicate>::type>
(__first, __last, __pred);
if (__first != __last)
{
_ForwardIterator __i = __first;
while (++__i != __last)
{
if (!__pred(*__i))
{
*__first = _VSTD::move(*__i);
++__first;
}
}
}
return __first;
}
一大堆宏定义,看着头痛。但是我们可以看出它共有三个参数,
函数remove_if()移除序列[__first, __end]中所有应用于谓词__pred返回true的元素.
然而,实际情况并不是移除了。如果作用于容器,也不会改变容器的大小。remove_if 的做法是将不需要移除的元素依次替换掉序列中前面的元素。例如:
int x = 5;
std::vector<int> c {1,2,3,4,5,6,7};
remove_if(c.begin(), c.end(), [x](int n){return n < x;});
cout<<"c: ";
for(auto i: c){
cout<<i<<' ';
}
最后的输出的结果是:
c: 5 6 7 4 5 6 7
明显,5,6,7 是大于 5 的。不满足条件,所以替换掉了 vector 中的1,2,3。
既然序列或容器中的元素并没有被移除掉,那么我们又怎么知道哪些是应该被移除的呢?答案就在该函数的返回值身上。
此函数返回一个指向序列中应移除第一个元素的迭代器。在上面的例子中。返回指向 4 的迭代器。
而我们想真正的移除序列或容器中的元素时,应该配合 earse 函数使用。如下:
int x = 5;
std::vector<int> c {1,2,3,4,5,6,7};
c.erase(remove_if(c.begin(), c.end(), [x](int n){return n < x;}),c.end());
erase 的两个参数表示移除的范围。这个例子中就是 4 到 7。