虚函数内部调用另一个虚函数走动态绑定，即运行时根据this指向的实际对象类型决定调用版本；但构造/析构函数中调用时，因虚表未完全初始化或已部分销毁，会限定为当前类版本，不触发更派生类的重写。
虚函数内部调用另一个虚函数，走的是动态绑定还是静态绑定？
走的是动态绑定 —— 也就是运行时根据 this 指向的实际对象类型决定调用哪个版本。C++ 标准明确要求：只要是非静态、非内联、通过指针或引用（包括 this）调用的虚函数，就触发虚调用机制。
这意味着，哪怕你在基类 A::foo() 的实现里写 this->bar()，而 bar() 是虚函数，最终调用的仍是派生类重写的 bar()（如果存在且可访问）。
为什么有时看起来没走派生类的重写？常见陷阱有哪些？
最常踩的坑不是绑定机制失效，而是调用时机或对象状态不对。以下情况会导致“看似没调到派生类”：
- 构造函数/析构函数中调用虚函数：此时虚表尚未完全初始化（构造中）或已被部分销毁（析构中），
this的动态类型被限定为当前正在构造/析构的类，bar()会绑定到该类或其基类的版本，**不会跨到更派生的类** - 调用发生在对象未完全构造完成前（比如基类构造函数里传
this给外部函数，外部再调bar()） -
bar()在派生类中是private或protected，且调用点无访问权限（编译报错，不是运行时跳过） - 显式限定调用，比如写成
A::bar()，这就强制静态绑定，绕过了虚机制
如何验证当前调用的到底是哪个 bar()？
最直接的办法是在各版本的 bar() 里加日志或断点，观察实际执行流。也可以在关键位置打印 typeid(*this).name() 确认 this 当前的动态类型：
立即学习“C++免费学习笔记（深入）”；
void A::foo() {
std::cout << "In A::foo, this is: " << typeid(*this).name() << "\n";
bar(); // 这里会调用 B::bar() 如果 this 实际指向 B 对象
}
注意：typeid 在多态类型上才返回运行时类型；若对象是栈上局部变量且类型已知，可能返回编译期类型（取决于编译器和优化设置），所以优先依赖调试器单步或日志。
多重继承或虚继承下，虚函数调用目标还可靠吗？
可靠。虚函数调用的目标由虚表指针（vptr）和虚表（vtable）共同决定，而虚表在对象构造完成后就已固定。即使有多个基类子对象，每个子对象区域内的 vptr 都指向对应类的虚表，this 的值决定了使用哪个 vptr 查表 —— 所以只要 this 是有效的、指向完整构造对象的指针/引用，虚调用就准确。
真正容易出问题的是：你误用了某个中间基类的指针（比如把派生类对象转成某个非最派生基类的指针后传入），导致 this 类型变窄，虚表查表范围受限。这时候不是机制失效，而是你传入的 this 已经不是原始对象的全视图了。
