Java中非静态、非私有、非final方法默认为虚方法，支持动态分派，通过vtable机制实现运行时多态，使程序具备良好扩展性与设计灵活性。
Java中，所有非静态、非私有、非final的方法默认都是虚方法（virtual method），这意味着它们支持动态分派（dynamic dispatch），也就是在运行时根据对象的实际类型来决定调用哪个方法实现。这种机制是Java实现多态的核心基础。
虚方法与动态绑定的实现原理
Java通过虚方法表（vtable）机制实现动态方法调用。每个类在JVM中都有一个方法表，存放该类可被重写的方法的地址。当通过父类引用调用一个虚方法时，JVM会查看实际对象的运行时类型，查找其方法表中对应的方法入口，从而调用正确的实现。
例如：
class Animal {
public void makeSound() {
System.out.println("Animal sound");
}
}
class Dog extends Animal {
@Override
public void makeSound() {
System.out.println("Bark");
}
}
Animal a = new Dog();
a.makeSound(); // 输出 "Bark"，调用的是Dog类的实现
虽然引用类型是Animal，但实际对象是Dog，因此调用的是Dog类的makeSound方法。这就是虚方法带来的动态行为。
立即学习“Java免费学习笔记（深入）”；
虚方法对扩展性和设计模式的支持
虚方法模型让程序可以在不修改原有代码的前提下扩展行为，符合“开闭原则”。很多设计模式依赖这一特性：
- 模板方法模式：父类定义算法骨架，子类重写具体步骤。
- 策略模式：不同策略类实现同一接口，运行时动态切换。
- 工厂方法模式：父类定义创建对象的方法，子类决定实例化哪种类型。
这些模式都依赖方法调用能在运行时绑定到具体实现，而虚方法正是支撑这种灵活性的关键机制。
性能与灵活性的权衡
虚方法调用比静态方法或final方法稍慢，因为需要查表和运行时判断。但现代JVM通过内联缓存（inline caching）等优化手段大幅减少了开销。Java的设计选择优先考虑了代码的可维护性和扩展性，允许开发者写出更通用、更解耦的代码。
如果确实不需要多态，可以使用final关键字禁止方法被重写，此时方法调用可能被JVM优化为静态绑定。
基本上就这些。Java把普通方法默认设为虚方法，是为了让面向对象的多态特性成为语言的自然组成部分，使程序更容易适应变化。
