文章目录

前言
一、多继承的虚函数表
二、菱形继承与菱形虚拟继承的虚函数表
- 1.菱形继承
- 2.菱形虚拟继承的虚函数表
三、抽象类
- 1.抽象类的概念
- 2.接口继承与实现继承
总结

前言

其实关于单继承的虚函数表我们在上一篇文章中已经说过了，就是派生类中的虚表相当于拷贝了一份父类的虚表，然后派生类中将重写的虚函数进行覆盖。如果派生类中也有自己的虚函数，但是并没有与父类构成重写，那么这个虚函数也是在虚表中的，不过不同的是vs2022的监视窗口是不会显示自己的虚函数的。但是我们可以在内存中观测到这个虚函数，并且我们进行验证，使用了一些非正常手段去调用这个函数从而证明这个地址确实是这个虚函数的地址。还有一点需要注意的是虚表是存储在代码段的，即常量区。需要注意我们验证的方法就是打印出每个区域的地址进行对比，从而推测出虚表所在的地方。

一、多继承的虚函数表

我们先看下面这段代码，猜一猜运行结果为多少？

class Base1 {
public:virtual void func1() { cout << "Base1::func1" << endl; }virtual void func2() { cout << "Base1::func2" << endl; }
private:int b1;
};
class Base2 {
public:virtual void func1() { cout << "Base2::func1" << endl; }virtual void func2() { cout << "Base2::func2" << endl; }
private:int b2;
};
class Derive : public Base1, public Base2 {
public:virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func3" << endl; }
private:int d1;
};
int main()
{cout << sizeof(Derive) << endl;return 0;
}

运行结果如下所示：结果是20

那么为什么是20呢？我们画出如下的对象模型

即，Derive这个对象由于继承了Base1和Base2，那么首先他的Base1由于先继承所以在前面，而Base1中有一个虚表指针，还有一个int类型的变量，所以占四个字节，然后内部对齐后，在与Base2和int进行对其，于是最终结果就是20了

这样的样子与我们之前的单继承是十分相似的，派生类是不会单独产生虚表的，派生类都是继承了父类，直接使用派生类中的父类的虚表即可。所以这里有两个虚表

所以我们就更能深刻里面多态的一个条件是父类的指针或者引用了。

如下面所示，是监视窗口中的场景。

可以看到两个基类的func1都被重写了。如下所示

不过这里的问题主要还是在于监视窗口并不可信，因为它这里并没有func3这个虚函数的地址。

根据单继承的思路，我们这里的func3这个虚函数是会存储在某一个虚表中的，那么是存储在Base1还是Base2还是两个都存储呢？

我们可以使用之前的方案，强行找出虚表的地址，进行调用函数来研究

typedef void(*FUNC_PTR)();
void Print_VFT(FUNC_PTR* table)
{for (int i = 0; table[i] != nullptr; i++){printf("[%d]:%p->", i, table[i]);table[i]();}cout << endl;
}
class Base1 {
public:virtual void func1() { cout << "Base1::func1" << endl; }virtual void func2() { cout << "Base1::func2" << endl; }
private:int b1;
};
class Base2 {
public:virtual void func1() { cout << "Base2::func1" << endl; }virtual void func2() { cout << "Base2::func2" << endl; }
private:int b2;
};
class Derive : public Base1, public Base2 {
public:virtual void func1() { cout << "Derive::func1" << endl; }virtual void func3() { cout << "Derive::func3" << endl; }
private:int d1;
};
int main()
{Derive d;int vft1 = *(int*)&d;//int vft2 = *(int*)((char*)&d + sizeof(Base1));Base2* ptr = &d;int vft2 = *(int*)ptr;Print_VFT((FUNC_PTR*)vft1);Print_VFT((FUNC_PTR*)vft2);return 0;
}

关于上面的代码，我们需要注意的是vft2的值的取法，即Base2中的虚表的地址如何取出来。我们可以自己去计算偏移量从而得出结果，当然我们也可以直接运用切片的特性，直接拿到了地址，然后在类型转换即可

