【C++STL】vector的深度剖析，模拟实现以及迭代器失效问题的本质

一，vector的模拟实现

1,成员变量

_start指向vector的起始位置，也就是第一个元素

_finish指向vector的最后一个有效元素的下一个位置

_end指向vector最后一个空间的下一个位置，如下图：

至于iterator，他是类的迭代器，是一个原生指针——T*

2，迭代器

3，几大基本成员函数：构造，拷贝构造，析构，赋值运算符重载

构造

无参构造

迭代器构造

push_back的实现在后面。

拷贝构造

借助迭代器构造函数

析构

赋值运算符重载

借助拷贝构造

4，其他的一些函数

——————————————————————————————————————

还有两个函数：insert 和 erase ，接下来专门就迭代器失效问题来讲解。

二，迭代器失效问题

什么是迭代器失效？

迭代器的主要作用就是让算法能够不用关心底层数据结构，其底层实际就是一个指针，或者是对指针进行了封装，比如：vector的迭代器就是原生态指针T* 。因此迭代器失效，实际就是迭代器底层对应指针所指向的空间被销毁了，而使用一块已经被释放的空间，造成的后果是程序崩溃(即如果继续使用已经失效的迭代器，程序可能会崩溃)。

如何解决？

迭代器失效解决办法：在使用前，对迭代器重新赋值即可。

erase：

erase删除pos位置元素后，pos位置之后的元素会往前搬移，没有导致底层空间的改变，理论上讲迭代

器不应该会失效，但是：如果pos刚好是最后一个元素，删完之后pos刚好是end的位置，而end位置是没有元素的，那么pos就失效了。因此删除vector中任意位置上元素时，vs就认为该位置迭代器失效了。

返回值设定成iterator是为了解决迭代器失效的问题。

insert

---

总结经验：

写类模版的时候，要多考虑一下，

T的类型不一定就是内置类型，很有可能还是自定义类型。

要对迭代器失效的问题足够敏感。

多复用函数，增加代码的简洁性。

要多做assert检查。

注意深浅拷贝的问题。