Virtual Member Functions(虚拟成员函数)

实现模型：每一个class 只会有一个virtual table，内含该class之中有作用的virtual function的地址，每一个object有一个vptr(多继承可能有多个)，指向virtual table的所在。
虚函数的地址以及存放虚函数地址的虚表在编译时期就确定下来了，不需要执行期的介入。执行期要做的是，激活虚函数

1.单一继承

单一继承的原理：

①继承基类的虚函数实体：基类所有虚函数实体的地址会被拷贝到derived class的virtual table相对应的slot之中。
②重写基类的虚函数实体：将自己的函数实体地址放到虚表对应的slot中。
③新加入的virtual function：virtual table的尺寸增大一个slot，新的函数实体地址放进该slot之中。·

2.多继承下的virtual Functions

有多少个基类，派生类就会有多少个虚表以及指向虚表的虚指针

class Base1
{public:Base1();virtual ~Base1();virtual void speakClear();virtual Base1* clone()const;protected:int Data1;
};class Base2
{public:Base2();virtual ~Base2();virtual void Mumble();virtual Base2* clone()const;protected:int Data2;
};class Derived : public Base1, public Base2
{public:Derived();virtual ~Derived();virtual Derived* clone()const;protected:int Data3;
};

①我们来看一下Derived对象模型

我们来看一下
clone这个在虚函数在派生类中被重写了，但是这个函数只会覆盖第一个继承的基类，在覆盖第二个基类的时候报错了，无法进行转换
error C2440: “return”: 无法从“Derived *”转换为“Base2 *”。
派生类的析构函数覆盖了其基类的析构函数
哪怕我们在派生类中添加新的虚函数，也只会出现在第一个虚函数指针指向的那个虚函数表中
还需注意的一点 第二个派生类的this &thunk: this-=8; goto Derived::{dtor}
当我们用一个Base2的指针去指向一个派生类，然后去delete它，this指针就需要做这个调整
②书中的图片和VS中略有不同

以下三种情况需要调整指针：

派生类指针指向派生类对象，使用虚表1，访问虚表2的函数时。
base2基类的指针指向派生类对象，调用析构函数。
派生类对象虚函数执行的返回值是派生类指针，赋给base2基类指针

3.虚拟继承下的virtual Functions

class Point2d
{public:Point2d(int x = 10, int y = 20) : _x(x), _y(y) {}virtual ~Point2d();virtual void Mumble();virtual int Z();protected:int _x, _y;
};class Point3d : public virtual Point2d
{public:Point3d(int x = 10, int y = 20, int z = 30) :Point2d(x, y), _z(z) {}~Point3d();int Z();protected:int _z;
};

①对象模型

我们可以看到虚基类指针和成员变量Z放在对象模型的开头，他们两个是不变的部分，然后是4个字节的vtordisp我前面写过，下来是虚继承的部分