三.vector的实现原理

小呆鸟_coding

已于 2022-02-18 10:34:17 修改

阅读量4.9k

点赞数 15

分类专栏： STL标准库文章标签： c++ stl 容器

于 2022-02-17 22:16:07 首次发布

本文链接：https://blog.csdn.net/weixin_45043334/article/details/122993074

版权

6 篇文章 1 订阅

订阅专栏

温习提示：为了阅读大家方便，源代码我没有加上去，想要深入了解的话，可以看侯捷老师的STL源码剖析。这是针对看过这本书的同学总结的，直接背就可以。

从容器中间删除调用的是erase（作用是删除当前位置的元素，将删除元素的后面元素依次向前移动一位，并返回指向当前位置的迭代器）。所以从中间删除元素不会释放已经申请的动态内存

vector读取一个元素，可以采取at，以及[]来直接访问元素，所以读取元素的时间复杂度是O(1),而插入和删除元素需要移动元素，时间时间复杂度为O(n)。在末尾插入和删除元素的时间复杂度为O(1).

vector是一个动态数组，用于维护一段连续的动态控件，内部有三个成员函数，用来储存起始位置，已使用位置，以及最后位置，每当动态内存用完时，它会按照原内存的2倍，重新申请新内存。将原内存的数据拷贝到新内存，释放掉原内存。

对于vector模板特化类型，因为在vector的实现过程中，变量会经常被拷贝或者赋值，所以vector的模板类型应该具有公有的拷贝构造函数和重载的赋值操作符函数。

迭代器底层对应指针所指向的空间被销毁了，而使用一块已经被释放的空间，造成的后果是程序崩溃(即如果继续使用已经失效的迭代器，程序可能会崩溃).
会引起其底层空间改变的操作，都有可能是迭代器失效，比如：resize、reserve、insert、assign、 push_back等
在vector容器中间根据指定迭代器删除元素，也就是调用erase函数，此时因为当前位置会被后面的元素覆盖，所以该指定迭代器会失效，不过此时可以通过erase的返回值重新得到当前位置的正确迭代器；
在vector需重新申请内存的时候，比如扩容，比如释放未使用的内存等等这些过程中都会发生迭代器失效的问题，因为内存有了变动，此时就需要重新获得迭代器；

有人说是不是可以调用reserve(0)来进行释放，毕竟reserve函数会根据我们指定的大小重新申请的内存，那是行不通的哈，这个函数只有在传入大小比原有内存大时才会有动作，否则不进行任何动作。
至于通过resize或者clear等都是行不通的，这些函数都只会对当前已保存在容器中的所有元素进行析构，但对容器本身所在的内存空间是不会进行释放的。

4.1 通过swap函数
这时我们可以想想，什么情况下vector大小为0呢，就是作为一个空容器的时候，所以要想快速的释放内存，我们可以参考swap函数机制，用一个空的vector与当前vector进行交换，使用形如vector<int>().swap(v)这样的代码，将v这个vector变量所代表的内存空间与一个空vector进行交换，这样v的内存空间等于被释放掉了，而这个空vector因为是一个临时变量，它在这行代码结束以后，会自动调用vector的析构函数释放动态内存空间，这样，一个vector的动态内存就被迅速的释放掉了。
4.2 使用shrink_to_fit函数
它的作用是释放掉未使用的内存，假设我们先调用clear函数把所有元素清掉，这样是不是整块容器都变成未使用了，然后再调用shrink_to_fit函数把未使用的部分内存释放掉，那不就把这个vector内存释放掉了吗。

关注