前文
http://t.csdn.cn/kVeVX——vector模拟实现
本篇文章主要是针对vector中的两个比较经典的问题同时也是上一篇文章遗留下来的问题进行详细解释,第一个就是迭代器失效的问题,第二个是深浅拷贝的问题。
ps:注意本文演示用的代码是上一篇vector模拟实现的代码,而不是库中的。
一,迭代器失效
vector失效的问题注意发生在insert()和erase()中,由于两个发生的原因不尽相同,所以我们分开来讲
1.1 insert()中迭代器失效的问题
如上,是我们实现的插入函数的代码
这时候就要问铁子们一个问题了,上述程序运行会发生什么?
相信各位聪明的老铁已经看出来了,没错报错了,报错的原因呢,源自于insert中的assert,由此我们发现pos已经不属于_start至_finsh的范围了,此时pos失效,为什么呢?
如上左图图所示,在insert()中我们新开了个空间,由于我们及时更新了insert()中的pos,所以insert()中的pos也指向了新空间,但是右图test6中的pos改变了吗?没有,右图的pos指向的仍然是旧空间,所以就发生了迭代器失效的问题。
解决办法:将insert()更新后的pos返回
1.2 erase()中迭代器失效的问题
上面是我们写的erase的代码
下面我们看下面的问题
如图为什么我们第二次调用erase失效了,失效的原因也是不属于[_start,_finsh),为什么?
因为当我们要删除的数据是最后一个有效数据时,删除后,pos所指向的地方已经不合法,所以失效,当然如果没有这个assert,会实现吗?
大家可以看到实现了,但是这和pos没有关系,这里是因为erase中_finsh--导致的。
eraser迭代器失效的问题就是,在删除后,pos所指向的数据已经不是我们原来想要删除的东西了。
1.3 总结
总的来说,vector迭代器失效的原因主要是对vector进行插入或删除操作时,导致vector的内存重新分配,原有的迭代器指向的内存地址不再是有效的,因此迭代器失效。
这里我们虽然有解决办法,但是尽量还是不要在使用pos.
二,深浅拷贝的问题
这里涉及到深浅拷贝问题主要是因为vector中存储的有可能是自定义类型如
如上图所示如果使用memcpy也就是浅拷贝进行拷贝的话,这样真正深拷贝到的只有vector也就是第一层,而其内部第二层,string仍是浅拷贝,因此两个vector中的string是完全相同的,指向的也是同一块空间,所以在析构是会发生重复析构导致出错,平时也会因为共享空间资源导致漏洞百出。
解决办法如下:
对于vector中的数据进行一个一个赋值来解决
//拷贝构造vector(const vector<V>& v){_start = new V[v.capacity()];//memcpy(_start, v._start, sizeof(V) * v.size());for (int i = 0; i < v.size(); i++){_start[i] = v._start[i];}_finsh = _start + v.size();_end_of_storage = _start = v.capacity;}
但是我们之前模拟的vector并没有写赋值重载,我们这里完善一下。
实现逻辑:我们可以用swap函数来实现,但是需要注意这里传参不能是引用传,只能传值,这样属于创建了一个临时vector进行交换,这样交换了也不会对原来的vector有影响
//赋值重载vector<V>& operator=(vector<V> v){swap(v);return *this;}
总结
到这里vector算是告一段落,后续我们会进行链表的讲解,敬请期待。