C++怎么实现多态 C++虚函数表工作机制深度剖析【原理】_网络技术

只有通过基类指针或引用调用虚函数时才能触发运行时多态；直接用对象名调用永远静态绑定，且需同时满足：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。

只有通过基类指针或引用调用虚函数时，才能触发运行时多态；直接用对象名调用（A a; a.func()）永远走静态绑定，哪怕func是虚函数。这是最常被忽略的前提。

必须满足三个条件：函数声明为virtual、通过指针/引用调用、实际指向派生类对象。缺一不可。

每个含虚函数的类在编译期生成一张静态数组，存的是该类所有虚函数的地址。对象内存布局头部（通常前8字节）隐式插入一个指针vptr，指向其所属类的vtable。

单继承下，派生类vtable会复制

基类虚函数地址，再覆盖被重写的项；新增虚函数追加到末尾。多重继承时，对象内存中会出现多个vptr（每个父类子对象一个），访问不同基类虚函数时需调整this指针偏移量。

直接写&A::func得到的是函数指针，但这个指针不包含对象this和虚表查找逻辑，它只是静态绑定的普通函数地址。即使你把它转成void (A::*)()并用对象调用，也绕不过虚表机制——因为这种调用方式根本不会查vptr。

想模拟虚调用必须手动查表：先从对象取vptr，再按偏移读函数地址，最后用reinterpret_cast转函数指针并传this——但这是未定义行为，各编译器vtable布局不保证一致
标准库std::function和lambda捕获this后调虚函数，本质仍是通过指针/引用调用，底层依赖编译器生成的虚调用指令（如call qword ptr [rax]）
模板函数内调t.func()，若t是具体类型则静态绑定；若t是基类引用，则生成虚调用指令——编译器根据上下文决定

主要成本不在查表本身（一次内存加载+跳转），而在于破坏了CPU分支预测和指令流水线。虚调用的目标地址直到运行时才确定，处理器无法提前预取目标函数指令，容易引发流水线冲刷。

现代x86 CPU对虚调用优化有限，但ARM64某些场景可通过间接跳转预测缓解
频繁调用的小虚函数（如get_id()）建议用final标记，让编译器有机会内联；Clang/GCC 12+在LTO模式下可能跨编译单元优化掉部分虚调用
虚函数表本身只读且共享，不会因对象数量增加而膨胀；但每个对象都带vptr，内存占用随对象数线性增长

虚表机制的隐蔽性在于：你看不到它的存在，却处处受它约束。真正难的不是理解vtable结构，而是意识到哪些代码路径会意外绕过它——比如把虚函数地址存进函数指针数组，再统一调用，那就彻底退化成静态分发了。