C++ 中的虚拟表和虚拟指针的数量程序

Question

假设我们有以下程序：

class A
{     public:
      virtual fun(){};
};
class B:public A
{     public:
     virtual fun(){};
};
int main()
{
     A a1;
     B b1;
 }

我的问题是，当我们运行该程序时，将创建多少个 vtables 和多少个 vptrs ？

Answer 1

它严重依赖于实现，但通常每个具有任何虚函数的类都会获得一个 vtable 对象（没有虚函数或基类的类不需要它们），并且具有 vtable 的类的每个对象都会获得一个 vptr （指向类的 vtable）。

如果您有多个继承和虚拟基类，事情会变得更加复杂——可以通过多种方式实现。一些实现为每个附加基类使用一个附加虚函数表（因此最终每个类的每个基类都有一个虚函数表），而其他实现则使用一个包含额外信息的虚函数表。这可能会导致每个对象需要多个 vptr。

B 中的virtual 关键字是无关紧要的——如果该函数在基类中是虚拟的，则无论如何它在派生类中也将是虚拟的。

Answer 2

该程序可以优化为与此程序完全相同：

int main(){}

因此，“无”是一种可能性。

Answer 3

基本上，2. 1 个用于 class A，1 个用于 class B (vftables) 和 2 个 vfptrs，1 个用于 a1，1 个用于 b1。

但是，这不是标准强制要求，因此您也可以不这样做。 （通常实现使用 vftables，但它不是强制的。

注意 @R.Martinho Fernandes，启用优化后，您将不会创建任何对象，因此没有 vfptrs。

Answer 4

请注意，这严格依赖于实现。
C++ 标准没有提及 vptr 或 vtable，虚拟机制作为编译器的实现细节被忽略。因此，实际上，编译器可以在不使用 vptr 或 vtable 的情况下实现它。但是，几乎所有已知的编译器都使用 vptr 和 vtable< 来实现它。 /代码>。

鉴于上述情况，回答您的问题：

每个类都有自己的虚拟表。
而每个对象都有自己的虚拟指针。

Answer 5

仅当基类中至少有 1 个虚拟函数时才会创建虚拟表，该虚拟函数将以任何方式继承到派生类。即使您从派生类 B 中删除 virtual 关键字也没关系，因为您已经在 A 中拥有了 virtual fun() 。
因此，虚拟表的数量将为 2（作为其每个类的基础），虚拟指针的数量也将为 2，作为其每个对象的基础。 A---v_ptr* 、 A::fun()

和 A::fun() 的 VTABLE B 的 VTABLE--- V_ptr*（继承自 A），B::fun()/* B 可以访问 A::fun 和 A::fun()/* B 可以访问 A::fun 和 A::fun()。 B 的 fun()，但由于我们提到 A::fun() 作为虚拟 B 的虚拟表充满了该函数的最派生版本 fun()，它只不过是 B::fun()。希望这能消除您的疑虑，

Answer 6

将有 2 个vtable，一个用于A 类，一个用于B 类。并且会有3个vptr，一个在a1中，两个在b1中（一个指向A类的vtable，另一个指向B 类的 vtable）。