VTBL 是否包含指向非虚函数的指针?

Does a VTBL contains pointers to non-virtual functions?

本文关键字:函数 指针 是否 包含指 VTBL      更新时间:2023-10-16

我很难理解为什么下面的代码打印 C::f2 而不是 B::f2。

查尔斯·贝利的回答:

当调用非虚函数时,实现必须使用 要在其上调用函数的对象的静态类型 确定要调用的正确函数。存储在 vtable 中的函数 由 VPTR 访问将取决于 对象,而不是引用的任何静态类型或指针,它通过它 正在访问。

我有点迷茫,在 A::f1 中有一个对 f2 的调用。编译器如何知道要调用哪个方法?

我的断言:

  1. 编译器以某种方式提醒我们在类型 C 的对象中。
  2. 编译器检查 C 是否包含非虚拟方法名称 f2。 a. 如果是,请运行它。 b. 使用对象的指针访问其 VTBL 并运行正确的 F2。

我说的对吗?

struct A
{
void f1()
{
f2();
}
virtual void f2()
{
cout<<"A::f2"<<endl;
}
};
struct B:public A
{
virtual void f2()
{
cout<<"B::f2"<<endl;
}
};
struct C:public B
{
void f2()
{
cout<<"C::f2"<<endl;
}
};
int main()
{
C c1;
c1.f1();
return 0;
}

每个成员函数都有一个隐式this参数。f1内部this的静态类型始终A * const。对于任何成员函数都是如此。隐式对象参数的静态类型是定义函数的封闭类。

f1内部的调用解析为this->f2()。由于这是通过指针进行的调用,因此函数f2是动态调度的。尽管f1不是虚拟的,并且将始终由静态调度调用。

无论编译器使用什么机制(VTable 是一个实现细节,不是由C++标准本身强制要求的(,我们都会调用C::f2.

所以你的假设需要一些修改,我会说。


按照您在评论中指定的方式回答您的问题。C::f2是虚拟的。在覆盖虚拟说明符时,您可能省略了它,但没有"取消虚拟化"它。