关闭

STL之迭代器失效问题

标签: 迭代器cc++stl
390人阅读 评论(0) 收藏 举报
分类:

1 常见的STL容器

标准STL序列容器vectorstringdequelist

标准STL关联容器setmultisetmapmultimap

非标准序列容器slistslist是一个单向链表

非标准关联容器hash_sethash_multisethash_maphash_multimap

几种标准非STL容器stackqueuepriority_queue


从迭代器的性质出发,上述容器可分为三类:

1) vector, string类

2) deque类

3) list类

slist, setmultiset, mapmultimap基于rb_tree实现,迭代器性质也类是list.

同理, hash_sethash_multisethash_maphash_multimap也是如此.因为它们的底层是hashtable,而它采用的是开链法.

3) 适配器类

stack, queue,priority_queue,这类有特殊的存取规则,不提供的迭代器.

正因如此, 所以C++ primer一书只说了vector, string, list(forward_list)和deque的迭代器失效问题.


2 添加元素队迭代器的影响

2.1 vector, string类

1)存储空间重新分配

指向容器的迭代器,指针,引用都将失效.(所有空间重新分配, 之前的空间被释放)

2)存储空间未重新分配

插入点之前的迭代器,指针,引用有效,但插入点之后的都将无效.(发生了插入点后元素位置的移动)


2.2 deque类

1) 首尾位置之外插入

指向容器的迭代器,指针,引用都将失效.这与vector不同(保证插入点之前有效).这与deque的实现机制有关.

deque的内存布局


deque插入源码



因为, deque的插入为根据插入前前后元素的数量,选择一个较小的进行移动,所以具体在一次插入操作中移动的是前面还是后面部分不能确定.

所以并没有保持像list的性质.

2) 首尾位置插入

迭代器会失效, 但指向存在元素的引用和指针不会失效.

这是C++ primer的原话.但直至没有想清楚为什么?刚开始我的理解是,首(尾)插入只会影响插入前的首(尾)位置的迭代器,其他位置的迭代器应该仍有效.

即使插入操作造成map的重新分配和拷贝或缓存节点的增加.但原deque除首(尾)位置,并没有改变.

后来发现还是我错啦.药弄明白还得从deque的迭代器的实现原理入手.以下是个人的理解.不对的地方还请读者指出.


首尾插入引起的deque迭代器失效,是由map重新分配,引起原来所有迭代器的node指针失效导致的,

可以将这种失效看作是一种广义的失效.因为这种迭代器负责的是一个缓存节点.即使迭代器失效,

但在迭代器内部仍然有效, 即局部有效.

如果map没有重新分配,除原首尾位置,其他迭代器应该仍是有效的.但是对于使用者而言,你并不知道何时没有发生map重新分配.

因此也作失效处理.


2.3 list类

指向容器的迭代器(包括首尾迭代器), 指针, 引用仍有效.


3 删除元素队迭代的影响

删除元素,一定会使指向删除节点的迭代器失效.

3.1 vector, string类

删除点之前的迭代器, 指针, 引用仍有效.但当我们删除元素时,尾后迭代器总是失效.

3.2 deque类

1)首尾之外节点删除, 所有原迭代器都失效.(原因和插入相同)

2)首尾节点删除, 其他迭代器,指针和引用仍会有效. 

3.3 list类

指向容器的其他迭代器,指针和引用仍会有效.





0
0

查看评论
* 以上用户言论只代表其个人观点,不代表CSDN网站的观点或立场
    个人资料
    • 访问:44546次
    • 积分:946
    • 等级:
    • 排名:千里之外
    • 原创:46篇
    • 转载:37篇
    • 译文:0篇
    • 评论:4条
    最新评论