浅谈JAVA中静态绑定和动态绑定（源自《深入理解Java虚拟机》）

静态绑定：又称“前期绑定”，发生在编译期； 主要是方法重载（overload）； 在编译阶段，javac编译器会根据参数的静态类型决定使用哪个重载版本。

动态绑定：又称“后期绑定”，发生在运行期； 主要是方法重写（override）； 在运行阶段，Java虚拟机根据参数的实际类型决定调用哪个重写版本，查找的顺序是从子类->父类，直到找到该方法的声明为止；如果在层次结构的任何类中都找不到该方法，则虚拟机抛出错误信息。

（1）静态绑定：

示例：

public class TestDispatch {
static abstract class Human{

}
static class Man extends Human{

}
static class Woman extends Human{

}

public void sayHello(Human guy){
System.out.println("Hello,guy!");
}
public void sayHello(Man guy){
System.out.println("Hello,gentleman!");
}
public void sayHello(Woman guy){
System.out.println("Hello,lady!");
}

public static void main(String[]args){
//实际类型变化
Human man=new Man();
Human woman=new Woman();

TestDispatch td=new TestDispatch();

//静态类型变化
td.sayHello(man);
td.sayHello(woman);
}

}

运行结果：

Hello,guy!
Hello,guy!

解释：上面代码中的”Human”称为变量的静态类型，“Man”和“Woman”称为变量的实际类型。两者的区别是：静态类型的变化只发生在使用时，变量本身的静态类型不会发生改变，最终的静态类型在编译期是可知的；而实际类型的变化的结果在运行期才能确定。

在编译阶段，javac编译器在重载时会根据参数的静态类型决定使用哪个重载版本，同时静态类型在编译期又是可知的，所以选择了sayHello(Human)作为调用目标。

其他：虽然编译器能确定出方法的重载版本，但是很多时候这个重载版本并不是唯一的，所以往往只是确定一个“更合适”的版本作为最终版本。

（2）动态绑定：

示例：

public class TestDynamicDispatch {
static abstract class Human{
protected abstract void sayHello();
}
static class Man extends Human{

public void sayHello(){
System.out.println("Hello,gentleman!");
}
}
static class Woman extends Human{
public void sayHello(){
System.out.println("Hello,lady!");
}
}

public static void main(String[]args){
Human man=new Man();
Human woman=new Woman();
man.sayHello();
woman.sayHello();
man=new Woman();
man.sayHello();
}
}

运行结果：

Hello,gentleman!
Hello,lady!
Hello,lady!

解释：上面的代码中调用sayHello（）方法时根据new创建的实际对象确定调用该对象内的该方法。

补充：Java语言中方法重写的本质：在运行期确定对象的实际类型。

———————————我是平凡的分割线———————————————————-

欢迎各位大神在下方留言赐教，小树不胜感激。