简述java动态绑定的工作机制_Java动态绑定机制的内幕

在Java方法调用的过程中，JVM是如何知道调用的是哪个类的方法源代码？ 这里面到底有什么内幕呢？ 这篇文章我们就将揭露JVM方法调用的静态(static binding) 和动态绑定机制(auto binding) 。

静态绑定机制

//被调用的类

package hr.test;

class Father{

public static void f1(){

System.out.println("Father— f1()"); } }

//调用静态方法 import hr.test.Father;

public class StaticCall{

public static void main(){

Father.f1(); //调用静态方法

}

}

上面的源代码中执行方法调用的语句(Father.f1())被编译器编译成了一条指令：invokestatic #13。我们看看JVM是如何处理这条指令的

(1) 指令中的#13指的是StaticCall类的常量池中第13个常量表的索引项(关于常量池详见《Class文件内容及常量池 》)。这个常量表(CONSTATN_Methodref_info) 记录的是方法f1信息的符号引用(包括f1所在的类名，方法名和返回类型)。JVM会首先根据这个符号引用找到方法f1所在的类的全限定名: hr.test.Father；

(2) 紧接着JVM会加载、链接和初始化Father类；

(3) 然后在Father类所在的方法区中找到f1()方法的直接地址，并将这个直接地址记录到StaticCall类的常量池索引为13的常量表中。这个过程叫常量池解析 ，以后再次调用Father.f1()时，将直接找到f1方法的字节码；

(4) 完成了StaticCall类常量池索引项13的常量表的解析之后，JVM就可以调用f1()方法，并开始解释执行f1()方法中的指令了。

通过上面的过程，我们发现经过常量池解析之后，JVM就能够确定要调用的f1()方法具体在内存的什么位置上了。实际上，这个信息在编译阶段就已经在StaticCall类的常量池中记录了下来。这种在编译阶段就能够确定调用哪个方法的方式，我们叫做静态绑定机制 。

除了被static 修饰的静态方法，所有被private 修饰的私有方法、被final 修饰的禁止子类覆盖的方法都会被编译成invokestatic指令。另外所有类的初始化方法和会被编译成invokespecial指令。JVM会采用静态绑定机制来顺利的调用这些方法。

动态绑定机制

package hr.test;

//被调用的父类

class Father{

public void f1(){

System.out.println("father-f1()"); } public void f1(int i)

{

System.out.println("father-f1() para-int "+i);

} } //被调用的子类

class Son extends Father{

public void f1(){

//覆盖父类的方法

System.out.println("Son-f1()");

} public void f1(char c){

System.out.println("Son-s1() para-char "+c);

} } //调用方法

import hr.test.*;

public class AutoCall{

public static void main(String[] args){

Father father=new Son();

//多态 father.f1(); //打印结果： Son-f1()

}

}

上面的源代码中有三个重要的概念：多态(polymorphism) 、方法覆盖 、方法重载 。打印的结果大家也都比较清楚，但是JVM是如何知道f.f1()调用的是子类Sun中方法而不是Father中的方法呢？在解释这个问题之前，我们首先简单的讲下JVM管理的一个非常重要的数据结构——方法表 。

在JVM加载类的同时，会在方法区中为这个类存放很多信息(详见《Java 虚拟机体系结构 》)。其中就有一个数据结构叫方法表。它以数组的形式记录了当前类及其所有超类的可见方法字节码在内存中的直接地址 。下图是上面源代码中Father和Sun类在方法区中的方法表：

上图中的方法表有两个特点：(1) 子类方法表中继承了父类的方法，比如Father extends Object。 (2) 相同的方法(相同的方法签名：方法名和参数列表)在所有类的方法表中的索引相同。比如Father方法表中的f1()和Son方法表中的f1()都位于各自方法表的第11项中。

对于上面的源代码，编译器首先会把main方法编译成下面的字节码指令：

0 new hr.test.Son [13] //在堆中开辟一个Son对象的内存空间，并将对象引用压入操作数栈

3 dup

4 invokespecial #7 [15] // 调用初始化方法来初始化堆中的Son对象

7 astore_1 //弹出操作数栈的Son对象引用压入局部变量1中

8 aload_1 //取出局部变量1中的对象引用压入操作数栈

9 invokevirtual #15 //调用f1()方法

12 return

21/212>