1 各种迭代器erase实现

析构的基本工具

Template <class T> inline void destroy(T* pointer){

pointer->~T();

}

1.1 vector

vector是连续的线性空间，是可以成长的，但是成长过程是（1）另觅更大空间，（2）将原数据复制过去；（3）释放原空间（每次成长为原来的2倍，虽然对成长做了未雨绸缪，但是成长的代价是比较大的，因此使用vector时最好根据实际情况resize欲分配一个大小）。

//把后面的元素往前移动，释放掉最后一个元素，erase（it）后，it还可以使用，it不变，但是里面的元素已经是下一个

iterator erase(iterator position){

if(position+1!=end())

copy(position+1,finish,postion);

--finish;

destroy(finish);

return position;

}

1.2 list

list是一个双向链表，erase（it）后，it已经被释放，无效

iterator erase(iterator position) {

link_type next_node = link_type(position.node->next);

link_type prev_node = link_type(position.node->prev);

prev_node->next = next_node;

next_node->prev = prev_node;

destroy_node(position.node); //销毁（析构并释放）一个节点

return iterator(next_node);

}

//销毁（析构并释放）一个节点

void destroy_node(link_type p){

destroy(&p->data);

put_node(p);//释放一个节点

}

1.3 deque

//deque的erase类似于vector的，erase（it）后，it还可以使用，it不变，里面的元素已经是下一个，但是进行了优化，如果删除前面的元素少，前面的元素往后移动，释放首空间；如果删除后面的元素少，后面的元素往前移动，释放掉最后的空间，源码如下：

iterator erase(iterator pos){

iterator next=pos;

++next;

difference_type index = pos-start;   //清除点之前的元素个数

if(index<(size()>>1)){            //如果清除点之前的元素比较少

copy_backward(start,pos,next); //就移动清除点之前的元素

pop_front();                //移动完毕，最前面一个元素冗余，去除之

}

esle{                      //清除点之后的元素比较少

copy(next,finishi,pos);        //就移动清除点之后的元素

pop_back();                 //移动完毕，最后面一个元素冗余，去除之

}

return start+index;

}

2 erase的正确使用方法

it=a.erase(it);//根据实现就可以看出

a.erase(it++);//先保存临时变量，然后删除

3 erase的错误使用方法

a.erase(++it);或者a.erase(it);//先删除后使用，it已经时效（vector和deque还可以使用，但是最好不要这样使用）

4 参考文献

《STL源码剖析》