C++中虚函数表和虚函数执行原理是怎样的？

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

为了实现虚拟函数，使用了虚拟函数表来达到延迟绑定的目的。虚拟函数表在动态/延迟绑定行为中作为中介，用于查询和调用所需的功能。尽管描述虚拟函数表的机制可能会涉及一些细节，但其本质还是延迟绑定。

为了实现虚函数，C++ 使用了虚函数表来达到延迟绑定的目的。虚函数表在动态/延迟绑定行为中用于查询调用的函数。

尽管要描述清楚虚函数表的机制会多费点口舌，但其实其本身还是比较简单的。

首先，每个包含虚函数的类（或者继承自的类包含了虚函数）都有一个自己的虚函数表。这个表是一个在编译时确定的静态数组。虚函数表包含了指向每个虚函数的函数指针以供类对象调用。

其次，编译器还在基类中定义了一个隐藏指针，我们称为 *__vptr，*__vptr 是在类实例创建时自动设置的，以指向类的虚函数表。*__vptr 是一个真正的指针，这和 *this 指针不同，*this 指针实际是一个函数参数，使编译器来达到自引用的目的。

结果就是，每个类对象都会多分配一个指针的大小，并且 *__vptr 是被派生类继承的。

如果你不清楚这些组件是怎么配合运作的，看下面的例子：

class Base { public: virtual void function1() {}; virtual void function2() {}; }; class D1: public Base { public: virtual void function1() {}; }; class D2: public Base { public: virtual void function2() {}; };

因为这里有 3 个类，编译器会创建 3 个虚函数表。

然后编译器会在使用了虚函数的最上层基类中定义一个隐藏指针。