Loading

《深度探索C++对象模型》第六章 执行期语意学

new运算符和delete运算符
运算符new看似是一个简单的运算,比如:

int *pi=new int5);

但是它实际由两个步骤完成:
1.通过适当的new运算符函数实体,配置所需的内存:

//调用函数库中的new运算符
int *pi=__new(sizeofint));

2.给配置得到的对象分配初值:

*pi=5;

(注意,上面的代码中并不包括 exception handling,是为了方便理解,实际上应该进行检测)
new运算符实际上总是以标准的C malloc()函数来完成的,虽然并没有规定非要这么做不可。相同的情况,delete运算符也总是以标准的C free()来完成的。

extern void
operator deletevoid*ptr)
{
 if(ptr)
    free((char*)ptr);
}

placement operator new 语意
有一个预先设定好的overloaded的new运算符,称为placement operator new。它需要第二个参数,类型为void*,调用方式如下:

Point2d *pt=new(area)Point2d;

其中area指向内存中一个区域块,用以放置新的point2d对象,这个预先设定好的placement operator new 的实现方法非常简单,只要获得上面传递的void*指针所给出的地址(在获取该地址的时候,要先将类型强转为char*类型)。

Point2d *pt=(Point2d*)area;
if(pt!=0)
    pt->Point2d::Point2d();

这正是使用placement operator new的威力强大之处,这一份代码将决定object被放置在哪里,编译器保证object的constructor会施行在这个地址上。
但是有一个缺点:如果该地址上面已经有一个object,而且这个对象有destructor,这个destructor并不会被调用,调用该destructor的唯一方法就是将那个指针delete掉。

delete pt;
pt=new(area)Point2d;

delete会发挥作用,但是它也会释放该内存,这不是我所想要看到的,因为下一个指令我们就要调用pt,因此我们应该明确的调用destructor,并且保留空间。

pt->~Point2d;
pt=new(area)Point2d;

后续的部分和第七章template语意学我准备先暂留着,过段时间重头再读一遍这本书。

posted @ 2017-03-11 12:29  李正浩  阅读(100)  评论(0编辑  收藏  举报