VTBL 是否包含指向非虚函数的指针?
Does a VTBL contains pointers to non-virtual functions?
我很难理解为什么下面的代码打印 C::f2 而不是 B::f2。
查尔斯·贝利的回答:
当调用非虚函数时,实现必须使用 要在其上调用函数的对象的静态类型 确定要调用的正确函数。存储在 vtable 中的函数 由 VPTR 访问将取决于 对象,而不是引用的任何静态类型或指针,它通过它 正在访问。
我有点迷茫,在 A::f1 中有一个对 f2 的调用。编译器如何知道要调用哪个方法?
我的断言:
- 编译器以某种方式提醒我们在类型 C 的对象中。
- 编译器检查 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
是虚拟的。在覆盖虚拟说明符时,您可能省略了它,但没有"取消虚拟化"它。
相关文章:
- QMetaObject invokeMethod的基于函数指针的语法
- C++-试图将函数指针推回到另一个CPP文件中的矢量时出错
- c++r值引用应用于函数指针
- 模板函数指针和lambda
- 是否可以将llvm::FunctionType转换为C/C++原始函数指针
- 带有类的函数指针
- () 函子后面的括号,而不是函数指针?
- 全局作用域中函数指针的赋值
- 使用"Task"函数指针队列定义作业管理器
- 将成员函数指针作为参数传递给模板方法
- 如何创建对象函数指针C++映射?
- 匹配函数指针作为模板参数?
- 通过函数指针定义类范围之外的方法
- 存储在类中的函数指针
- C++从函数指针数组调用函数
- 将返回值存储在函数指针数组的指针中是如何工作的?
- 整数键映射到头文件中的成员函数指针
- 从类成员函数到类 C 函数指针的转换
- 如何将内联匿名函数分配给C++函数指针
- 将字符缓冲区强制转换为函数指针