个人中心
文章发布
退出
作者热门文章
- 使用 Spring Initializr 创建 Spring Boot 应用程序
- 在Spring Boot中配置Cassandra
- 在 Spring Boot 上配置 Tomcat 连接池
- 将Camel消息路由到嵌入WildFly的Artemis上
26
4
最近复习JVM的知识，对于静态分派和动态分派的理解有点混乱，于是自己尝试写写代码，在分析中巩固知识。
有如下一段代码，请问每一段分别输出什么？
下面我简单地介绍一下从代码编译到方法调用的整个过程。
·编译
先看看第1段输出，child.foo()是调用父类还是子类的静态方法呢？
在编译阶段，发生了静态分派。
在我们创建一个对象时，如上图，Base称为变量的的静态类型(Static Type), 或者叫做外观类型(Apparent Type)，后面的Child则称为变量的实际类型(Actual Type)。
**所有依赖静态类型来定位方法执行版本的分派动作，称为静态分派。**静态分派的典型应用是方法重载，其发生在编译阶段，因此确定静态分派的动作实际上不是由虚拟机来执行的。
方法的接收者(Reciever) 和方法的参数统称为方法的宗量，根据分派基于多少种宗量，可以将分派划分为单分派和多分派两种。
在静态分派的时候，选择目标方法的依据有两点，一是静态类型是Base还是Child，二是方法的参数类型。因此，静态分派是多分派。
接下来，我们来看看“第1段输出”代码生成的指令。通过javap -v App.class指令得出如下结果，可以看到第18和第31行两条指令的符号引用，和上述分析一致：child的静态类型是Base，所以选择Base类的方法；通过无参数和Character类型，分别确定是具体哪个方法版本。
但最终两者的行为不一样，child.foo() 调用的是静态类型Base的foo()，而child.bar(new Character('C')) 则是调用实际类型Child的方法。
原因就是出在两条指令不一样：invokestatic和invokevirtual
在Java虚拟机里面提供了5条方法调用字节码指令：
invokestatic:调用静态方法
invokespecial:调用实例构造器<init>方法、私有方法和父类方法
invokevirtual: 调用所有的虚方法
invokeinterface:调用接口方法，会在运行时再确定 一个实现此接口的对象
invokedynamic:先在运行时动态解析出调用点限定符所引用的方法，然后再执行该方法，在此之前的4条调用指令，分派逻辑是固化在Java虚拟机内部的，而invokedynamic是由用户所设定的引导方法决定的。
具体原因是不同的指令在下一阶段（类加载的解析）的行为不一样，暂时先放到一边，我们再看看第2段输出的指令。
可以看出，**在静态分派时，是根据传入方法的参数的静态类型来决定调用的方法版本，**虽然有baz(Integer)的方法，但是传入的参数integer的静态类型是Object，所以调用了baz(Object)。
再来看看第3段输出的指令，我们知道符号引用肯定还是Base类里的方法(尽管Child类里有参数一样的bar(char c) 方法)，但Base里没有一模一样参数(char类型) 的方法，不会报错吗？会调用哪个方法呢？
原来，编译器虽然能确定出方法的重载版本，但在很多情况下这个重载版本并不是“唯一的”，往往只能确定一个“更加合适”的版本。
具体可参考：https://www.cnblogs.com/kingsleylam/p/6789119.html
· 类加载之解析
解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。
只要能被invokestatic和invokespecial指令调用的方法，都可以在解析阶段中确定唯一的调用版本，符合这个条件的有静态方法，私有方法，实例构造器，父类方法4类，它们在类加载的时候就会把符号引用解析为该方法的直接引用。这些方法可以称为非虚方法，其他方法称为非虚方法（除了final方法）。
final修饰的方法，虽然是使用invokevirtual指令来调用，但由于它无法被覆盖，没有其他版本，因此也是非虚方法。具体参考：https://www.cnblogs.com/kingsleylam/p/6765426.html
回到第1段输出，child.foo()是invokestatic指令，那么在解析阶段，就会替换成直接引用，具体的类也就确定下来了，因此调用的是静态类型Base.foo()。
而child.bar(new Character('C')) 是invokevirtual, 在这个阶段可以确定调用的方法签名，但还不能确定方法的接收者的实际类型。它将由动态分派来完成确定。由于只有一个宗量影响，因此动态分派是单分派。
方法接收者的实际类型在下一阶段确定。
· 运行期的方法调用
在运行期根据实际类型确定方法执行版本的分派过程称为动态分派。
具体可以参考：https://www.cnblogs.com/kingsleylam/p/6789989.html
最终输出结果是：
参考资料：《深入理解Java虚拟机》第2版 周志明著
26
4
0
晚上在 QQ 上看到昵称为“乱码”的好友回答了搜搜问问里一个问题： 在VBS中有办法定义字节数组么？ 在VBS中有办法定义字节数组么？就是字节子类型数组（VarType是8209的那种）注意不是V
例如，员工管理应用程序可能包括一个EmPloyee 类。然后可以用这个类来创建和维护特定实例，比如Gonn和Sally。 根据预定义的类创建对象常称为类的实例化（class insta
在自然语言中，我们理解抽象的概念是，一个物体的一种大的描述，这种描述对某类物体来说是共有的特性。那么在PHP中也是一样的，我们把一个类进行抽象，可以指明类的一般行为，这个类应该是一个模板，它指示它的
DBA_2PC_PENDING Oracle会自动处理分布事务，保证分布事务的一致性，所有站点全部提交或全部回滚。一般情况下，处理过程在很短的时间内完成，根本无法察觉到。但是，如果在commit或
目录 计算过程 投影分量计算 假设你有一家理发店,已经记录了过去一年中所有顾客的头发长度和发型偏好的数据。现在你想从这些数据中提取一些主要的信息,比如顾客最常
Object.defineProperty函数会直接在一个对象上定义一个新的属性，或者修改一个对象的现有属性，并返回此对象。 一、简单使用 const obj = {} Object.defineP
SPL官网 http://www.scudata.com.cn/ 介绍 业务逻辑经常包含较复杂的流程和计算，同时涉及数据库的读写。由于授权麻烦、影响数据库安全、无法迁移、技术要求高、编写困难等原因，很
SPL官网 http://www.scudata.com.cn/ 介绍 业务逻辑经常包含较复杂的流程和计算，同时涉及数据库的读写。由于授权麻烦、影响数据库安全、无法迁移、技术要求高、编写困难等原因，很
一 点睛 Thrift 是一歀基于 CS 架构的 RPC 框架，最初由 Facebook 研发，2008 年转入 Apache 组织。开发人员可以使用 Thrift 提供的 IDL（接口定义语言）来定
数据库应用程序与主应用程序分开存在，并存储数据集合。 每个数据库都使用一个或多个API来创建，访问，管理，搜索和复制其包含的数据。 数据库还使用非关系数据源，例如对象或文件。 然而，数据库证明是大数
介绍 Ant是一个 Apache 基金会下的跨平台的基于 Java 语言开发的构件工具。在我们详细了解 Apache Ant 之前， 让我们来讲解为什么构建工具是需要最先了解的。 构建工具的需求
我现在正在尝试学习ocaml，并希望从一个小程序开始，生成所有位组合: [“0”，“0”，“0”] [“0”，“0”，“1”] [“0”，“1”，“0”] ... 等等 我的想法是下面的代码: let
我正在做我的介绍 C 类(class)作业，我的任务是执行以下任务...... 为一个函数编写代码，该函数通过值接收两个参数(a 和 b)并通过引用具有另外两个参数(c 和 d)。所有参数都是双倍的。
我希望提供有关我网站内容的快速演示，以及如何在用户访问我的页面后立即以正确的方式使用它们。我希望使用顶部的弹出式窗口进行演示。 我的意思是小信息框，一个接一个地通知用户各个步骤。任何人都可以帮助我如何
与C、Java等语言一样，JavaScript中可以用&&、||、!三个逻辑判断符来对boolean值进行逻辑判断。与C、Java不同的是，JavaScript中逻辑与(&&
JavaScript中，==与===操作符均可用于判断两个值是否相等；不同之处在于，如果进行判断的两个值类型不一致，===操作符会直接返回false，而==操作符则会在类型转换后再进行判断。详细的判
JavaScript中，object转换为boolean的操作非常简单：所有的object转换成boolean后均为true；即使是new Boolean(false)这样的object在转换为bo
在android开发中，当不满足触发条件就按返回键的时候，就要对此进行检测。尤其是当前Activity需要往前一个Activity传送消息时。即Activity1跳转到Activity3如果采用的是
背景 当要求系统启动一个应用程序时，系统会先查找当前命令是否是内部命令，若不是，则在当前目录下查找，如果仍没有找到，则在系统变量 Path 指定的路径去查找。JDK（Java Developmen
概述 想做一个微信的公众平台，阅读了微信官方给的网址接入的示例代码，发现有个问题好像一直都是半知半解的，就是在类里边直接使用$_GET。仔细查了下关于这方面的知识，发现PHP中这部分的基础知识掌握
我是一名优秀的程序员,十分优秀！