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我前面写过，下来是虚继承的部分