C++ STL 迭代器失效問題

時間 2019-11-18

標籤 c++ stl 迭代失效問題欄目 C&C++ 简体版

原文原文鏈接

本文有更新，請移步個人我的博客：https://blog.andyqiao.top/article/17/函數

以前看《C++ Primier》的時候，也解到在順序型窗口裏insert/erase會涉及到迭代器失效的問題，並無深究。今天寫程序的時候遇到了這個問題。測試

1 莫名其妙的Erase　　

　　最初個人程序是醬紫的，別說話，我知道這樣是有問題的，可這樣是最直觀的想法spa

   int arr[]={0,1,2,3,4,5,6,7,8,9,10}; 
　　vector<int> a(arr,arr+sizeof(arr)/sizeof(*arr));for (auto it = a.begin(); it != a.end();++it ){
        if ((*it)&1){
            a.erase(it);
        }
    }

　　沒錯，程序崩潰！刪除了迭代器it以後，it迭代器失效了，沒法再進行++it操做了。翻譯

　　但是，當我以爲erase作的只是把it以後的元素向前移動一個位置而已，爲何迭代器失效了呢？我翻開《STL源碼剖析》，SGI STL的vector<T,Alloc>::erase的源碼是這樣的：指針

iterator vector<T, Alloc>::erase(iterator position)
    {
        if (position + 1 != end())
            copy(position + 1, finish, position);
        --finish;
        destroy(finish);
        return position;
    }

　　正如我所想，erase函數並無對輸入的position迭代器進行改寫！我打印出調試信息，發現erase以後，迭代器的_Ptr成員，也就是指針的值並無發生變化，而此指針所指的元素的確是下一個元素。那麼爲何失效了呢？調試

　　我又查了《C++ Primier》，發現此書上的標準寫法是這樣的：code

int arr[]={0,1,2,3,4,5,6,7,8,9,10}; 
　　vector<int> a(arr,arr+sizeof(arr)/sizeof(*arr));
    for (auto it = a.begin(); it != a.end();){
        if ((*it)&1){
            it=a.erase(it);
        }
        else
            ++it;    
    }

　　運行了一下，這樣是沒錯的。我打印了調試信息，發現與以前同樣，erase以後把結果賦給it，it裏的成員_Ptr並無發生變化。惟一的可能就是迭代器裏還有別的標誌，若是當前元素被刪除以後，該迭代器也就「失效」了。《C++ Primier》並未對此做出過多解釋，只是說，erase函數返回被刪除元素的下一個元素的迭代器。blog

　　結論：在STL裏，咱們不能以指針來看待迭代器，指針是與內存綁定的，而迭代器是與容器裏的元素綁定的，刪除了以後，該迭代器就失效了，在對其從新賦值以前，不能再訪問此迭代器。內存

2 更加當心冀冀地Insert

　　機智如我，天然會去探索一下insert以後，迭代器會怎樣。因而：　　ci

    vector<int> a;
    for (int i = 0; i < 10; ++i)
    {
        a.push_back(i);
    }

    for (auto it = a.begin(); it != a.end(); ++it){
        if (*it == 5){ 
            a.insert(it, 100);
　　　　　　　++it;
        }
    }

　　你猜怎麼着？？

　　啥事兒沒有！你可能會問，插入以後爲何要++it。插入以前，it指向5，在5以前插入100後，it指向100。這樣下一次循環，it依然會指向5。相信我，你的程序會爆炸的！

　　我做了個++it以後，it又指向5，下一次循環就直接指向5以後的元素了，順利完成插入工做。

　　世界和平~世界和平~我還真不肯定。

　　忽然想到，當插入元素過多，vector的capacity會增長，這時會不會問題呢？說幹就幹：　　

    vector<int> a;
    for (int i = 0; i < 13; ++i)
    {
        a.push_back(i);
    }

    for (auto it = a.begin(); it != a.end(); ++it){
        if (*it == 5){ 
            a.insert(it, 100);
　　　　　　　++it;
        }
    }

　　BOOM！果真崩潰了！也就是說插入以後的迭代器失效了。那以前的呢？

　　我決定粗暴地測試一下：

    vector<int> a;
    for (int i = 0; i < 13; ++i)
    {
        a.push_back(i);
    }
    auto it1=a.begin();
    for (auto it = it1; it != a.end(); ++it){
        if (*it == 5){ 
            a.insert(it, 100);
　　  　　　　it=it1;
        }
    }

　　我插入以後，直接讓it指向begin()，而後單步調試。執行完it=it1還好好的，可再去執行++it仍是崩潰了。

　　也就是說，capacity變化以後，全部的迭代器都失效了！這是固然了呀！capacity發生變化，容器內部作的不單單是增長capacity這麼簡單，由於容器所在內存後面可能沒有足夠的內存讓咱們使用，因此，容器要從新開闢一段足夠大的內存來存儲容器裏的元素，當前內存會被釋放。這樣一來，迭代器天然失效了。

3 C++ Primier的總結

　　關於容器的迭代器失效的問題，C++ Primier用了一小節做了總結，我翻譯成中文以下：

　　（1）增長元素到容器後

　　對於vector和string，若是容器內存被從新分配，iterators,pointers,references失效；若是沒有從新分配，那麼插入點以前的iterator有效，插入點以後的iterator失效；

　　對於deque，若是插入點位於除front和back的其它位置，iterators,pointers,references失效；當咱們插入元素到front和back時，deque的迭代器失效，但reference和pointers有效；

　　對於list和forward_list，全部的iterator,pointer和refercnce有效。

　　（2）從容器中移除元素後

　　對於vector和string，插入點以前的iterators,pointers,references有效；off-the-end迭代器老是失效的；

　　對於deque，若是插入點位於除front和back的其它位置，iterators,pointers,references失效；當咱們插入元素到front和back時，off-the-end失效，其餘的iterators,pointers,references有效；

　　對於list和forward_list，全部的iterator,pointer和refercnce有效。

　　（3）在循環中refresh迭代器

　　當處理vector,string,deque時，當在一個循環中可能增長或移除元素時，要考慮到迭代器可能會失效的問題。咱們必定要refresh迭代器。

int arr[] = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };
    deque<int> v(arr,arr+sizeof(arr)/sizeof(*arr));
    for (auto it = v.begin(); it != v.end(); )
    {
        if ((*it) & 1)
        {
            it = v.insert(it, *it);
            it += 2;
        }
        else
            it = v.erase(it);
    }