从JVM角度看重载与重写——静态分派与动态分派

重载

1.静态类型与实际类型

代码示例

class Human{
}
class Man extends Human{
}
class Woman extends Human{
}

根据java的多态的特性，我们可以这样定义一个Human对象

Human human = new Man();

其中 Human即为human对象的静态类型

Man为human对象的动态类型。

静态类型在程序编译期即可确定，而动态类型要在编译结束后才能确定。

了解这些后接着来看重载

2.静态分派

首先准备一个重载方法

class StaticDispatch{

public void sayHello(Human h)
{
System.out.println("hello,i am h");
}
public void sayHello(Man m){
System.out.println("hello,i am m");
}
public void sayHello(Woman w)
{
System.out.println("hellp,i am w");
}
}

如果此时执行

StaicDispatch ds = new StaticDispatch();
Human m = new Man();
Human w = new Woman();
ds.sayHello(m);
ds.sayHello(w);

我们可以看到如下的输出结果

hello,i am h
hello,i am h

这就说明，JVM在确定重载时调用哪一个方法时，依据的是对象的静态类型而不是实际类型。同时还说明“重载该调用那个方法”是在编译期就确定好的了。

这个过程就说静态分派的过程。

重写

准备代码示例

abstract class Human{
public void sayHello();
}
class Man extends Human{
@Override
public void sayHello(){
System.out.println("hello,i am m");
}
}
class Woman extends Human{
@Override
public void sayHello(){
System.out.println("hello,i am w");
}
}

Human m =new Man();
Human w =new Woman();
m.sayHello();
w.sayHello();

我们不难能得到程序输出的结果

hello,i am m
hello,i am w

这说明，JVM确定重写方法时，是根据实际类型来确定的。从子节码角度来看，示例代码中的两个sayHello()方法都是由invokevirtual指令来执行的。该指令执行的步骤大概有如下几步

1.找到操作数栈顶的第一个元素所指向的实际类型，记作C

2.如果在类型C中找到与常量中的描述符和简单名称都相称的方法，则进行访问权限校验，如果通过则返回这个方法的直接引用，查找过程结束；否则返回java.lang.IllegalAccessError异常。

3.如果C中未找到与常量中的描述符和简单名称都相称的方法，则去C的父类中去寻找

4.若找遍了父类还是没有找到对应的方法，则抛出java.lang.AbstractMethodError异常

我们可以看到，在指令的第一步就已经确定了变量的实际类型，进而定位到对应的方法版本。

这就是重写的本质，也是动态分派的过程。