虚函数表:
虚函数表通过vtbl实现,表中包含指向函数的指针,至少包含一个虚函数的对象都包含一个指向函数指针表的指针,调用虚函数时会在vtbl上进行索引,然后通过索引到的函数指针来调用函数。
- 检索虚函数表(vtbl)指针。
- 通过在vtbl中索引,获得函数地址。
- 跳转至函数地址指向的函数。
父类对象中的内存分布:
获取父类对象地址时,首先是虚函数表指针来获取虚函数表,然后虚函数表中存放的是父类中的需虚函数地址。然后存放数据成员。
子类对象中的内存分布:
获取子类对象地址时,首先是虚函数表指针,表中首先是父类的虚函数,子类的虚函数在虚表的后面。如果子类中有重写父类的虚函数,那么虚表中会替换父类对应的虚函数。
类的默认函数:
一般情况下,对于一个类A,如果不显示的声明和定义函数,C++会自动地为A产生四个public inline的默认函数,这四个函数常见形式是:
- 默认构造函数 A(){};
- 默认拷贝构造函数 A(const A&){};
- 默认析构函数 ~A(){};
- 默认复制构造函数 A& operator=(const A&){};
析构函数与构造函数:
析构函数
析构函数设置为虚函数,当基类指针指向派生类对象时,若析构函数不是虚函数,派生类的析构函数不会被调用,会出现内存泄露。(前提条件:子类中有自己的非静态成员变量)
构造函数
- 构造函数不能为虚函数,创建时必须知道准确类型。
- 最好提供显示默认构造函数,使数据成员初始化为合理值(或者定义变量的时候直接进行初始化)。
- 构造函数在完成其工作前,对象并不存在。
- 构造函数声明为private可防止编译器生成拷贝构造函数。
析构函数与构造函数:
抽象类不能生成对象,只能作为基类,但是基类中的纯虚函数可以有定义,当函数中的没有实现方法或者需要子类来定义实现时,可在父类中定义纯虚函数。