Java动态绑定机制的内幕

在Java方法调用的过程中,JVM是如何知道调用的是哪个类的方法源代码?这里面到底有什么内幕呢?这篇文章我们就将揭露JVM方法调用的静态(staticbinding)和动态绑定机制(autobinding)。静态绑定机制1.//被调用的类2.packagehr.test;3.classFather{4.publicstaticvoidf1(){5.System.out.println("Father—f1()");}}//调用静态方法importhr.test.Father;publicclassStaticCall{publicstaticvoidmain(){Father.f1();//调用静态方法6.}7.}上面的源代码中执行方法调用的语句(Father.f1())被编译器编译成了一条指令:invokestatic#13。我们看看JVM是如何处理这条指令的(1)指令中的#13指的是StaticCall类的常量池中第13个常量表的索引项。这个常量表(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.packagehr.test;2.//被调用的父类3.classFather{4.publicvoidf1(){5.System.out.println("father-f1()");}publicvoidf1(inti){System.out.println("father-f1()para-int"+i);}}//被调用的子类classSonextendsFather{publicvoidf1(){//覆盖父类的方法System.out.println("Son-f1()");}publicvoidf1(charc){System.out.println("Son-s1()para-char"+c);}}//调用方法importhr.test.*;publicclassAutoCall{publicstaticvoidmain(String[]args){Fatherfather=newSon();//多态father.f1();//打印结果:Son-f1()6.}7.}上面的源代码中有三个重要的概念:多态(polymorphism)、方法覆盖、方法重载。打印的结果大家也都比较清楚,但是JVM是如何知道f.f1()调用的是子类Sun中方法而不是Father中的方法呢?在解释这个问题之前,我们首先简单的讲下JVM管理的一个非常重要的数据结构——方法表。在JVM加载类的同时,会在方法区中为这个类存放很多信息。其中就有一个数据结构叫方法表。它以数组的形式记录了当前类及其所有超类的可见方法字节码在内存中的直接地址。下图是上面源代码中Father和Sun类在方法区中的方法表:上图中的方法表有两个特点:(1)子类方法表中继承了父类的方法,比如FatherextendsObject。(2)相同的方法(相同的方法签名:方法名和参数列表)在所有类的方法表中的索引相同。比如Father方法表中的f1()和Son方法表中的f1()都位于各自方法表的第11项中。对于上面的源代码,编译器首先会把main方法编译成下面的字节码指令:0newhr.test.Son[13]//在堆中开辟一个Son对象的内存空间,并将对象引用压入操作数栈3dup4invokespecial#7[15]//调用初始化方法来初始化堆中的Son对象7astore_1//弹出操作数栈的Son对象引用压入局部变量1中8aload_1//取出局部变量1中的对象引用压入操作数栈9invokevirtual#15//调用f1()方法12return其中invokevirtual指令的详细调用过程是这样的:(1)invokevirtual指令中的#15指的是AutoCall类的常量池中第15个常量表的索引项。这个常量表(CONSTATN_Methodref_info)记录的是方法f1信息的符号引用(包括f1所在的类名,方法名和返回类型)。JVM会首先根据这个符号引用找到...

1、当您付费下载文档后,您只拥有了使用权限,并不意味着购买了版权,文档只能用于自身使用,不得用于其他商业用途(如 [转卖]进行直接盈利或[编辑后售卖]进行间接盈利)。
2、本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供参考,付费前请自行鉴别。
3、如文档内容存在侵犯商业秘密、侵犯著作权等,请点击“举报”。

常见问题具体如下:

1、问:已经付过费的文档可以多次下载吗?

      答:可以。登陆您已经付过费的账号,付过费的文档可以免费进行多次下载。

2、问:已经付过费的文档不知下载到什么地方去了?

     答:电脑端-浏览器下载列表里可以找到;手机端-文件管理或下载里可以找到。

            如以上两种方式都没有找到,请提供您的交易单号或截图及接收文档的邮箱等有效信息,发送到客服邮箱,客服经核实后,会将您已经付过费的文档即时发到您邮箱。

注:微信交易号是以“420000”开头的28位数字;

       支付宝交易号是以“2024XXXX”交易日期开头的28位数字。

客服邮箱:

biganzikefu@outlook.com

所有的文档都被视为“模板”,用于写作参考,下载前须认真查看,确认无误后再购买;

文档大部份都是可以预览的,笔杆子文库无法对文档的真实性、完整性、准确性以及专业性等问题提供审核和保证,请慎重购买;

文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为依据;

如果您还有什么不清楚的或需要我们协助,可以联系客服邮箱:

biganzikefu@outlook.com

常见问题具体如下:

1、问:已经付过费的文档可以多次下载吗?

      答:可以。登陆您已经付过费的账号,付过费的文档可以免费进行多次下载。

2、问:已经付过费的文档不知下载到什么地方去了?

     答:电脑端-浏览器下载列表里可以找到;手机端-文件管理或下载里可以找到。

            如以上两种方式都没有找到,请提供您的交易单号或截图及接收文档的邮箱等有效信息,发送到客服邮箱,客服经核实后,会将您已经付过费的文档即时发到您邮箱。

注:微信交易号是以“420000”开头的28位数字;

       支付宝交易号是以“2024XXXX”交易日期开头的28位数字。

确认删除?