《深度探索C++对象模型》读书笔记（6）

***对象的构造和解构***
一般而言，我们会把object尽可能放置在使用它的那个程序区段附近，这样做可以节省不必要的对象产生操作和销毁操作。

 

***全局对象***
全局对象的静态初始化策略包括以下几个步骤：
（1）为每一个需要静态初始化的对象产生一个_sti_...()函数，内含必要的constructor调用操作或inline expansions；
（2）为每一个需要静态的内存释放操作的对象产生一个_std_...()函数，内含必要的destructor调用操作或inline expansions；
（3）在main()函数的首尾分别添加一个_main()函数（用以调用可执行文件中的所有_sti()函数）和一个_exit()函数（用以调用可执行文件中的所有_std()函数）。
建议根本不要用那些需要静态初始化的全局对象。 

 

***局部静态对象***
假设我们有以下程序片段：

const Matrix& identity() ...{
static Matrix mat_identity;
// ...
return mat_identity;
}

此处的local static class object保证了以下语意：
（a）mat_identity的constructor必须只能施行一次，虽然上述函数可能会被调用多次；
（b）mat_identity的destructor必须只能施行一次，虽然上述函数可能会被调用多次。
编译器的实际做法如下：在第一次调用identity()时把mat_identity构造出来，而在与相应文件关联的静态内存释放函数中将其解构。（局部静态对象的地址在downstream component中将会被转换到程序内用来放置global object的data segment中）

 

***对象数组***
如果你想要在程序中取出一个constructor的地址，这是不可以的。然而经由一个指针来激活constructor，将无法存取default argument values。那么，如何支持以下的语句：

complex::complex(double=0.0, double=0.0);

当程序员写出：

complex c_array[10];

时，编译器最终需要调用：

   vec_new(&c_array,sizeof(complex),10,&complex::complex,0);

为了解决这个问题，可由编译器产生一个内部的constructor，没有参数，在其函数内调用由程序员提供的constructor，并将default参数值明确地指定过去：

complex::complex()
...{
complex(0.0, 0.0);
}

 

***new和delete运算符***
以constructor来配置一个class object：

Point3d *origin = new Point3d;

被转换为：

Point3d *origin;
if(origin = _new(sizeof(Point3d))) ...{
try ...{
origin = Point3d::Point3d(origin);
}
catch( ... ) ...{
_delete(origin);  // 释放因new而配置的内存
throw;  // 将原来的exception上传
}
}

如果我们配置一个数组，内带10个Point3d objects，我们预期Point和Point3d的constructor被调用各10次，每次作用于数组中的一个元素：

// 完全不是好主意
Point *ptr = new Point3d[10];

如果我们进行如下的释放操作：

// 只有Point::~Point被调用
delete []ptr;

由于其触发的vec_delete()是通过迭代走过每一个数组元素，而本例中被传递过去的是Point class object的大小而不是Point3d class object的大小，整个运行过程将会失败。
解决之道在于程序层面，而非语言层面：

for(int ix = 0; ix < 10; ix++)
...{
Point3d *p = &((Point3d*)ptr)[ix];
delete p;
}

当然，最好还是避免以一个base class指针指向一个derived class objects所组成的数组。