运行结果如下：

可以看到func3的地址其实是存储在Base1的虚表中的。

所以**多继承派生类的未重写的虚函数放在第一个继承基类部分的虚函数表中 **

如上是Derive的虚表模型了，但是我们会发现一个很奇怪的问题。那就是明明两个基类的func1都被重写了，但是他们的地址为什么不一样呢？

所以这里出现了一个很奇怪的问题，虽然他们两个函数的地址不一样，但是最终却调用到同一个函数去了。

按照单继承的理论，这个func1只有一个地址才是比较合理的，毕竟这个func1只生成一份才是最好的。

为什么这里重写了func1，但是Base1和Base2的地址不一样呢？

面对这个问题，网上绝大多数是没有答案的。于是我们最好的办法就是看汇编

上面的问题换言之，就是下面这段代码，两个调用结果一样，但是过程出现了不一样的情况

我们直接进入汇编模式

如上是需要注意的事件，call之前都是在想办法取出虚表中的地址，我们可以直接观测eax的值，可以发现确实是Base1虚表中这个fun1函数的地址。

然后我们继续往深走，即进入call的内部，我们就会进入到一个jmp函数

也就是说，我们call的地址只是一个jmp的地址，一般jmp后面的才是真正的地址

如下所示，果然如此，jmp后面才会真正的调用func1函数

即如下所示的调用关系

我们再来观测后半部分代码（注意：这里我的代码前半部分的代码地址改变了，这里其实只是我的一个小失误操作，不过不影响后序现象）

这里与前面的现象是一样的，我们继续深入调查

在这里我们发现了一些需要注意的问题，这里的jmp的地址首先和前面jmp指令的地址是不一样的，其次jmp后面所跳转的地址也是不一样的。

现在我们只能继续深入调查了。

在这里我们发现，它没有直接像前面的一样直接跳转到函数，而是先对ecx减去8了。

要知道，ecx一般存储的是this指针的值。所以这里是对this指针减去8

减去以后ecx的值发生了变化

然后我们继续进入jmp内部

这个时候我们发现，jmp的地址着不就是Base1虚表中的func1的地址吗？

所以现在就来了一个大折返，直接与前面的一样了

也就是说，这里只是多走了几步

总之，无非就是后半部分多走了很多的代码。但是最终的结果是一样的。

那么编译器究竟为什么要这么做呢？我们知道中间多出来几步中，有一步是让this指针减去8。那么为什么要减去8呢？

我们也许会注意到我们的d的对象模型，ptr2和ptr1正好相差8

我们先想清楚func1是谁的成员函数，其实是Derive的成员函数。而我们想要调用Derive的成员函数，那么这个this指针应该指向的是d对象，ptr1和ptr2就是充当着this指针，而我们现在呢？ptr1指向的恰好就是起始地址，刚好巧了，所以它就不需要动。ptr2指向的是Base2的那一部分。它的功能就是找到对应的虚表，找到对应的函数地址以后，我们也不能直接对其进行call调用，因为实际调用成员函数的时候必须要传ecx的，那么我们就需要将他调整到d的起始位置。

而且我们也注意到了，这里的黄色部分刚好就是把ptr2的值交给了ecx，这里就说明了ecx存储的是this指针

相应的，ptr1的调用和ptr2是类似的，先要去把this指针给处理好

ptr1的好处在于它的this指针本身就是d的起始位置，本身就是正确的，所以这个this指针不需要进行调整，所以直接call函数即可

而ptr2可惜它指向的并非起始位置，所以得先绕个弯子，先把ecx给修正为正确的this指针，才能去调用函数。

这样的话，我们就已经彻底的辨析了下面的代码了，三个的本质调用的是一个函数，不过前两个是多态调用，后面是普通调用。ptr2的调用由于this指针的问题，所以需要进行修正。

int main()
{Derive d;Base1* ptr1 = &d;ptr1->func1();Base2* ptr2 = &d;ptr2->func1();Derive* ptr3 = &d;ptr3->func1();return 0;
}

