從一個(gè)簡(jiǎn)單的問(wèn)題開始，刪除數(shù)組中某個(gè)元素后連續(xù)重復(fù)的元素，例如 1，1，2，3，3，1，1，1，4，0 ---> 1， 2，3，1，4，0。
考慮了幾秒，然后就開始動(dòng)手寫代碼了：
#include <iostream>
#include <vector>
using namespace std;
int main(int argc, char* argv[])
{
int a[] = {1, 1, 3, 3, 3, 2, 4, 1, 1, 1, 0};
int size = sizeof(a)/sizeof(a[0]);
vector<int> vec(a, a+size);
vector<int>::iterator iter, end;
int previous = vec[0];
for (iter = vec.begin() + 1, end = vec.end(); iter != end; ++iter)
{
if(*iter == previous)
{
vec.erase(iter);
}
else
{
previous = *iter;
}
}
for(iter = vec.begin(); iter != vec.end(); ++iter)
{
cout << *iter << endl;
}
return 0;
}
可是編譯一下，出來(lái)一大堆error，仔細(xì)看一下出錯(cuò)信息，哦，原來(lái)自己忘記了，erase容器中元素的時(shí)候，迭代器會(huì)失效。。。頓時(shí)一身冷汗，自己平時(shí)迭代容器的時(shí)候，一般都保存了容器的end元素，要是此時(shí)迭代器失效。。。
Container<int>::iterator iter, end;
for (iter = container.begin() + 1, end = container.end(); iter != end; ++iter)
于是找到收藏的Effective STL，翻開條款9，找到了erase容器中元素的原則。以前曾經(jīng)看過(guò)，不過(guò)年深日久，早就忘得一干二凈了。現(xiàn)在還是把要點(diǎn)總結(jié)一下，記在blog上，供以后參考。
1. 對(duì)于關(guān)聯(lián)容器(如map, set, multimap,multiset)，刪除當(dāng)前的iterator，僅僅會(huì)使當(dāng)前的iterator失效，只要在erase時(shí)，遞增當(dāng)前iterator即可。這是因?yàn)閙ap之類的容器，使用了紅黑樹來(lái)實(shí)現(xiàn)，插入、刪除一個(gè)結(jié)點(diǎn)不會(huì)對(duì)其他結(jié)點(diǎn)造成影響。
for (iter = cont.begin(); it != cont.end();)
{
(*iter)->doSomething();
if (shouldDelete(*iter))
cont.erase(iter++);
else
++iter;
}
因?yàn)閕ter傳給erase方法的是一個(gè)副本，iter++會(huì)指向下一個(gè)元素。
2. 對(duì)于序列式容器(如vector,deque)，刪除當(dāng)前的iterator會(huì)使后面所有元素的iterator都失效。這是因?yàn)関etor,deque使用了連續(xù)分配的內(nèi)存，刪除一個(gè)元素導(dǎo)致后面所有的元素會(huì)向前移動(dòng)一個(gè)位置。還好erase方法可以返回下一個(gè)有效的iterator。
for (iter = cont.begin(); iter != cont.end();)
{
(*it)->doSomething();
if (shouldDelete(*iter))
iter = cont.erase(iter);
else
++iter;
}
3. 對(duì)于list來(lái)說(shuō)，它使用了不連續(xù)分配的內(nèi)存，并且它的erase方法也會(huì)返回下一個(gè)有效的iterator，因此上面兩種方法都可以使用。
最后給出開始那個(gè)問(wèn)題的一個(gè)正確的實(shí)現(xiàn)：
#include <iostream>
#include <vector>
using namespace std;
int main(int argc, char* argv[])
{
int a[] = {1, 1, 3, 3, 3, 2, 4, 1, 1, 1, 0};
int size = sizeof(a)/sizeof(a[0]);
vector<int> vec(a, a+size);
vector<int>::iterator iter = vec.begin();
int previous = *iter;
++iter;
for (; iter != vec.end();)
{
if(*iter == previous)
{
iter = vec.erase(iter);
}
else
{
previous = *iter;
++iter;
}
}
for(iter = vec.begin(); iter != vec.end(); ++iter)
{
cout << *iter << endl;
}
return 0;
}
PS. 不過(guò)實(shí)際上這個(gè)問(wèn)題，用vector來(lái)實(shí)現(xiàn)不是很適合，因?yàn)槊看蝿h除一個(gè)元素，都會(huì)引起vector的一個(gè)resize操作。resize的時(shí)間復(fù)雜度是O(n)，整個(gè)的resize操作要花費(fèi)O(n^2)。最好是選擇list最為容器，list最適合那些需要在容器中間做插入、刪除的例子。
PS2. 另外一個(gè)可能的方法是remove_if + erase慣用法。remove_if的時(shí)間復(fù)雜度是O(n). erase的時(shí)間復(fù)雜度也是O(n)，所以整個(gè)操作可以在O(n)時(shí)間里完成。(當(dāng)然，對(duì)于這個(gè)例子，ShouldDeletePred比較難寫)
iterator new_end = remove_if(array.begin(), array.end(), ShouldDeletePred());
array.erase(new_end, array.end());