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

★ 静态绑定机制

  1. //被调用的类
  2. package hr.test;
  3. class Father{
  4. public static void f1(){
  5. System.out.println("Father— f1()");
  6. }
  7. }
  8. //调用静态方法
  9. import hr.test.Father;
  10. public class StaticCall{
  11. public static void main(){
  12. Father.f1(); //调用静态方法
  13. }
  14. }

上面的源代码中执行方法调用的语句(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指令。另外所有类的初始化方法<init>和<clinit>会被编译成invokespecial指令。JVM会采用静态绑定机制来顺利的调用这些方法。

★ 动态绑定机制

  1. package hr.test;
  2. //被调用的父类
  3. class Father{
  4. public void f1(){
  5. System.out.println("father-f1()");
  6. }
  7. public void f1(int i){
  8. System.out.println("father-f1()  para-int "+i);
  9. }
  10. }
  11. //被调用的子类
  12. class Son extends Father{
  13. public void f1(){ //覆盖父类的方法
  14. System.out.println("Son-f1()");
  15. }
  16. public void f1(char c){
  17. System.out.println("Son-s1() para-char "+c);
  18. }
  19. }
  20. //调用方法
  21. import hr.test.*;
  22. public class AutoCall{
  23. public static void main(String[] args){
  24. Father father=new Son(); //多态
  25. father.f1(); //打印结果： Son-f1()
  26. }
  27. }

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

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

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

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

  1. 0  new hr.test.Son [13] //在堆中开辟一个Son对象的内存空间，并将对象引用压入操作数栈
  2. 3  dup
  3. 4  invokespecial #7 [15] // 调用初始化方法来初始化堆中的Son对象
  4. 7  astore_1 //弹出操作数栈的Son对象引用压入局部变量1中
  5. 8  aload_1 //取出局部变量1中的对象引用压入操作数栈
  6. 9  invokevirtual #15 //调用f1()方法
  7. 12  return

其中invokevirtual指令的详细调用过程是这样的：

(1) invokevirtual指令中的#15指的是AutoCall类的常量池中第15个常量表的索引项。这个常量表(CONSTATN_Methodref_info ) 记录的是方法f1信息的符号引用(包括f1所在的类名，方法名和返回类型)。JVM会首先根据这个符号引用找到调用方法f1的类的全限定名: hr.test.Father。这是因为调用方法f1的类的对象father声明为Father类型。

(2) 在Father类型的方法表中查找方法f1，如果找到，则将方法f1在方法表中的索引项11(如上图)记录到AutoCall类的常量池中第15个常量表中(常量池解析 )。这里有一点要注意：如果Father类型方法表中没有方法f1，那么即使Son类型中方法表有，编译的时候也通过不了。因为调用方法f1的类的对象father的声明为Father类型。

(3) 在调用invokevirtual指令前有一个aload_1指令，它会将开始创建在堆中的Son对象的引用压入操作数栈。然后invokevirtual指令会根据这个Son对象的引用首先找到堆中的Son对象，然后进一步找到Son对象所属类型的方法表。过程如下图所示：

(4) 这是通过第(2)步中解析完成的#15常量表中的方法表的索引项11，可以定位到Son类型方法表中的方法f1()，然后通过直接地址找到该方法字节码所在的内存空间。

很明显，根据对象(father)的声明类型(Father)还不能够确定调用方法f1的位置，必须根据father在堆中实际创建的对象类型Son来确定f1方法所在的位置。这种在程序运行过程中，通过动态创建的对象的方法表来定位方法的方式，我们叫做 动态绑定机制 。

上面的过程很清楚的反映出在方法覆盖的多态调用的情况下，JVM是如何定位到准确的方法的。但是下面的调用方法JVM是如何定位的呢？(仍然使用上面代码中的Father和Son类型)

  1. public class AutoCall{
  2. public static void main(String[] args){
  3. Father father=new Son();
  4. char c='a';
  5. father.f1(c); //打印结果：father-f1()  para-int 97
  6. }
  7. }

问题是Fahter类型中并没有方法签名为f1(char)的方法呀。但打印结果显示JVM调用了Father类型中的f1(int)方法，并没有调用到Son类型中的f1(char)方法。

根据上面详细阐述的调用过程，首先可以明确的是：JVM首先是根据对象father声明的类型Father来解析常量池的(也就是用Father方法表中的索引项来代替常量池中的符号引用)。如果Father中没有匹配到"合适" 的方法，就无法进行常量池解析，这在编译阶段就通过不了。

那么什么叫"合适"的方法呢？当然，方法签名完全一样的方法自然是合适的。但是如果方法中的参数类型在声明的类型中并不能找到呢？比如上面的代码中调用father.f1(char)，Father类型并没有f1(char)的方法签名。实际上，JVM会找到一种“凑合”的办法，就是通过 参数的自动转型 来找 到“合适”的 方法。比如char可以通过自动转型成int，那么Father类中就可以匹配到这个方法了 (关于Java的自动转型问题可以参见《【解惑】Java类型间的转型 》)。但是还有一个问题，如果通过自动转型发现可以“凑合”出两个方法的话怎么办？比如下面的代码：

  1. class Father{
  2. public void f1(Object o){
  3. System.out.println("Object");
  4. }
  5. public void f1(double[] d){
  6. System.out.println("double[]");
  7. }
  8. }
  9. public class Demo{
  10. public static void main(String[] args) {
  11. new Father().f1(null); //打印结果： double[]
  12. }
  13. }

null可以引用于任何的引用类型，那么JVM如何确定“合适”的方法呢。一个很重要的标准就是：如果一个方法可以接受传递给另一个方法的任何参数，那么第一个方法就相对不合适。比如上面的代码: 任何传递给f1(double[])方法的参数都可以传递给f1(Object)方法，而反之却不行，那么f1(double[])方法就更合适。因此JVM就会调用这个更合适的方法。

★ 总结

(1) 所有私有方法、静态方法、构造器及初始化方法<clinit>都是采用静态绑定机制。在编译器阶段就已经指明了调用方法在常量池中的符号引用，JVM运行的时候只需要进行一次常量池解析即可。

(2) 类对象方法的调用必须在运行过程中采用动态绑定机制。

首先，根据对象的声明类型(对象引用的类型)找到“合适”的方法。具体步骤如下：

① 如果能在声明类型中匹配到方法签名完全一样(参数类型一致)的方法，那么这个方法是最合适的。

② 在第①条不能满足的情况下，寻找可以“凑合”的方法。标准就是通过将参数类型进行自动转型之后再进行匹配。如果匹配到多个自动转型后的方法签名f(A)和f(B)，则用下面的标准来确定合适的方法：传递给f(A)方法的参数都可以传递给f(B)，则f(A)最合适。反之f(B)最合适 。

③ 如果仍然在声明类型中找不到“合适”的方法，则编译阶段就无法通过。

然后，根据在堆中创建对象的实际类型找到对应的方法表，从中确定具体的方法在内存中的位置。

★ 覆写（override）

一个实例方法可以覆写（override）在其超类中可访问到的具有相同签名的所有实例方法，从而使能了动态分派（dynamic dispatch）；换句话说，VM将基于实例的运行期类型来选择要调用的覆写方法。覆写是面向对象编程技术的基础，并且是唯一没有被普遍劝阻的名字重用形式：

  1. class Base{
  2. public void f(){}
  3. }
  4. class Derived extends Base{
  5. public void f(){}
  6. }

★ 隐藏（hide）

一个域、静态方法或成员类型可以分别隐藏（hide）在其超类中可访问到的具有相同名字（对方法而言就是相同的方法签名)的所有域、静态方法或成员类型。隐藏一个成员将阻止其被继承。

  1. class Base{
  2. public static void f(){}
  3. }
  4. class Derived extends Base  {
  5. private static void f(){}   //hides Base. f()
  6. }

