STL之【空间配置器】

什么是空间配置器

空房间配置器，顾名思义就是用来配置，管理，分配，释放内存空间的，有了它，它为我们的各种容器提供了生存的空间。有人会问，为什么不直接用malloc来申请呢，而要用空间配置器呢？

1. 提高效率：频繁的向系统申请小块内存，效率低下。
2. 减少内存的碎片问题：
3. 提高代码复用率和功能模块化。
4. 空间不足时，有对应的应对措施。
5. 隐藏实际内存分配的细节，确保分配出去的内存都会回收。

---

二级空间配置器

为了解决内存碎片的问题，STL提供了两层空间配置器，对于申请空间的大小不同，进而使用不同的空间配置器。
当申请的字节数>128bytes时候，使用一级空间配置器。
当<128字节的时候，使用二级空间配置器，二级空间配置器是由内存池来实现的。
下面是我总结的二级空间配置器的大概工作原理：
首先，配置一个大的内存池，并且维护与之对应的自由链表，这个自由链表有点像hash桶，一共有16个桶，每一个桶下面挂着8的整数倍的内存块，当用户想要申请内存的时候，比如申请5个字节，不是给它返回5个字节，而是返回最接近8的整数倍个内存块，即8个字节。

当用户申请内存的时候，先到对应的链表下面找内存块，如果有，就使用头删，把这块内存返回给用户，归还的时候，头插到对应的链表下面就好了。

如果说对应的链表下面没有内存块可以返回给用户的时候，就会向内存池索要，一般是20个对应大小的内存块，再连接到链表中，但有的时候，内存池中剩余的内存不足以提供20块大小，它就会把实际申请到的块中，第一块返回给用户，然后再把剩余的连接到链表下 。

而如果内存池连一块内存都提供不了的时候，显然是不行的，它会向系统堆空间申请内存，此时便需要从系统堆中malloc申请空间来补充内存池，新的需求量为需要量的两倍大小，再加上一个随配置次数增加而愈来愈大的附加量。而如果山穷水尽，要是连系统堆上面的空间都申请不到的时候，二级空间配置器会从链表中，往后找一个比需求量大的未被使用的内存块返回给用户，如果没有找到，只能使用一级空间配置器。一级空间配置器其实也是用malloc来申请空间，但是它有out -of -memory处理机制，类似于new -hander机制，或许有机会释放其他内存用于这里的申请，如果没有，就抛出bad_alloc异常。

在归还的时候，也是首先看归还内存大小，超过128字节，由一级空间配置器归还，如果没有超过128字节，就到对应链表下头插就可以了。

---

一级空间配置器

一级空间配置器还是通过malloc（）等C库函数来管理内存的，默认情况我们使用的是二级空间配置器，在C++中我们学习了new的底层实现原理，new首先调用operator new, 如果申请空间成功，就返回申请到的空间，如果申请失败，就要检测是否是内存不足的原因，如果内存不足的话，就要看是否有对应的处理措施hander，用来释放一些不用的内存，如果没有对应措施，抛出一个bad_alloc的异常，如果有对应措施，重新来调用malloc().
申请空间成功后，再调用构造函数来构造对象。
在delete的时候，先调用析构函数清理对象资源，再使用operator delete回收内存。
而SGI将这两个阶段分开，空间配置由alloc：：allocate（）完成，释放空间用alloc：：deallocate（）完成，对象的构造由construct（）完成，对象的析构由destroy（）完成。