方法的调用

方法调用不同于方法的执行,其唯一任务是确定被调用方法的版本(即调用哪一个方法),不涉及方法内部的具体运行过程 。Class文件的编译过程不包括传统编译中的连接步骤,一切方法调用在Class文件里面存储的只是符号引用,而不是方法在实际运行时内存布局的入口地址(直接引用)。这种特性使得Java方法需要在类加载期间,甚至到运行期间才能确定目标方法的直接引用。

解析

所有方法的调用的目标方法在Class文件中都是一个常量池中的符号引用,在类加载的解析阶段,会将其中的一部分符合引用转化为直接引用,这种解析成立的前提:方法在程序真正运行之前就有一个可确定调用的版本,并且这个方法的调用版本在运行期不可变。即:调用目标在程序代码写好、编译器进行编译时就确定下来,这类方法的调用称为解析(Resolution)。

在Java中符合“编译期可知,运行期不可变”的方法,主要包括静态方法和私有方法两大类,前者与类型直接相关,后者外部不可被访问。二者的特点决定了它们不可能通过继承或者别的方式重写其他版本,因此都适合在类加载阶段进行解析。

分派

静态分派

所有了以来静态类型来定位方法执行版本的分派动作称为静态分派,其典型应用是方法重载。静态分派发生在编译阶段,因此确定静态分派的动作实际不是由虚拟机来执行的。另外,通常编译器的重载版本并不唯一,而是最合适的版本。

注意:解析和分派并不是二选一的排他关系,他们是在不同层次上去筛选、确定目标方法的过程。例如静态方法会在类加载期解析,但是静态方法也是可以拥有重载版本的,选择重载版本的过程也是通过静态分派来完成的。

动态分派

动态分派与重写(Override)有着很密切的关系。即在运行期虚拟机会根据对象的实际类型去调用对应的方法。

单分派和多分派

方法的接收者与方法的参数统称为宗量,根据分派基于多少种宗量分类,单分派是指根据一个宗量对目标方法进行选择,多分派是指根据多于一个宗量对目标方法进行选择。

根据下面的例子分析
这里写图片描述
这里写图片描述
这里写图片描述

静态分派是多分派,动态分派是单分派

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值