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源码剖析》