也就是说，他们的调用可以分为两部分：一部分是传this指针，第二部分就是call地址。

当然我们这里的都是vs2022的行为，不同的编译器可能有不同的效果

那么比如说有没有可能我们可以让多继承中的两个地址是一样的呢？其实是可以的，我们只要调用之前去修正this指针就可以了。因为vs采用的是调用的过程中修正，所以他们的地址只能不一样了。

二、菱形继承与菱形虚拟继承的虚函数表

1.菱形继承

我们先简单的写一个菱形继承，如下所示，下面也刚好包括了虚函数的样例

class A
{
public:virtual void func1(){cout << "A::func1()" << endl;}int _a;
};
class B : public A
{
public:int _b;
};
class C : public A
{
public:int _c;
};
class D : public B, public C
{
public :int _d;
};
int main()
{D d;d.B::_a = 1;d.C::_a = 2;d._b = 3;d._c = 4;d._d = 5;return 0;
}

其实但对于菱形继承还是比较简单的。因为菱形继承我们大可以抽象为，两个类分别虚继承，然后一个类多继承即可

我们根据菱形继承的知识，不难画出如下对象模型

调试窗口的运行结果如下

所以菱形继承其实和多继承是一样的

即便是每个类里面都有一个虚函数也是一样的，因为继承以后，B使用A里面的虚表，C使用A里面的虚表，D使用B和C的虚表。对象模型里面存储的是虚表指针，所以对象模型并未发生改变，改变的只是虚表指针指向的内容，就是虚表。根据单继承和多继承的规则，B里面的虚函数并未构成重写，则直接衔接在A的虚函数表后面。C同理，D中的虚函数则放在B的虚表中，即B中的A虚表

我们可以验证一下

typedef void(*FUNC_PTR)();
void Print_VFT(FUNC_PTR* table)
{for (int i = 0; table[i] != nullptr; i++){printf("[%d]:%p->", i, table[i]);table[i]();}cout << endl;
}
class A
{
public:virtual void func1(){cout << "A::func1()" << endl;}int _a;
};
class B : public A
{
public:virtual void func2(){cout << "B::func2()" << endl;}int _b;
};
class C : public A
{
public:virtual void func3(){cout << "C::func3()" << endl;}int _c;
};
class D : public B, public C
{
public:virtual void func4(){cout << "D::func4()" << endl;}int _d;
};
int main()
{D d;d.B::_a = 1;d.C::_a = 2;d._b = 3;d._c = 4;d._d = 5;int vft1 = *(int*)&d;C* ptr = &d;int vft2 = *(int*)ptr;Print_VFT((FUNC_PTR*)vft1);Print_VFT((FUNC_PTR*)vft2);return 0;
}

可见，确实如此。

但是以上是没有发生重写/覆盖的情况下的。我们可以试一下发生了重写覆盖的情况

如下图所示，是B重写/覆盖了A的情况下，也是很好理解的，其实就是相当于B的虚函数地址覆盖了A的虚函数地址。D并不会在意B里面A的细节，它只关心虚表中的函数是否产生了重写/覆盖。如果是的话则，覆盖即可。没有就往后续

我们继续观察，当A与D产生了重写，但A没有与B产生重写的条件下，可见与我们前面所说的是一致的

当A、B、D都产生了重写的情况如下

当A、B、D和A、C产生了重写如下所示

2.菱形虚拟继承的虚函数表

我们使用与前文类似的代码，不过我们这次使用菱形虚拟继承

class A
{
public:virtual void func1(){cout << "A::func1()" << endl;}int _a;
};
class B : virtual public A
{
public:int _b;
};
class C : virtual public A
{
public:int _c;
};
class D : public B, public C
{
public:int _d;
};
int main()
{D d;d.B::_a = 1;d.C::_a = 2;d._b = 3;d._c = 4;d._d = 5;return 0;
}

我们根据菱形虚拟继承的对象模型，不难得出以下的内存图

我们可以使用内存图来进一步观察

