《深度探索C++对象模型》第六章 执行期语意学
new运算符和delete运算符
运算符new看似是一个简单的运算,比如:
int *pi=new int(5);
但是它实际由两个步骤完成:
1.通过适当的new运算符函数实体,配置所需的内存:
//调用函数库中的new运算符
int *pi=__new(sizeof(int));
2.给配置得到的对象分配初值:
*pi=5;
(注意,上面的代码中并不包括 exception handling,是为了方便理解,实际上应该进行检测)
new运算符实际上总是以标准的C malloc()函数来完成的,虽然并没有规定非要这么做不可。相同的情况,delete运算符也总是以标准的C free()来完成的。
extern void
operator delete(void*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语意学我准备先暂留着,过段时间重头再读一遍这本书。