虚函数调用执行“继承链中最近的非纯虚定义”,而非跳过中间类回退:C对象调用func()时,若B重写了则执行B::func(),即使C未重写;必须用A::func()才能强制调用A的实现。

派生类没重写虚函数时,调用行为完全由继承链中“最近的重写版本”决定——如果基类 A 有虚函数 func(),中间类 B 没重写它,而最派生类 C 也没重写,那么通过 C 对象调用 func() 时,执行的是 A 的实现;但如果 B 重写了,C 没重写,那实际执行的就是 B 的版本。
为什么不是“跳过 B 直接找 A”
虚函数调用走的是动态绑定:运行时查对象的 vtable,vtable 里填的是该类型(即最派生类)所决定的最终函数地址。编译器在生成 C 类型对象的 vtable 时,会沿继承链向上查找第一个提供该虚函数定义的类——不是“未被重写的就回退”,而是“从 C 开始找,找到第一个非纯虚且已定义的实现”。
- 若 C 没定义
func(),就看 B;B 没定义,才落回 A - 若 B 定义了(哪怕只是空实现),C 的 vtable 就填 B::func() 地址,不会绕过去
- 这个查找过程在编译期完成,不运行时递归
常见误判场景:以为“没写就是没重写”,其实已被中间类拦截
典型结构是 A → B → C,其中 B 是一个通用中间层(比如 Drawable),它重写了 A::render() 做统一前置处理。此时即使 C 完全没碰 render(),c.render() 仍会进入 B 的版本——这不是 bug,是设计使然。
- 调试时容易在 C 里加断点却没命中,误以为“没调用”,其实是断点设错了位置
- 想验证 A 的原始逻辑?必须显式写
A::render(),不能依赖“C 没重写就自动回退” - 用
dynamic_cast或typeid查当前对象真实类型,确认是不是真的到了 C 实例,避免指针实际指向的是 B 对象
派生类显式调用基类虚函数的唯一可靠方式
想绕过中间层、直抵 A 的实现,只能靠作用域解析符:A::func()。这会跳过虚表,强制静态绑定到 A 的函数体。
立即学习“C++免费学习笔记(深入)”;
-
this->func()不行——仍是虚调,最终还是走到 vtable 里的那个地址(大概率是 B 的) -
static_cast<A*>(this)->func()也不行——指针类型变了,但 this 指向的对象 vtable 没变,仍调 B 版本 - 若 A 中
func()是private,A::func()在 C 内部直接报错;protected才可用 - 多重继承下,必须写全路径,如
Base1::func(),不能只写Base::func()(除非 Base 是唯一可访问的基类)
最容易被忽略的一点:虚函数是否被“真正继承下来”,不取决于你有没有在派生类里写代码,而取决于整个继承链上谁提供了第一个非纯虚定义。中间类哪怕只加了一行空实现,就足以截断向更上层的查找。


