★ 重载（overload） 
      在某个类中的方法可以重载（overload）另一个方法，只要它们具有相同的名字和不同的签名。由调用所指定的重载方法是在编译期选定的。

  1. class CircuitBreaker{
  2. public void f (int i){}    //int overloading
  3. public void f(String s){}   //String overloading
  4. }

★ 遮蔽（shadow）
     一个变量、方法或类型可以分别遮蔽（shadow）在一个闭合的文本范围内的具有相同名字的所有变量、方法或类型。如果一个实体被遮蔽了，那么你用它的简单名是无法引用到它的;根据实体的不同，有时你根本就无法引用到它。

  1. class WhoKnows{
  2. static String sentence=”I don't know.”;
  3. public static void main(String[] args〕{
  4. String sentence=”I don't know.”;  //shadows static field
  5. System.out. println (sentence);  // prints local variable
  6. }
  7. }

尽管遮蔽通常是被劝阻的，但是有一种通用的惯用法确实涉及遮蔽。构造器经常将来自其所在类的某个域名重用为一个参数，以传递这个命名域的值。这种惯用法并不是没有风险，但是大多数Java程序员都认为这种风格带来的实惠要超过
其风险:

  1. class Belt{
  2. private find int size ;  //Parameter shadows Belt. size
  3. public Belt (int size){
  4. this. size=size;
  5. }
  6. }

 

★ 遮掩（obscure）

一个变量可以遮掩具有相同名字的一个类型，只要它们都在同一个范围内:如果这个名字被用于变量与类型都被许可的范围，那么它将引用到变量上。相似地，一个变量或一个类型可以遮掩一个包。遮掩是唯一一种两个名字位于不同的名字空间的名字重用形式，这些名字空间包括:变量、包、方法或类型。如果一个类型或一个包被遮掩了，那么你不能通过其简单
名引用到它，除非是在这样一个上下文环境中，即语法只允许在其名字空间中出现一种名字。遵守命名习惯就可以极大地消除产生遮掩的可能性:

  1. public class Obscure{
  2. static String System;// Obscures type java.lang.System
  3. public static void main(String[] args)
  4. // Next line won't compile:System refers to static field
  5. System. out. println(“hello, obscure world!”);
  6. }
  7. }

