C++虚继承场景下编译器如何选择所需的vtable指针？

你给出的这套内存与vtable布局，是Itanium C++ ABI（GCC、Clang等主流编译器默认采用的实现规范）下的标准结构。所谓的调用“魔法”本质上都是编译阶段就固化好的常量偏移，不存在任何动态搜索、查表匹配的过程。

fb->v() 调用的完整指令生成流程 #

• 首先明确fb的指向：new Derived返回的实例起始地址，刚好对应Derived内存中偏移为0的IntermediateDerivedFirst子对象的起始位置——非虚基类子对象会按继承顺序排列在类内存的前段，只有虚基类子对象会被统一挪到整个类内存的最末尾。
• 第一步，从fb指向的地址读取对应的vptr，也就是布局中指向IntermediateDerivedFirst专属vtable的指针。
• 第二步，读取这个vtable的第一个固定表项vbase offset = 20。这个值是编译期就写死在vtable中的常量，代表：从当前非虚子对象的起始地址出发，加上这个固定偏移量，就能定位到本类共享的唯一虚基类Base子对象的起始地址。
• 第三步，编译器直接把fb的地址值加上这个固定偏移20，就得到了Base子对象的真实内存地址——这个地址上存储的vptr，就是布局最末尾属于Base的专属vtable。
• 第四步，按照编译期为Base::v()预先定义好的固定vtable索引，从Base的vtable中读出对应的函数地址，将this指针（即刚才计算出的Base子对象地址）作为参数传入，完成函数调用。

中间类vtable不包含Base虚函数地址的设计逻辑 #

这是虚继承共享语义的必然结果：

• 由于多个中间派生类最终会共享同一个唯一的Base子对象，每个中间类的专属vtable里只会存放自身直接引入的虚函数表项，不会冗余存放共享虚基类的虚函数——否则同一个共享函数地址会在多个vtable中重复存储，既浪费内存，也会导致派生类覆盖虚函数时出现逻辑不一致。
• 对应给出的布局：IntermediateDerivedFirst的vtable函数段仅存放自身的w()、以及最派生类Derived新引入的y()；IntermediateDerivedSecond的vtable函数段仅存放自身的x()；只有Base专属的vtable中，才存放被Derived覆盖后的Base::v()最终调用地址。

delete fb 合法的底层原因 #

同样基于vtable中存储的固定常量实现：

• 从IntermediateDerivedFirst的vtable中读取第二个固定表项top offset = 0，这个值代表：从当前子对象的地址往回偏移对应字节数，就能回到整个最派生对象（即new出来的Derived实例）的真实起始地址。
• 拿到最派生对象的起始地址后，编译器就能正确调用全对象的析构链，完成完整的内存释放，不会出现只释放部分子对象的内存泄漏问题。

关键澄清：整个调用流程没有任何动态遍历、按函数名匹配的过程。所有vtable中存储的偏移量、所有虚函数在vtable中的位置，都是类定义完成的编译阶段就计算好的固定值，运行时仅需要执行几次整数加法、读取固定内存位置的操作，效率与普通非虚继承的虚函数调用几乎没有差别。

内容的提问来源于stack exchange，提问作者DisplayName。