多态是面向对象编程的核心，而C++通过虚函数实现了运行时多态。但大多数C++开发者并不清楚虚函数背后的实现机制——虚表（vtable）和运行时类型识别（RTTI）。这些底层细节不仅影响性能，也决定了某些语言特性的可行性。
参考：https://aescc.cn/category/kitchen.html
虚表是每个包含虚函数的类在编译期生成的静态表格，其中存放了该类所有虚函数的地址。每个该类实例的对象中，会隐式包含一个指向该虚表的指针（vptr）。当调用一个虚函数时，编译器通过vptr找到虚表，再从虚表中取出函数地址进行调用。这种间接调用的开销包括：一次额外的内存访问（读取vptr），一次指针解引用（获取函数地址），以及无法内联的限制。
虚表的结构因继承关系的不同而变化。在单继承下，派生类的虚表是基类虚表的扩展：首先复制基类的虚函数地址，然后覆盖派生类重写的函数，最后追加派生类新增的虚函数。这种布局使得基类指针可以无缝地调用派生类的虚函数——无论派生类如何扩展，基类指针总能通过vptr找到正确的虚表，并从中取出正确的函数地址。
多继承下的虚表要复杂得多。一个派生类从多个基类继承时，每个基类对应一个独立的虚表指针和虚表。派生类对象中会包含多个vptr，分别指向不同的虚表。当派生类重写了某个基类的虚函数时，相应的虚表中的函数地址会被更新。更棘手的是，当通过非第一个基类的指针调用派生类的虚函数时，需要进行指针调整（this指针偏移），因为派生类对象的内存布局中，不同基类子对象位于不同的偏移位置。
菱形继承（多个基类共同继承自同一个祖先）引入了虚继承的概念。虚继承的目的是解决“钻石问题”——即重复继承同一个基类导致的二义性和冗余。在虚继承下，虚基类子对象的位置不是固定的，而是通过间接指针来访问。这导致虚表进一步复杂化：虚表中除了虚函数地址，还可能包含虚基类子对象的偏移量信息。
参考：https://aescc.cn/category/bedroom.html
运行时类型识别（RTTI）是虚表机制的延伸。通过typeid运算符和dynamic_cast，C++允许程序在运行时查询对象的真实类型。实现上，RTTI信息通常存储在虚表的负偏移位置——即虚表指针指向的地址之前。这样，当通过基类指针调用typeid时，编译器可以通过vptr找到虚表，再访问虚表之前的RTTI数据。
dynamic_cast用于安全的向下转型。它将基类指针转换为派生类指针，如果转换不合法（即基类指针实际上不指向目标类型的对象），则返回空指针（对于指针版本）或抛出异常（对于引用版本）。实现dynamic_cast需要遍历继承层次结构，检查目标类型是否在对象的继承链中。对于多继承和虚继承，这个检查可能需要运行时计算偏移量，涉及复杂的内存布局分析。
禁用RTTI是常见的性能优化手段。许多C++项目（尤其是游戏引擎和高频交易系统）在编译时通过-fno-rtti标志禁用RTTI，以减少二进制体积和提升性能。禁用RTTI后，typeid和dynamic_cast不可用，但虚函数调用不受影响。作为替代，开发者常常手动实现自己的类型标识系统——例如在每个类中定义静态的TypeId成员，并通过虚函数返回。
虚函数的性能开销不仅仅在于间接调用。虚函数破坏了编译器内联的能力，而内联是C++性能的关键来源之一。对于频繁调用的虚函数（例如游戏循环中每个对象的更新方法），虚函数的间接调用开销可能变得显著。此外，虚函数的存在会导致对象的体积增加（vptr的大小），对于小对象来说这可能是一个可观的百分比。
参考：https://aescc.cn/category/living-room.html
虚拟内存布局的知识对于理解某些C++惯用法至关重要。例如，通过基类指针删除派生类对象时，如果基类的析构函数不是虚函数，会导致派生类的析构函数不被调用，造成资源泄漏。这是因为如果没有虚析构函数，编译器在析构时只会调用基类的析构函数，而不知道需要向下找到派生类的析构函数。
另一个相关的陷阱是在构造函数或析构函数中调用虚函数。在这两个阶段中，虚函数的行为不同于通常情况：调用的是当前正在构造或析构的类版本，而不是最终的派生类版本。这是因为在构造过程中，派生类的虚表还没有被完全设置；在析构过程中，派生类的虚表已经被撤销。
C++11引入的final和override关键字改变了虚函数的行为。final禁止派生类进一步重写某个虚函数，这使得编译器在某些情况下可以优化虚函数调用（例如将虚调用转换为直接调用）。override则是文档性质的，但也能帮助编译器检测错误——如果一个函数标记为override但没有重写任何基类虚函数，编译器会报错。
虚拟机制的未来演进方向包括更高效的虚调用实现。LLVM和GCC都在实验“去虚拟化”技术——通过静态分析推断虚函数调用的实际目标，将间接调用转换为直接调用甚至内联。C++23引入的constexpr虚函数是另一个进展：它允许在编译期计算虚函数调用，这对于模板元编程和编译期多态具有重要意义。
理解虚表和RTTI不仅是学术兴趣，也是实际调试的需要。当你遇到程序崩溃时的调用栈指向未知地址，或者dynamic_cast返回意外的空指针时，对底层机制的理解可以帮助你快速定位问题。在性能调优中，虚函数调用有时会成为瓶颈，而了解其开销构成是做出正确优化决策的前提。
参考：https://aescc.cn
