STL 空间配置器

内存的申请和释放

STL的内存分配和释放被详细区分为四个部分：内存配置由allocate()负责（内部实现为operator new），内存释放由deallocate()负责（内部实现为operator delete）；对象构造由construct()负责（内部实现为placement new），对象析构操作由destroy()负责（内部实现为~T()【T为对应类型】）

operator new()，operator delete()这两个全局函数相当于C语言中的malloc()和free()。

destroy()第一个版本接受一个指针，将该指针所指之物析构即可，第二个版本接收两个迭代器first、last，并逐一对范围[first,last)内进行析构。

对于第二个版本，destroy()有很多特化和泛化版本，仅对于trivaial destructor按序执行destroy()，而对于一些特化版本，如char ，wchar ，non-trivaial destructor都不执行任何操作。

construct()只有一个版本，就是使用placement new在operator new申请的空间上进行构造。

template<class T>
T *p;
const T2 &value
new(p) T(value);    //new(指针) 类型(值)

---

SGI STL内部是双层配置器，当配置区块超过128B时，使用第一级配置器，使用malloc()和free()进行内存的配置，小于128B时，使用第二级配置器，使用内存池（拥有16个节点的链表，节点大小为从[8,128]内8的倍数）进行内存分配，避免造成太多内存碎片。但是对上层，暴露的内存配置器为统一为alloc（内部使用条件编译进行typedef（宏为__USE_MALLOC））。

一级空间配置器直接封装malloc，free进行处理，增加了C++中的set_handler机制，增加内存分配时客户端可选处理机制。二级空间配置由内存池以及伙伴系统：自由链表组成

内存池空间何时释放？

对于大于128的内存，客户程序deallocate()之后会调free释放掉，归还给了系统。

内存池中获取的空间调用deallocate()释放后，并没有还给系统，没有在内存池，而在自由链表中。程序中不曾释放，且配置器的所有方法，成员都是静态的，那么他们就是存放在静态区。释放时机就是程序结束。

内存基本处理工具

STL一共有五个全局函数作用关于未初始化的空间之上。

除了之前说过的construct()和destroy()，还有三个函数uninitialized_copy()，uninitialized_fill()，uninitialized_fill_n()。

这三个方法都能将内存的配置和对象的构造行为分开。对于POD类型（标量型别或C的struct型别，可以直接赋值），调用fill_n()函数进行初值填写，对于非POD类型，采用construct()方法。

uninitialized_copy()针对char *和w_char *有专门的特化方法，调用memmove()进行快速复制。