这里就是因为菱形虚拟继承会将B和C中的A都放到了公共部分

此时的按照菱形虚拟继承的内存分配来看是没有什么大问题的，但是当我们B和C同时对A的虚函数进行了重写的时候，由于是菱形虚拟继承。所以都会让A给放到公共部分，实际上是B和C共享的A。两个都一起重写，导致编译器不知道什么该听哪一个的，所以就报错了

主要还是因为B和C都想要去重写这个A，才导致的问题。而如果只是一个菱形继承的话，就不会出现这个问题，因为各自重写各自的即可。

对于上面的情况，我们有两种方案去处理，第一种是只保留一种重写即可

如下所示就是，我们只保留了C的重写，不会发生冲突，所以就不会报错了

第二种方案就是让D在来一个重写，这样的话，反正无论B和C是否重写，都要听D的重写函数了。

上面的这些原因其实都是因为只有A有一张虚表才导致的。最终上图中的虚表里面最后就只有D的虚函数了。

当然我们或许会以为B和C的重写就没有意义了。其实不是的，当我们想要一个B或者C类对象的时候，他们的重写就有意义了。

上面其实还是菱形虚拟继承中比较简单的情况，事实上菱形虚拟继承是更加复杂的，当我们在B和C里面又添加了一些虚函数，这些虚函数指针又该放哪里呢？都放A里面的虚表吗？

其实不是的，这里B和C又会各自生成一张虚表，它们自己的虚函数存储在他们自己的虚表里面。因为按照一开始的A的虚表是B和C共享的，如果两个都往A的虚表里面塞，其实不太合适的。

class A
{
public:virtual void func1(){cout << "A::func1()" << endl;}int _a;
};
class B : virtual public A
{
public:virtual void func1(){cout << "B::func1()" << endl;}virtual void func2(){cout << "B::func2()" << endl;}int _b;
};
class C : virtual public A
{
public:virtual void func1(){cout << "C::func1()" << endl;}virtual void func2(){cout << "C::func2()" << endl;}int _c;
};
class D : public B, public C
{
public:virtual void func1(){cout << "D::func1()" << endl;}int _d;
};
int main()
{D d;d.B::_a = 1;d.C::_a = 2;d._b = 3;d._c = 4;d._d = 5;return 0;
}

如上图所示，是内存窗口的模样，那么我们可以看到B和C里面有两个指针，一个是虚基表指针，一个是虚表指针。那么究竟哪个是虚表指针，哪个是虚基表指针呢？我们可以测试一下

其实单纯，看里面的数据，我们大概可以猜测到，第一个是虚表指针，第二个是虚基表指针

对于虚基表里面的内容，它里面存储的是偏移量，第一个是-4，第二个是18，可见，第一个指针是为了找到该部分的起始位置，第二个指针是为了找到A的部分

那么如果我们给D有自己单独的虚函数呢？D会额外创建虚表吗？其实不会的，因为D完全可以已经存在的虚表就够了。我们可能会以为放入共享的A的虚表，不过如果按照多继承的角度去理解，也有可能会放入B的虚表。

三、抽象类

1.抽象类的概念

在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。

至于为什么起这个抽象的名字，我们可以理解为，这个类在现实世界中没有实体。所以不能实例化出对象。而且由于派生类继承了抽象类，它里面也包含了纯虚函数，那么它自然也不能实例化出对象了。派生类如果真的想要实例化出对象，我们可以使用重写的方式，这样的话，它里面的这个纯虚函数就被覆盖，就没有纯虚函数了，自然就可以实例化出对象了

class Car
{
public:virtual void Drive() = 0;
};
class Benz :public Car
{
public:virtual void Drive(){cout << "Benz-舒适" << endl;}
};
class BMW :public Car
{
public:virtual void Drive(){cout << "BMW-操控" << endl;}
};
void Test()
{Car* pBenz = new Benz;pBenz->Drive();Car* pBMW = new BMW;pBMW->Drive();
}
int main()
{Test();return 0;
}