Java 虚方法表（虚函数）

南极

已于 2024-10-12 11:28:46 修改

阅读量1.8k

点赞数 15

分类专栏： # OOP 文章标签： java 开发语言

于 2024-08-31 10:53:27 首次发布

南极

本文链接：https://blog.csdn.net/ouhexie/article/details/141749123

版权

OOP 专栏收录该内容

5 篇文章

订阅专栏

虚方法表

Java 中的虚方法表（Virtual Method Table, VMT）是实现动态方法分派和多态的重要机制，它帮助 Java 运行时环境（JVM）决定在继承体系中调用哪个方法的具体实现。

什么是虚方法表？

虚方法表是一种内部数据结构，每个类在加载时会生成自己的虚方法表，用于支持方法的动态绑定（即运行时多态）。

结构与功能

数据结构

每个类在加载时都会生成一个虚方法表，表中存储了该类及其父类中所有非 private、非 static、非 final 的方法的地址。
虚方法表通常实现为一个数组或某种形式的列表，条目的顺序与类中方法的声明顺序一一对应。

动态绑定

在方法调用时，JVM 会根据对象的实际类型（而不是声明的类型）查找并调用相应的方法实现。

这种机制让程序在运行时能够决定调用哪个方法，实现了多态。

注意事项

不在虚方法表中的方法

private 修饰的方法：由于无法被子类重写，因此不会存储在虚方法表中。
static 修饰的方法：静态方法束缚于类本身，不会被重写。
final 修饰的方法：无法在子类中被重写，因而不在虚方法表中。

案例代码

class Animal {
    public void makeSound() {
        System.out.println("动物在叫~");
    }
}

class Dog extends Animal {
    @Override
    public void makeSound() {
        System.out.println("狗在狂吠~");
    }
}

public class Main {
    public static void main(String[] args) {
        Animal myAnimal = new Dog(); // 创建 Dog 对象，声明为 Animal 类型
        myAnimal.makeSound(); // 输出：狗在狂吠~
    }
}

虚方法表的作用

支持多态

通过虚方法表，Java 支持动态方法绑定，这允许程序在运行时选择调用哪个方法实现，支持多态特性。
例如，上面的例子中，myAnimal 实际上是一个 Dog 对象，因此调用 makeSound 方法时，执行的是 Dog 类中的实现。

简化方法调用：虚方法表的结构使得方法调用过程高效，通过方法表指针，JVM 可以迅速定位到正确的方法，实现了方法的高效查找与调用。避免了复杂的查找逻辑。

内存布局

对象与虚方法表的关系

每个对象在内存中都有一个指向其类的虚方法表的指针，称为虚方法表指针（VMT Pointer）。
该指针在对象创建时被填充，指向类对应的虚方法表。

虚方法表的构建：在类加载期间，虚方法表由 JVM 自动构建。构建过程中，JVM 检查所有可重写的方法，并将其地址存储在虚方法表中。

性能考虑

开销

虚方法表引入了一定的内存开销，因为每个类都有一个虚方法表。
方法调用时，需要通过虚方法表进行查找，可能引入额外的时间开销。

优化：现代 JVM 实现通常会进行多种优化，减少虚方法调用的开销。比如，JIT 编译器可以在运行时将虚方法调用内联，以提高效率。

虚方法表与接口

接口的虚方法表

当一个类实现多个接口时，JVM 会为每个接口维护一个虚方法表。接口的方法会与类的方法合并，确保调用过程中可以正确执行。
接口中的默认方法和静态方法也会被处理，确保符合多态性和兼容性。

通过抽象类和接口实现多态：

abstract class Shape {
    abstract void draw();
}

class Circle extends Shape {
    @Override
    void draw() {
        System.out.println("画圆");
    }
}

class Square extends Shape {
    @Override
    void draw() {
        System.out.println("画正方形");
    }
}

public class Main {
    public static void main(String[] args) {
        Shape myShape = new Circle(); //可以是 Circle 或 Square
        myShape.draw(); // 输出：画圆
    }
}