令人疑惑的 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）。
可以使用智能指针。
