【深度探索C++对象模型读书笔记】【第6章】执行期语意学

一、对象的构造和析构

1、如果一个区段或函数中有一个以上的离开点,destructor必须被放在每一个离开点之前。

2、一般而言object应尽可能放在使用它的那个程序区附近,这样做可以节省不必要的对象产生和销毁操作。

3、C++程序中所有的global objects都被放置在程序的data segment中。如果global objectconstructordestructor的话,它需要静态的初始化和内存释放操作。如果不显式指定初值,object所配置的内存内容将为0

4、以一个derived classpointerreference来存取virtual base class subobject,是一种nonconstant expression,必须在执行期方可评估求值。virtualbase classsubobject在每个derivedclass中的位置可能会变动,不能在编译时期确定。

5、新的C++标准要求编译单位中的static class objects必须在相应函数第一次被调用时才被构造,而且必须以构造的相反顺序销毁。由于这些objects是在需要时才被构造,因此编译时期无法预期其集合和顺序。为支持新标准,可能要对被产生出来的static local class objects保持一个执行期链表。

二、newdelete运算符

1、运算符new的使用由两个步骤完成:

a)通过适当的new运算符函数实例,配置所需的内存

b)将配置得来的对象设立初值

int *pi = new int(5);
//new运算符的两个分离步骤
int *pi;
if (pi = __new(sizeof(int)))
	*pi = 5;
2、运算符delete的使用由两个步骤完成:

a)通过对象的析构函数将对象析构掉

b)将配置的内存释放

if (pi != 0)
	__delete(pi);

3、NewA[x]必须用delete []p,因为只有在[]出现时,编译器才会寻找数组的维度,否则它便假设只有单独一个object要被删除。

4、基类指针指向子类对象构成的数组时,因为一般说来sizeof(子类对象) > sizeof(基类对象),当数组析构的时候,只有基类析构函数被调用,子类析构函数不会被调用,所以如果子类有特殊资源需要释放的话,肯定不能给释放掉。最好避免一个base class指针指向derived class objects所组成的数组——如果derived class object比其base大的话。

三、临时性对象

1、临时性对象的被摧毁,应该是对完整表达式求值过程中的最后一个步骤。该完整表达式造成临时对象的产生。临时性对象的生命规则有两个例外:1)第一个例外发生在表达式被用来初始化一个object时,凡持有表达式执行结果的临时性对象,应该存留到object的初始化操作完成为止;2)第二个例外是当一个临时性对象被一个reference绑定时,如果一个临时性对象绑定与一个reference,对象将残留,直到被初始化之reference的生命结束,或直到临时对象的生命范畴结束。


版权声明:本文为博主原创文章,未经博主允许不得转载。

原文地址:https://www.cnblogs.com/ruan875417/p/4785452.html