关于vector的erase函数

[xiaobing307]

《stl源码剖析》书上，vector的一个erase函数如下：

  iterator erase(iterator first, iterator last) {
    iterator i = copy(last, finish, first);
    destroy(i, finish);
    finish = finish - (last - first);
    return first;
  }

要删除[first, last)的元素，先将[last, finish)的元素拷过来，然后destroy finish指向的元素，这样做不是可能会导致后面有些元素不会调用析构函数，从而导致内存泄漏么？
比如如下：

先将4,5位置的元素拷到1,2位置，然后析构3位置的元素。如果调用完erase函数后就析构整个vector，那4,5位置的元素一直不会调用析构函数，如果元素内部申请了内存，这样岂不是会造成内存泄漏？

[shenchenman]

怎么会有内存泄露?finish后面都是空的

[Falleyes]

destroy(i,finish);   //从拷贝之后的位置一直销毁到vector结尾。

应该是先copy4，5位置的元素到1，2，然后析构3，4，5位置的元素。

[shenchenman]

引用 2 楼 Falleyes 的回复:

destroy(i,finish);   //从拷贝之后的位置一直销毁到vector结尾。

应该是先copy4，5位置的元素到1，2，然后析构3，4，5位置的元素。

本来就是delete后面的. 这么做是因为vector内存是连续的,如果直接delete中间一段内存,会造成内存不连续

[勤奋的小游侠]

destroy(i, finish); 先将4,5位置的元素拷到1,2位置，然后析构3位置的元素。 你看代码嘛，明明是将3.,4,5全部给destroy了。怎么说只析构了3位置呢？