【C++】深度探索C++对象模型之执行期语意学

执行期语意学，即在程序执行时，编译器产生而外的指令调用，确保对象的构造，内存的释放，以及类型转换与临时对象的生成的安全进行。

一、对象的构造和析构

对于类对象的构造，我们应该尽量在需要使用时才进行定义，一般在定义之后则开始内部的构造过程。

而对于已构造的对象，其析构函数必须放在每一个离开点（当object还存在）之前。

二、全局对象

对于全局变量，C++会保证在调用全局变量之前，将全局变量构造出来。

而所有的全局变量都被放置在程序的数据段中（data segment），并且为没有显示指定值的变量初始化为0.

同时对于全局的类对象，在编译时期被放置于data segment中并且内容也为0.只有在程序启动时其对应的constructor才会实施。因此object需要静态初始化。

静态初始化的munch策略：

• 为每个需要静态初始化的文件产生一个_sti()函数，内含必要的constructor调用操作和inline expansions。
• 为每一个需要静态的内存释放操作的文件，产生一个_std()函数。
• 提供一个_main()函数调用所有的_sti()函数，一个_exit()函数调用所有的_std()函数

三、局部静态对象

局部静态对象的constructor只能被施行一次，destructor也只有一次。

所以对于局部静态对象，一个很简单的思路就是导入一个临时性对象，当第一次传入时，设置为true，之后则不再进行处理。

条件式析构也是所有编译器所必须的，而static local class object需以构造的相反的顺序被析构。

四、对象数组

对于以下数组定义：

Point knots[ 10 ];

我们一般使用vec_new()函数来构造数组(这是在cfront中的方式), 对于VS等，则提供一个用来处理没有"virtual base class"的class，另一个用来处理"内含virtual base class"的class。后一个函数通常称为 vec_vnew()。函数的原型一般如下：

void *
vec_new( 
    void *array,                       // 数组的起始地址
    size_t elem_size,                  //每一个class object大小
    int elem_count,                    //数组中的元素个数
    void (*constructor)(void *)        //类的constructor函数指针
    void (*destructor)(void *, char)   //类的destructor函数指针

所以对上述的Point对象的初始化，对应的vec_new()的实例化如下：

vec_new( &knots, sizeof(Point), 10, &Point::Point, 0);

同理，对于对象的删除，也有类似的vec_delete()来进行操作。

void *
vec_new( 
    void *array,                       // 数组的起始地址
    size_t elem_size,                  //每一个class object大小
    int elem_count,                    //数组中的元素个数
    void (*destructor)(void *, char)   //类的destructor函数指针

五、new和delete运算符

int *pi = new int(5);

其实是通过两个步骤完成的，第一步通过适当的new运算符函数实例，配置所需的内存，然后将配置来的内存设定初值。

使用pi，和使用pi所指的对象，其差别在于哪一个生命已经结束了。因为即使对象不合法，但是指针所指的对象也是合法的。

new其实是通过标准的c malloc完成的，每一次对new的调用必须传回一个独一无二的指针，指向默认1byte的内存地址。

如果类对象数组没定义constructor和destructor，则不会调用vec_new。

对于delete[] p_array, 只有中括号出现时，编译器才会寻找数组的维度，否则他只会假设单独的一个object要被删除。

那么如何记录数组的元素个数呢？一个明显的方法是为vec_new()所传回的每一个内存区域块设置一个额外的word，然后把元素个数包藏在那个word之中。而包藏的数值通常称为cookie。

在原始编译器中，有两个主要函数用来存取cookie

注意，避免一个base class指针指向一个derived class object所组成的数组。即

Point *ptr = new Point3d[10];

如果一定要这样做，默认情况下只会交给施行vec_delete()函数的”被删除之指针类型的destructor“，也就是Point destructor。

所以，需要程序员如下显著的进行释放内存。

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

六、关于placement Operator new

这是一个预先定义好的重载的new运算符，调用方式如下：

Point2w *ptw = new (arena) Point2w

其中arena是指向内存的一个区块，用以放置产生的Point2w object。

这样写的一个好处就是，Placement new operator所扩充的另一半是将Point2w constructor自动施行于arena之上：

Point2w *ptw = (Point2w*) arena;
if(ptw != 0)
    ptw->Point2w::Point2w();

所以Placement new operator的好处就是决定object放在那里，并在此地施行constructor。

#include <iostream>
#include <typeinfo>

using namespace std;

class Point {
public:
    Point(int x, int y) : _x(x), _y(y) {};
    void test() { cout << "hello word:" << _x << _y << endl;}
    ~Point(){ cout << "destructor" << endl; };

protected:
    int _x, _y;
};


int main()
{
    char *arena = new char[sizeof(Point)];
    Point *pt = new (arena) Point(1, 3);
    pt->test();
    //delete pt;
    pt->~Point();
    pt = new (arena) Point(2, 3);
    pt->test();
    cout << (pt != nullptr) << endl;
    return 0;
}

关于placement的正确方法：

p2w->~Point2w;
p2w = new (arena) Point2w;

七、临时性对象

临时性对象的摧毁，应该是对完整表达式求值过程中最后一个步骤。该完整表达式造成临时对象的产生。

凡持有表达式执行结果的临时对象，应该保留到object的初始化操作完成为止。

如果一个临时对象被绑定于一个reference，对象将残留，直到初始化之reference生命结束，或直到临时对象的什么范畴结束。