知识点:
(1)一个类只有包含虚函数才会存在虚函数表,同属于一个类的对象共享虚函数表,但是有各自的vptr(虚函数表指针),当然所指向的地址(虚函数表首地址)相同。
(2)父类中有虚函数就等于子类中有虚函数。话句话来说,父类中有虚函数表,则子类中肯定有虚函数表。因为你是继承父类的。
也有人认为,如果子类中把父类的虚函数的virtual去掉,是不是这些函数就不再是虚函数了?
只要在父类中是虚函数,那么子类中即便不写virtual,也依旧是虚函数。
但不管是父类还是子类,都只会有一个虚函数表,不能认为子类中有一个虚函数表+父类中有一个虚函数表,得到一个结论:子类中有两个虚函数表。
子类中是否可能会有多个虚函数表呢?后续我们讲解这个事;
(3)如果子类中完全没有新的虚函数,则我们可以认为子类的虚函数表和父类的虚函数表内容相同。
但,仅仅是内容相同,这两个虚函数表在内存中处于不同位置,换句话来说,这是内容相同的两张表。
虚函数表中每一项,保存着一个虚函数的首地址,但如果子类的虚函数表某项和父类的虚函数表某项代表同一个函数(这表示子类没有覆盖父类的虚函数),
则该表项所执行的该函数的地址应该相同。
(4)超出虚函数表部分内容不可知;
总结: 虚函数表是跟着类走的,虚函数表指针是跟着具体对象走的
测试代码如下:
// 该实例演示一个类的对象 共用一个虚函数表,每个对象生成时,对象内存只是加了一个虚函数指针,该指针指向这个共享的虚函数表,虚函数表在内存中
#include <iostream>
using namespace std;
//父类
class Base
{
public:
virtual void f() { cout << "Base::f()" << endl; }
virtual void g() { cout << "Base::g()" << endl; }
virtual void h() { cout << "Base::h()" << endl; }
};
class Derive :public Base
{
virtual void g() { cout << "Derive::g()" << endl; }
/* void f() { cout << "Derive::f()" << endl; }
void g() { cout << "Derive::g()" << endl; }
void h() { cout << "Derive::h()" << endl; }*/
};
int main()
{
typedef void(*Func)(void); //定义一个函数指针类型
Derive derive;
long *pvptrderive = (long *)(&derive);
long *vptrderive = (long *)(*pvptrderive); //0x00b09b6c {project100.exe!void(* Derive::`vftable'[4])()} {11538847}
Func f1 = (Func)vptrderive[0]; //0x00b0119f {project100.exe!Base::f(void)}
Func f2 = (Func)vptrderive[1]; //0x00b0150f {project100.exe!Derive::g(void)}
Func f3 = (Func)vptrderive[2]; //0x00b01325 {project100.exe!Base::h(void)}
Func f4 = (Func)vptrderive[3]; //0x69726544
Func f5 = (Func)vptrderive[4]; //0x3a3a6576
Derive derive2 = derive; //调用拷贝构造函数
long *pvptrderive2 = (long *)(&derive2);
long *vptrderive2 = (long *)(*pvptrderive2);
Base base = derive; //直接用子类对象给父类对象赋值,子类中的属于父类那部分内容会被编译器自动区分(切割)出来并拷贝给了父类对象。
//所以Base base = derive;实际干了两个事情:
//第一个事情:生成一个base对象
//第二个事情:用derive来初始化base对象的值。
//这里编译器给咱们做了一个选择,显然derive初始化base对象的时候,
//derive的虚函数表指针值并没有覆盖base对象的虚函数表指针值,编译器帮我们做到了这点;
long *pvptrbase = (long *)(&base);
long *vptrbase = (long *)(*pvptrbase); //0x00b09b34 {project100.exe!void(* Base::`vftable'[4])()} {11538847}
Func fb1 = (Func)vptrbase[0]; //0x00b0119f {project100.exe!Base::f(void)}
Func fb2 = (Func)vptrbase[1]; //0x00b01177 {project100.exe!Base::g(void)}
Func fb3 = (Func)vptrbase[2]; //0x00b01325 {project100.exe!Base::h(void)}
Func fb4 = (Func)vptrbase[3]; //0x00000000
Func fb5 = (Func)vptrbase[4]; //0x65736142
//OO(面向对象) 和OB(基于对象)概念:
//c++通过类的指针和引用来支持多态,这是一种程序设计风格,这就是我们常说的面向对象。object-oriented model;
//OB(object-based),也叫ADT抽象数据模型【abstract datatype model】,不支持多态,执行速度更快,因为
//因为 函数调用的解析不需要运行时决定(没有多态),而是在编译期间就解析完成,内存空间紧凑程度上更紧凑,因为没有虚函数指针和虚函数表这些概念了;
//Base *pbase = new Derive();
//Base &base2 = derive2;
//但显然,OB的设计灵活性就差;
//c++既支持面向对象程序设计(继承,多态)(OO),也支持基于对象(OB)程序设计。
return 1;
}