分派(调度)可能是静态也可能是动态的,根据分派依据的宗量数可分为单分派和多分派。这两种分派方式的两两组合就构成了静态单分派,静态多分派,动态单分派,动态多分派这4种组合。本章讲静态分派。
所有<强> 强>来定位方法执行版本的分派动作称为静态分派。静态分派的典型应用是方法重载。静态分派发生在编译阶段,因此确定静态分派的动作实际上不是由虚拟机来执行的。
那么什么是静态类型(静态类型)呢?
超级对象=new子();
像上面的语句,超级是变量的静态类型,子是变量的实际类型(实际类型),静态类型和实际类型在程序中都可以发生一些变化,区别是静态类型的变化仅仅在使用时发生,变量本身的静态类型不会被改变,并且最终的静态类型是在编译期可知的;而实际类型变化的结果在运行期才可确定,编译器在编译程序的时候并不知道一个对象的实际地址是什么。
静态分派一词实际上是中文翻译特有的,国外的技术文档都是将其称为方法重载决议。这样一来就更好理解了,因为是决议(解析)
公共静态类打印机{ 公共静态空白打印(超级对象){ system . out。println(“超级”); } 公共静态空白打印(子对象){ system . out。println(“子”); } }
当调用印刷方法时,打印的将是“超级”
。
编译器虽然能确定出方法的重载版本,但在很多情况下这个重载版本并不是“唯一的”,往往只能确定一个“更加合适”的版本。什么意思呢?看看下面的代码。
公共静态void main (String [] args) { 字符c=' a '; Printer.print (c); } 公共静态类打印机{ 公共静态空白打印(int i) { system . out。println (“int”); } 公共静态空白打印(字节b) { system . out。println(“字节”); } }
上面的代码可以执行吗?乍看之下,没有类型为char的重载方法,是不是会报错?实际上,会打印出int。也就是说,虽然没有字符类型参数的方法,但编译器通过<强> 强>帮你找到了一个“合适”的方法调用。
转换的路径是,如果还没找到合适的方法,则自动装箱成性格,此时已经是一个类,如果还找不到,则开始查找<强> >强。如果有多个接口同时出现两个参数一致的,此时优先级是一样的,编译器无法确定自动转型为哪种类型,会提示类型模糊,拒绝编译。程序必须在调用时显式地指定字段的静态类型。
下面这个例子,没有参数为子的方法,按照参数自动转型,查找最合适方法的方式,会找到超级为参数方法调用。
公共静态void main (String [] args) { 子对象=new子(); Printer.print(对象); } 公共静态类打印机{ 公共静态空白打印(超级对象){ system . out。println(“超级”); } }
此外还要注意一点是传入参数为零。如果重载方法里有两个不同的类型的参数,即使两者没有继承关系,编译器也会判断不了到底调用哪个。
公共静态void main (String [] args) { Printer.print(空); } 公共静态类打印机{ 公共静态空白打印(超级对象){ system . out。println(“超级”); } 公共静态空白打印(应用程序){ system . out。println(“软件”); } }
在调用的时候强制转换,指定类型,就可以解决了。
Printer.print ((App) null);
要注意的一点是,解析与分派这两者之间的关系并不是二选一的排他关系,它们是在不同层次上去筛选,确定目标方法的过程,例如,静态方法在类加载期就会解析,但静态方法也是可以有重载版本的,选择重载版本的过程也是通过静态分派完成的。
以上这篇JVM方法调用之静态分派(详解)就是小编分享给大家的全部内容了,希望能给大家一个参考,也希望大家多多支持。