分派(Dispatch)可能是静态也可能是动态的,根据分派依据的宗量数可分为单分派和多分派。这两种分派方式的两两组合就构成了静态单分派,静态多分派,动态单分派,动态多分派这4种组合。本章讲静态分派。
1、静态分派
所有依赖静态类型来定位方法执行版本的分派动作称为静态分派。静态分派的典型应用是方法重载。静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行的。
那么什么是静态类型(static type)呢?
Super object = new Sub();
像上面的语句,Super是变量的静态类型,Sub是变量的实际类型(actual type),静态类型和实际类型在程序中都可以发生一些变化,区别是静态类型的变化仅仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型是在编译期可知的;而实际类型变化 的结果在运行期才可确定,编译器在编译程序的时候并不知道一个对象的实际地址是什么。
静态分派一词实际上是中文翻译特有的,国外的技术文档都是将其称为Method Overload Resolution。这样一来就更好理解了,因为是Resolution(解析)
下面的代码可以说明这一点:
public static class Printer { public static void print(Super object) { System.out.println("it is Super"); } public static void print(Sub object) { System.out.println("it is Sub"); } }
当调用print方法时,打印的将是"it is Super".
2、 调用“合适”的方法
编译器虽然能确定出方法的重载版本,但在很多情况下这个重载版本并不是“唯一的”,往往只能确定一个“更加合适”的版本。什么意思呢?看看下面的代码。
public static void main(String[] args) { char c = 'a'; Printer.print(c); } public static class Printer { public static void print(int i) { System.out.println("it is int"); } public static void print(byte b) { System.out.println("it is byte"); } }
上面的代码可以执行吗?乍看之下,没有类型为char的重载方法,是不是会报错?实际上,会打印出 it is int。也就是说,虽然没有char类型参数的方法,但编译器通过参数自动转型帮你找到了一个“合适”的方法调用。
转换的路径是char->int->long->float->double,如果还没找到合适的方法,则自动装箱成Character,此时已经是一个类。如果还找不到,则开始查找该类实现的接口(优先),父类(在继承关系中从下往上找,越接近上层的优先级越低)。如果有多个接口同时出现两个参数一致的,此时优先级是一样的,编译器无法确定自动转型为哪种类型,会提示类型模糊,拒绝编译。程序必须在调用时显式地指定字段的静态类型。
下面这个例子,没有参数为Sub的方法,按照参数自动转型,查找最合适方法的方式,会找到Super为参数方法调用。
public static void main(String[] args) { Sub object = new Sub(); Printer.print(object); } public static class Printer { public static void print(Super object) { System.out.println("it is Super"); } }
此外还要注意一点是传入参数为null. 如果重载方法里有两个不同的类型的参数,即使两者没有继承关系,编译器也会判断不了到底调用哪个。
public static void main(String[] args) { Printer.print(null); } public static class Printer { public static void print(Super object) { System.out.println("it is Super"); } public static void print(App app) { System.out.println("it is App"); } }
在调用的时候强制转换,指定类型,就可以解决了。
Printer.print((App)null);
要注意的一点是,解析与分派这两者之间的关系并不是二选一的排他关系,它们是在不同层次上去筛选,确定目标方法的过程。例如,静态方法在类加载期就会解析,但静态方法也是可以有重载版本的,选择重载版本的过程也是通过静态分派完成的。
以上这篇JVM 方法调用之静态分派(详解)就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持小牛知识库。
本文向大家介绍JVM 方法调用之动态分派(详解),包括了JVM 方法调用之动态分派(详解)的使用技巧和注意事项,需要的朋友参考一下 1. 动态分派 一个体现是重写(override)。下面的代码,运行结果很明显。 最终输出sub : f(); 那么虚拟机是怎么做到动态分派的呢? 不同的虚拟机有不同的实现,最常用的是使用虚方法表(Virtual Method Table) 2. 虚方法表 对于Sup
我最近对 PHP 5.4 进行了更新,但收到有关静态和非静态代码的错误。 这是错误: 这是第371行: 我希望有人能帮忙。
问题内容: 尝试在静态类中调用非静态方法时遇到错误。 无法从类型播放中静态引用非静态方法methodName() 我不能使该方法静态,因为这也给我一个错误。 此静态方法无法从xInterface隐藏实例方法 有什么办法可以在另一个静态方法中轮回调用非静态方法?(这两种方法位于单独的包和单独的类中)。 问题答案: 从静态方法中调用非静态方法的唯一方法是使类的实例包含非静态方法。根据定义,非静态方法是
我正在使用存储库模式并尝试建立模型之间的关系。当我尝试运行存储()方法(在控制器中),该方法试图使用用户()方法(与方模型建立关系)时,我收到以下错误消息: 非静态方法不应该静态调用::user(),假设$this来自不兼容的上下文 我不明白为什么在尝试运行user()relationship方法时会出现此错误,但所有其他方法(包括$this- 以下是相关代码:
本文向大家介绍IOS 静态方法与动态方法详解,包括了IOS 静态方法与动态方法详解的使用技巧和注意事项,需要的朋友参考一下 IOS 静态方法与动态方法详解 1、问题提出 iOS中有静态方法与动态方法,那么两种方法的异同是什么? 2、问题分析 因为每个对象都由相应的数据结构与方法相构成,一个程序可能有多个属于同一个类的对象,而每个对象的数据结构应该是不一的,但方法是相同的,若为每
问题内容: 我遇到了一个涉及静态泛型方法的奇怪情况。这是代码: 我为什么不必在表达式中指定任何类型参数?这是某种类型推断吗?如果我想对此进行明确说明,如何指定类型参数? 问题答案: 是的,根据JLS第15.12.2.8节,这是基于分配目标的类型推断。明确地说,您可以这样称呼: