多态的本质：虚方法表（V-table）的底层运作原理

多态的本质是通过虚方法表（vtable）实现运行时动态绑定，每个类有静态只读vtable，对象通过vptr指针访问，调用时按编译期确定的索引O(1)查表跳转；private、static、final/non-virtual方法不入vtable，接口多态则使用itable机制。

多态的本质，是让同一段调用代码，在运行时根据对象的真实类型，自动找到并执行对应版本的方法。它不靠猜测，也不靠运行时反复比对签名，而是依赖一张提前建好、静态固定的跳转表——虚方法表（vtable）。

每个类一份表，每个对象一个指针

vtable 是类级别的只读结构，编译或类加载时就生成完毕，存放在程序的只读数据段（如 .rodata），所有该类实例共享同一份表。而每个对象在内存布局最开头，都会隐式插入一个指针（vptr），指向自己所属类的 vtable。这个指针大小固定（32 位系统占 4 字节，64 位占 8 字节），是对象额外付出的唯一空间代价。

• 基类定义虚函数 → 编译器为其生成 vtable，按声明顺序填入函数地址
• 子类继承 → 复用父类 vtable 结构，未重写的方法槽位直接沿用父类函数地址
• 子类重写虚函数 → 对应槽位被替换成子类方法地址，不新增槽位，仅更新内容
• 子类新增虚函数 → 追加到 vtable 末尾，不影响原有偏移关系

调用时：两步查表，O(1) 时间完成

当通过指针或引用调用虚函数时，CPU 执行的是标准流程：

• 先通过对象地址拿到 vptr
• 再根据方法在类中声明的顺序（即编译期确定的索引号），从 vtable 中直接取出对应位置的函数指针
• 最后跳转执行——整个过程没有字符串匹配、没有遍历、没有哈希查找

比如 Base* p = new Derived(); p->func();，实际执行的是“取 p 的 vptr → 查 vtable 第 N 项 → 跳过去运行”，N 在编译时就固化了，和 p 到底指向谁无关。

不是所有方法都能进表

vtable 只收录参与动态绑定的方法。以下三类方法不会出现在表中，调用时直接走静态指令：

• private 方法：仅限本类访问，子类里同名方法是全新符号，与父类无覆盖关系
• static 方法：属于类而非实例，调用目标由字节码/符号引用决定，与对象类型无关
• final 方法（Java）或 non-virtual 函数（C++）：明确禁止重写，编译期锁死目标，生成 invokespecial 或 call 指令

接口多态另有一套机制：itable

当调用发生在接口引用上（如 Runnable r = ...; r.run();），JVM 不查 vtable，而是查 itable。itable 按接口维度组织，每个实现类为每个所实现的接口单独维护一张映射表，解决接口方法到具体实现的定位问题。这和 vtable 的“继承链扁平化”思路不同，但目的相同：在运行时以最小开销命中正确实现。