空间配置器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>
作为另一个模板实参。