令人疑惑的 std::remove 算法

Posted jingyigang

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了令人疑惑的 std::remove 算法相关的知识,希望对你有一定的参考价值。

摘自《Effective STL》第32条

remove的声明:

1 template<class ForwardIterator, class T>
2 ForwardIterator remove(ForwardIterator first, ForwardIterator last, const T& value);

如同所有的算法一样,remove 也需要一对迭代器来指定所要进行操作的元素区间。它并不接受容器作为参数,所以 remove 并不知道这些元素被存放在哪个容器中。并且,remove 也并不能从迭代器推知对应的容器和容器类型。

唯一可以从容器中删除元素的方法是调用容器的成员函数 erase (list有几个可以删除元素的成员函数,但是没有命名为 erase)。remove 算法并不知道它操作的元素的所在容器,所以不可能从容器中删除元素。

 1 #include <iostream>
 2 #include <memory>
 3 #include <vector>
 4 #include <algorithm>
 5 
 6 using namespace std;
 7 
 8 int main()
 9 {
10     vector<int> c = {1,2,3,4,5,6,7,8,9,1};
11     cout << "size : " << c.size() << endl;
12 
13     remove(c.begin(), c.end(), 1);
14     cout << "size : " << c.size() << endl;
15     
16 }

执行后显示:

size : 10
size : 10

使用 remove 后,容器中的元素并没有减少。

remove 到底做了什么?

简而言之,remove 移动了区间中的元素。其结果是,“需要被删除”的元素被移到了区间的尾部。它返回一个迭代器,指向第一个“需要被删除”的元素。

调用 remove 之前,c 的布局如下:

调用 remove 之后:

vector<int>::iterator newEnd(remove(c.begin(), c.end(), 1));

c 的布局如下

你会发现最后两个元素的值没有发生变化。。。

这个是 remove 算法的附带结果。在内部,remove 遍历整个区间,用需要保留的元素的值覆盖掉那些要被删除的元素的值。这种覆盖是通过对那些需要被覆盖的元素的赋值来完成的。

 

因此,要想删除这些元素,必须调用区间形式的 erase。

还用两个类似的算法:remove_if  和 unique。都需要在调用 remove_if 和 unique 后调用 erase。

其中 list 的调用是不一致的,list::remove 会真正删除元素(并且比使用 erase-remove 习惯用法更加高效),list::unique 也会真正删除元素(并且比使用 erase-unique 更加高效)

 

注意:当容器中存放的是指向动态分配的对象的指针时,应该避免使用 remove 和类似的算法(remove_if 和 unique)。

可以使用智能指针。

以上是关于令人疑惑的 std::remove 算法的主要内容,如果未能解决你的问题,请参考以下文章

令人疑惑的问题

擦除和删除之间的区别

为啥 std::remove 需要 const 版本的迭代器? [复制]

std::remove 和 boost::filesystem::remove 之间的区别?

DockerCon EU印象:单薄到令人疑惑的MTA

优化 neon 代码的一些疑惑