C++ vector容器erase操作后iterate失效真相

在使用STL Vector容器时，大家一定遇到进行erase操作后，迭代器会失效的现象。网上很多文章解释说，是因为Vector的底层是通过数组来实现的，erase之后会造成内存的重新分配，故原容器的迭代器便失效。 我以前也一直这样认为，从来没有深究过，最近在研读《STL 源码剖析》的第四章时，发现如下代码：

iterator erase(iterator postion)

{

if (position + 1 != end())

{

copy(position+1, finish, position);

}

--finish;

destroy(finish);

return position;

}

从上述代码可以看到，返回的postion就是输入的迭代器，如果其失效，那返回的结果岂不是也是失效的。那诸如 iter = vector.erase(iter)的代码焉能work？？？ 其实上述代码中，并没有发生内存的重新分配，只是将position后面的所有元素向前移动一个位置，再