STL源码剖析（一）

新开了个坑，侯捷的STL源码剖析。

其实最开始想看源码是因为用string用的不熟悉，不知道里面有哪些函数，也不知道用了函数里面存储层会变成什么样。比如对string用+=会发生什么，重新分配内存还是用指针指向新开的内存，strlen的复杂度到底是不是O(n)等等，然后就买了侯捷的这本书，结果到手后发现没有string，这就比较坑，想着好歹是买了书，就先看看别的STL的实现吧。就这样。

先看第一遍，只分析STL里面函数/容器的实现思路，不涉及具体代码的分析，所以写的很简略。

不过听说STL代码有很多奇淫技巧，有时间还是需要读第二遍的。

第一遍可能有些地方看的不是很透彻，欢迎探讨。

第二章空间配置据说新版STL更改了分配器，所以就没看，直接跳过去了。

第三章

vector 不定长数组

用法和数组一样，特点是不需要提前知道数组大小，可以自动增长空间，但是需要手动缩小。

1. 也不能说是震惊吧，就是之前没想过，erase函数需要进行内存的拷贝
   

2. 由于和数组过于接近，迭代器也变成了普通指针的模样
   

3. 每次分配内存空间的时候，都比要求的空间要大一点。每次塞满的时候都会比之前的空间大一倍。这里需要注意的是，vector会新分配空间，并将元空间的数据拷贝到新空间上来。这就造成了，一旦引起空间重新配置，指向源vector的所有迭代器就失效了。

list 列表

没啥好说的，双向链表。

deque 双向队列

我一直以为双向队列是和vector一样，满了之后进行空间的重分配，结果好像不是这样。它是动态地以分段连续空间组合而成，随时可以增加一段新的空间并链接起来。这就避免了重新分配/销毁空间带来的时间损失，但是问题是排序和管理变的超麻烦。

所以书上说，如果要对deque进行排序，为了最高效率，可将deque先完整复制到一个vector身上，将vector排序后（可利用STL sort），再复制回deque。可见排序的麻烦。

先看下管理。

其中，map是主控（非STL map），里面存的是分配好的一块一块的小空间（缓冲区），缓冲区内存的是真正deque里面存放的数据。当缓冲区满了以后，就申请一块新的缓冲区，并把新缓冲区的地址放在map里。当map满了之后，和vector一样，重新分配空间，拷贝数据，不过至于空间是不是double size，书上没说。 所以排序慢不是没有理由的。

初始化的时候，默认分配一个缓冲区的空间，默认大小为512bytes。

当一块缓冲区空了之后（删空的），deque会主动进行空间的回收，但是剩最后一块缓冲区的时候不会进行回收，也就是说会留下最后一块缓冲区。

stack 栈

后进先出。基于上面说的deque，底层调用的都是deque的代码。

queue 队列

先进先出。同栈，基于上面说的deque，底层调用的都是deque的代码。