剖析vector.erase()實現

先看以下代碼：

#include <iostream>
#include <vector>
using namespace std;
int main(void)
{
    vector<int>array = {100, 300, 300, 300, 300, 500};

    for (size_t i = 0; i < array.size(); ++i)
    {
        cout << &array[i] << " -> " << array[i] << endl;
    }
    vector<int>::iterator itor;
    for (itor = array.begin(); itor != array.end(); itor++)
    {
        if (*itor == 300)
        {
            itor = array.erase(itor);
        }
    }
    for (size_t i = 0; i < array.size(); ++i)
    {
        cout << &array[i] << " -> " << array[i] << endl;
    }
    for (itor = array.begin(); itor != array.end(); itor++)
    {
        cout << *itor << "";
    }
    return 0;
}

結果竟然如下：

我們將其刪除前后每個元素的地址打印出來，如下：

erase在刪除當前元素后，會將其后元素前移，以保證vector的連續存儲。

vs編譯器erase實現：

iterator erase(const_iterator _Where)
{    // erase element at where
    if (_VICONT(_Where) != this
        || _VIPTR(_Where) < this->_Myfirst
        || this->_Mylast <= _VIPTR(_Where))
        _DEBUG_ERROR("vector erase iterator outside range");
    _Move(_VIPTR(_Where) + 1, this->_Mylast, _VIPTR(_Where)); //移動
    _Destroy(this->_Mylast - 1, this->_Mylast);
    _Orphan_range(_VIPTR(_Where), this->_Mylast);
    --this->_Mylast;
    return (_Make_iter(_Where));
}

`stl_vector.h`實現：

iterator erase(iterator position) {
    if (position + 1 != end())
        copy(position + 1, finish, position); //copy至前面
    --finish;
    destroy(finish);
    return position;
}

上面程序，在每次erase后，erase返回的迭代器就已經指向被刪除元素后一個元素，再++,就會跳過一個元素（300）。