--------------------------------------------------------------------

PS： 欢迎关注公众号"Devin说"，会不定期更新Java相关技术知识。

--------------------------------------------------------------------

转载于:https://www.cnblogs.com/zhaolizhe/p/6923902.html

Java动态绑定机制的内幕相关推荐

  1. java 动态绑定原理_详解Java动态绑定机制的内幕（图）

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

  2. JAVA动态绑定机制

    JAVA动态绑定机制(非常非常重要) JAVA动态绑定机制:动态绑定是与运行类型进行绑定 1.当调用对象方法的时候,该方法会和该对象的内存地址/运行类型(也就是与运行类型)绑定(意思就是如:有一个Ca ...

  3. Java动态绑定机制详解

    关于 java 的动态绑定机制 聊一聊动态绑定机制, 相信看完这篇文章,你会对动态绑定机制有所了解. 网上大多一言概括: 当调用对象的时候,该方法会和该对象的内存地址/运行类型绑定. 当调用对象的属性 ...

  4. JAVA多态机制简述

    多态是指方法或对象具有多种形态,是oop的第三大特征,其是建立在封装和继承之上的. 多态的体现: 1.方法多态---1.重载体现多态2.重写体现多态 2.对象多态: (1)对象的编译类型和运行类型可以 ...

  5. Java笔记013-IDEA、包、访问修饰符、封装、继承、多态、Super、方法重写/覆盖(override)、java的动态绑定机制

    目录 面向对象编程(中级部分) IDE(集成开发环境)-IDEA IDEA介绍 IDE(集成开发环境)-Eclipse Eclipse介绍 IDEA的安装 IDEA的基本介绍和使用 创建一个java项 ...

  6. java的多态和动态绑定机制

    什么是多态,多态具体体现在哪些方面? 多态:方法或者对象具有多挣形态,是OOP的第三大特征,是建立在封装和继承期初之上的多态具体表现, 1.方法多态 (1)重载体现多态, (2)重写体现多态 2.对象 ...

  7. java的动态绑定机制

    文章目录 Java重要特性:动态绑定机制 案例1(引入) 案例2(动态绑定机制-调用对象方法) 案例3(动态绑定机制-调用对象属性) Java重要特性:动态绑定机制 案例1(引入) public cl ...

  8. JAVA多态的动态绑定机制

    对于多态,大家基本上都很熟悉,日常开发用的也挺多,一句话概括:父类引用指向子类对象 在集合的使用上,List mList = new ArrayList<>(); 在类的继承时,Anim ...

  9. 【java】动态绑定机制

    (1)当调用对象方法时,该方法会和该对象的内存地址/运行类型绑定. (2)当调用对象属性时,没有动态绑定机制,哪里声明,哪里使用.

最新文章

  1. 8 -- 深入使用Spring -- 3...1 Resource实现类InputStreamResource、ByteArrayResource
  2. MyBatis框架使用（一）
  3. 学习视觉和语言的多粒度对齐？字节提出新多模态预训练方法 X-VLM：代码已开源！...
  4. java socket 自动重连_socket 如何判断远端服务器的连接状态？连接断开，需重连...
  5. jsf绑定bean_JSF –渴望的CDI bean
  6. java setsolinger_java socket 的参数选项解读(转)
  7. [机器学习笔记]Note8--机器学习应用建议
  8. java学习，不定期更新~
  9. 在cell中自定义分割线的小技巧
  10. 数论基础及其代码实现
  11. SSD硬盘的数据恢复
  12. 综述 | 一文看尽三种针对人工智能系统的攻击技术及防御策略
  13. 网工必会stp /rstp /mstp （笔记）
  14. 关于namecheap 域名运营商,域名赎回详细步骤
  15. 荐书丨《好奇心的秘密》：一个针尖上可以站多少跳舞的小天使?
  16. Java编写杨辉三角
  17. 别在找提高C++晦涩难懂的知识了。提高效率！这里有C++STL——全面总结详细教程（附案例解析）（持续更新中）
  18. Java开发erp系统，高级面试题+解析
  19. Swift学习笔记 (四十二) 不透明类型
  20. radio男女选择取值

热门文章

  1. Ecplise中配置Tomcat7服务器
  2. 数据库中的乐观锁与悲观锁详解
  3. 集成极光推送遇到的问题
  4. Security+考试总结
  5. huggingface实操_Transformers 简介（上）
  6. python列表类型用什么表示_python内置类型：列表，包括 list 和 tuple
  7. 标签体系、用户分群、用户画像「玩味」解读，你沦为形式主义了吗？
  8. 干货：如何在前端统计用户访问来源？
  9. 14周课堂测试---找水王
  10. 睡还是被睡，这是一个问题！