多态语言中如何定位正确函数指针？解析接口场景下VMT实现

给定的接口与类定义 #

接口代码 #

interface Animal {
  public int getAge();
}

interface Tamable {
  public void tame();
}

实现类代码 #

class Cat implements Animal { // Cats are not tamable
  public int getAge() {      // this method is somewhere in memory (e.g. at 0xf000)
    // ...
  }
}

class Dog implements Animal, Tamable {
  public int getAge() {      // this method is somewhere in memory (e.g. at 0xf008)
    // ...
  }
  public void tame() {       // this method is somewhere in memory (e.g. at 0xf00e)
    // ...
  }
}

调用场景代码 #

void pet(Tamable tamable) {
  tamable.tame();          // <-- 待分析的调用点
  // ...
}

问题核心 #

调用tamable.tame()时，如何确定跳转的内存地址？此类场景下VMT（虚方法表）是如何实现的？
若用哈希表会导致虚分派速度极慢；若VMT为函数指针数组，编译时无法确定tamable是Dog还是Cat，编译器又该如何获取Dog类中tame()函数指针的偏移量？

解答 #

核心思路：编译期预分配偏移+运行期接口方法表索引 #

编译器和虚拟机不会采用哈希表实现，而是通过编译期给接口方法分配全局固定偏移，结合运行期对象的接口专属方法表，实现高效的虚方法分派，具体流程如下：

1. 编译阶段：给接口方法分配全局唯一偏移
   编译器会遍历所有接口方法，为每个方法分配一个固定的偏移索引，这个索引在所有实现该接口的类中保持一致。比如Tamable.tame()会被分配一个固定偏移（比如0），所有实现Tamable的类，其对应接口方法表中tame()的位置都在这个偏移上。

2. 运行阶段：通过对象元数据获取接口方法表
   每个类的元数据中，除了自身的类方法表（处理父类继承的方法），还会维护一组接口方法表——每个实现的接口对应一张表，表中的函数指针严格按照编译期分配的偏移排列。
   当执行tamable.tame()时：

   • 从tamable对象的元数据中，找到对应Tamable接口的方法表；
   • 用编译期确定的偏移索引（比如0）直接取出对应的函数指针（比如Dog.tame()的地址0xf00e）；
   • 跳转至该地址执行方法。

为什么不用哈希表？ #

哈希表需要每次调用时计算哈希值、处理冲突，会带来额外性能开销。而固定偏移的方式把方法查找的开销提前到了编译期，运行期仅需两次内存访问（取接口方法表、取对应偏移的指针），速度和普通类的虚方法调用几乎一致。

编译器如何确定偏移量？ #

编译器会在编译模块或整个程序时，按接口方法的声明顺序（或统一的排序规则）为每个接口方法分配唯一索引。这个索引会被硬编码到调用指令中，运行时直接使用，无需关心具体的实现类类型。

Java虚拟机的实际实现补充 #

在JVM中，该机制对应接口方法表（Interface Method Table, IMT），部分版本还会通过方法句柄缓存进一步优化调用速度。对于实现多个接口的类，会为每个接口维护独立的方法表，确保每个接口方法的偏移在所有实现类中统一。

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