STL笔记（3）——空间配置器Allocator（一）

空间配置器Allocator（一）

看这部分东西是比较晦涩的，一方面里面有一些语法用法不是熟悉，另一方面就是其设计模式非常的精妙要花很长时间才能理解。

简单的空间配置器JJ::allocator

这是书中的例子，我把它敲了一遍，并能够跑起来。类似于java中设计一个类实现某个接口必须要重写接口中的方法，作为一个allocator，它也有一些必要的接口，这里书中说的很清楚就不在赘述，主要是一些typedef和函数。下面记录了关于书中给的代码里面我一些迷惑的地方摘要：

set_new_handler

set_new_handler(0);

new_handler，顾名思义就是一个处理程序，当程序向内存的分配请求无法满足时将有两种可能:
1. 抛出异常
2. 设置一个异常处理函数，这就是所谓的new_handler（类似于中断机制，本质上来说就是一个函数指针）
当第二种情况发生以后，我们可以通过new_handler删除无用的内存，以及设置新的new_handler,而这个set_new_handler就是来进行设置的。

那么这个set_new_handler(0) 到底有什么作用？
set_new_handler(0)主要是为了卸载目前的内存分配异常处理函数，这样一来一旦分配内存失败的话，C++就会强制性抛出std:bad_alloc异常，而不是跑到处理某个异常处理函数去处理。

---

new 的三种形式

T *tmp=(T*)(::operator new((size_t)(size*sizeof(T))));  

首先::访问符放到最前面的意思是使用全局版本，这个operator new就得好好说说。
正如标题说，new一共有三兄弟：
1. new operator (就是我们常用的new)
2. operator new
3. placement new
先说说这个new，我们在程序中使用new的时候，实际上做了两件事情：
一、申请内存
二、构造对象
简单的理解，new完成了一套比较完备的服务，而operator new，只是申请内存，placement new是在申请的内存中进行构造对象，第2、3中形式就是对new的拆分。
再看一段代码就能理解：

template<class T1, class T2>
    inline void _construct(T1* p, const T2& value)
    {
        new(p)T1(value);//placement new,invoke constuctor of t1
    }

这里p指向一块内存，我们直接在这个内存上构造对象（调用T1的构造函数），即

p->T1::T1(value)

---

使用自定义的allocator

int main()
{
    int ia[5] = { 0, 1, 2, 3, 4 };
    unsigned int i;
    vector<int, JJ::allocator<int>>myVec(ia, ia + 5);
    for (i = 0; i < myVec.size(); i++)
    {
        cout << myVec[i] << endl;
    }
    system("pause");
    return 0;
}

这里看了vector的源码就知道，vector模板中有一个默认模板参数，使用的SGI的Alloc，根据模板定义直接将JJ::allocator<int>作为另一个模板实参。