用于 super 方法的 Java vtable

Question

当我们有两个类时:

class Foo {
    void foo() {
        System.out.println("foo");
    }
}

和:

class Bar extends Foo{
    void bar() {
        System.out.println("bar");
    }
}

Bar clazz 对象是否在 vtable 中存储对 foo() 和 bar() 方法的引用，还是在 Bar 的 vtable 中仅存储对 bar() 方法的引用并访问 foo() 方法 jvm 访问 Bar clazz 对象，然后 Foo clazz 对象然后在其 vtable 中找到 foo() 方法？ 是不是更像这样: 或者那个: 或者也许这没有在规范中描述并且可以依赖于 JVM 实现？

Answer 1

JVM规范没有规定如何实现虚方法调用。它甚至没有引用vtable的概念。 JVM 实现可以选择这种方式或另一种方式，只要它的行为符合预期。

对于HotSpot JVM，Java SE虚拟机的引用实现，它的工作原理就像你的第一张图片一样，即一个类的单个vtable包含它的所有虚拟方法，包括继承的方法。

     ------------------      ------------------ 
    | Foo.class vtable |    | Bar.class vtable |
    |------------------|    |------------------|
    | clone            |    | clone            | \
    | equals           |    | equals           | | java.lang.Object
    | hashCode         |    | hashCode         | / virtual methods
    | ...              |    | ...              |
    | foo              |    | foo              | } Foo virtual methods
     ------------------     | bar              | } Bar virtual methods
                             ------------------

这样的布局保证了 Foo 类的所有后代都将在 vtable 中的相同索引处引用 foo 方法。这使得虚拟调用足够快，即在恒定时间内，即使对于超态方法也是如此。