C++对象模型
各种关系下的构造和析构
继承关系下的构造和析构
正常情况下,带有继承关系的类对象的构造是由内而外,析构由外而内的。即分配内存后,会先调用父类的构造函数,然后调用子类的构造函数,要释放内存时,会先调用子类析构函数,再调用父类的构造函数,最后释放内存。
但是,在实现多态时,当用基类操作派生类,在析构时防止只析构基类而不析构派生类的状况发生。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;
}
执行结果:
可见,在释放利用多态创建的Apple实例指针时,由于Apple的dtor不是虚函数,并没有调用其析构函数,只析构了父类。
如上代码只对父类的析构函数作如下修改:
virtual ~Fruit(){
cout << "this is the dtor of Fruit" << endl;
}
再次执行后,得到如下:
因此,一定要注意:类的析构函数一定记得定义成虚函数!
复合关系下的构造和析构
构造和析构顺序:构造是由内而外,析构由外而内的
委托关系下的构造和析构
构造和析构顺序:构造是由内而外,析构由外而内的,并且,不可以使用类的默认构造与析构函数。因为要在构造和析构函数中,自己写new和delete委托类型对象
继承+复合关系下的构造和析构
虚指针和虚表
关于绑定
静态邦定
静态邦定就是在编译时就已经确定的函数调用,普通的函数调用就是静态邦定。静态邦定在汇编中以“CAL <函数地址>”的形式存在。
动态绑定(多态)
动态绑定在编译时并不能确定具体调用哪个函数。其汇编语句表现形式类似((p->vptr)[n])(p)或(p->vptr[n])(p)
动态绑定的三个条件:
- 通过指针调用
- 指针发生向上转型
- 调用虚函数
关于this指针
虚函数的用法主要有两种:
- 多态
- Template Method(设计模式中的一种)