如何解析虚函数表在C语言中实现的多态机制？

本文共计1126个文字，预计阅读时间需要5分钟。

参考：http://c.biancheng.net/view/267.

我们知道，多态是指父类的指针可以指向子类的对象。那么，它的实现原理是什么呢？答案是虚函数表。

在C++中，当类中至少有一个成员函数被声明为虚函数时，编译器会为这个类生成一个虚函数表（vtable）。每个子类对象都会包含一个指向其虚函数表的指针。当通过基类指针调用虚函数时，系统会根据指针指向的对象类型，从虚函数表中查找相应的函数实现来调用。

具体来说，在关于virtual的一文中，我们详细了解了这一点。

参考：c.biancheng.net/view/267.html

1、说明

我们都知道多态指的是父类的指针在运行中指向子类，那么它的实现原理是什么呢？答案是虚函数表

在 关于virtual 一文中，我们详细了解了C++多态的使用方式，我们知道没有 virtual 关键子就没法使用多态

2、虚函数表

我们看一下下面的代码

class A { public: int i; virtual void func() { cout << "A func" << endl; } virtual void func2() { cout << "A func2" << endl; } void func3() { cout << "A func3" << endl; } }; class B : public A { int j; void func() { cout << "B func" << endl; } void func3() { cout << "B func3" << endl; } }; int main() { cout << sizeof(A) << ", " << sizeof(B); //输出 8,12 return 0; }

在32位编译模式下，程序的运行结果是：8,12

但是如果把代码中的 virtual 删掉，则程序的运行结果为：4,8

可以发现，有了虚函数之后，类所占的存储空间比没有虚函数多了4个字节，这个4个字节就是实现多态的关键 -- 位于对象存储空间的最前端的指针，存放的是 虚函数表的地址，这个是由编译器实现的

每个带有虚函数的类（包括其子类）都有虚函数表

虚函数表中存放着虚函数的地址，注意是虚函数的地址，非虚函数不在此列

虚函数表是编译器实现的，程序运行时被载入内存，一个类的虚函数表中列出了该类的全部虚函数地址。

例如，上面代码中，类A的对象的存储空间以及虚函数表如图所示：

类B的对象的存储空间以及虚函数表，如下图所示：

多态的函数调用语句被编译成根据基类指针所指向的对象中存放的虚函数表的地址，在虚函数表中查找虚函数地址，并调用虚函数的一系列指令

3、代码示例

在上面代码的基础上

A* p = new B(); p->func(); //B func p->func3(); //A func3 p->func2(); //A func

第二行代码执行如下：

• 取出 p 指针所指向的位置的前4个字节，即对象所属的类（类B）的虚函数表的地址（64位编译模式下是8个字节）；
• 根据虚函数表的地址找到虚函数表，并在虚函数表中查找要调用的虚函数地址；
• 调用虚函数；

到此，我们应该不难理解，上面第二行和第三行代码执行的分别是类A和类B的方法

执行 p->func(); 找的是类B虚函数表中 func() 地址，因为类B重写了，所以保存的是类B的func()地址

而执行 p->func3(); 的时候，发现 func3() 不是虚函数，所以并没有找虚函数列表，而是直接调用的p（类A类型）的方法

同样的，执行 p->func2(); 的时候，找的也是类B的虚函数表，因为类B没有重写 func2，所以存的是类A的虚函数 func2() 的地址，所以执行了类A的 func2() 方法

到此这篇关于虚函数表-C++多态的实现原理的文章就介绍到这了,更多相关C++虚函数表实现多态原理内容请搜索自由互联以前的文章或继续浏览下面的相关文章希望大家以后多多支持自由互联！