C++对象模型

各种关系下的构造和析构

继承关系下的构造和析构

Paste_Image.png

正常情况下，带有继承关系的类对象的构造是由内而外，析构由外而内的。即分配内存后，会先调用父类的构造函数，然后调用子类的构造函数，要释放内存时，会先调用子类析构函数，再调用父类的构造函数，最后释放内存。
但是，在实现多态时，当用基类操作派生类，在析构时防止只析构基类而不析构派生类的状况发生。base class 的析构函数一定要定义成虚函数。
如下例：

#include <iostream>
using namespace std;

class Fruit{
public:
    Fruit(){
        cout << "this is the stor of Fruit" << endl;
    }
    ~Fruit(){
        cout << "this is the dtor of Fruit" << endl;
    }
};
class Apple:public Fruit{
public:
    Apple(){
        cout << "this is the stor of Apple" << endl;
    }
    ~Apple(){
        cout << "this is the dtor of Apple" << endl;
    }
};
int main(){
    cout << "class instance test:"<< endl;
    Apple *pa = new Apple();
    delete pa;
    pa = NULL;
    cout << "polymorphic test:" << endl;
    Fruit *pf = new Apple();
    delete pf;
    pf = NULL;

    return 0;
}

执行结果：

Paste_Image.png

可见，在释放利用多态创建的Apple实例指针时，由于Apple的dtor不是虚函数，并没有调用其析构函数，只析构了父类。

如上代码只对父类的析构函数作如下修改：

 virtual ~Fruit(){
        cout << "this is the dtor of Fruit" << endl;
 }

再次执行后，得到如下：

Paste_Image.png

因此，一定要注意：类的析构函数一定记得定义成虚函数！

复合关系下的构造和析构

Paste_Image.png

委托关系下的构造和析构

Paste_Image.png

构造和析构顺序：构造是由内而外，析构由外而内的，并且，不可以使用类的默认构造与析构函数。因为要在构造和析构函数中，自己写new和delete委托类型对象

继承+复合关系下的构造和析构

虚指针和虚表

关于绑定

静态邦定

静态邦定就是在编译时就已经确定的函数调用，普通的函数调用就是静态邦定。静态邦定在汇编中以“CAL <函数地址>”的形式存在。

动态绑定（多态）

动态绑定在编译时并不能确定具体调用哪个函数。其汇编语句表现形式类似（(p->vptr）[n])(p)或（p->vptr[n]）(p)
动态绑定的三个条件：

1. 通过指针调用
2. 指针发生向上转型
3. 调用虚函数

关于this指针

虚函数的用法主要有两种：

1. 多态
2. Template Method（设计模式中的一种）