方法调用
方法调用的唯一目的:确定要调用哪一个方法
方法调用分为解析调用和分派调用
非虚方法与虚方法
非虚方法: 静态方法,私有方法,父类中的方法,被final修饰的方法,实例构造器
与之对应不是非虚方法的就是虚方法了
它们都没有重写出其他版本的方法,非常适合在类加载阶段就进行解析(符号引用->直接引用)
调用指令
普通调用指令
invokestatic
:调用静态方法invokespecial
:调用私有方法,父类中的方法,实例构造器方法,final方法invokeinterface
:调用接口方法invokevirtual
: 调用虚方法
使用
invokestatic
和invokespecial
指令的一定是非虚方法使用
invokeinterface
指令一定是虚方法(因为接口方法需要具体的实现类去实现)使用
invokevirtual
指令的是虚方法动态调用指令
invokedynamic
: 动态解析出需要调用的方法再执行
jdk 7 出现
invokedynamic
,支持动态语言
测试虚方法代码
- 父类
publicclassFather{publicstaticvoidstaticMethod(){System.out.println("father static method");}publicfinalvoidfinalMethod(){System.out.println("father final method");}publicFather(){System.out.println("father init method");}publicvoidoverrideMethod(){System.out.println("father override method");}}
- 接口
publicinterfaceTestInterfaceMethod{voidtestInterfaceMethod();}
- 子类
publicclassSonextendsFather{publicSon(){//invokespecial 调用父类init 非虚方法super();//invokestatic 调用父类静态方法 非虚方法staticMethod();//invokespecial 调用子类私有方法 特殊的非虚方法privateMethod();//invokevirtual 调用子类的重写方法 虚方法overrideMethod();//invokespecial 调用父类方法 非虚方法super.overrideMethod();//invokespecial 调用父类final方法 非虚方法super.finalMethod();//invokedynamic 动态生成接口的实现类 动态调用TestInterfaceMethod test=()->{System.out.println("testInterfaceMethod");};//invokeinterface 调用接口方法 虚方法
test.testInterfaceMethod();}@OverridepublicvoidoverrideMethod(){System.out.println("son override method");}privatevoidprivateMethod(){System.out.println("son private method");}publicstaticvoidmain(String[] args){newSon();}}
注意: 接口中的默认方法也是invokeinterface
,接口中的静态方法是invokestatic
解析调用
在编译就确定了要调用哪个方法,运行时不可以改变
解析调用 调用的是 非虚方法
分派调用
分派又分为静态分派与动态分配
早期绑定:解析调用和静态分派这种编译期间可以确定调用哪个方法
晚期绑定: 动态分派这种编译期无法确定,要到运行时才能确定调用哪个方法
静态分派
// 静态类型 实际类型List list=newArrayList();
静态分派: 根据静态类型决定方法执行的版本的分派
发生在编译期,特殊的解析调用
典型的表现就是方法的重载
publicclassStaticDispatch{publicvoidtest(List list){System.out.println("list");}publicvoidtest(ArrayList arrayList){System.out.println("arrayList");}publicstaticvoidmain(String[] args){ArrayList arrayList=newArrayList();List list=newArrayList();StaticDispatch staticDispatch=newStaticDispatch();
staticDispatch.test(list);
staticDispatch.test(arrayList);}}/*
list
arrayList
*/
方法的版本并不是唯一的,往往只能确定一个最适合的版本
动态分派
动态分派:动态期根据实际类型确定方法执行版本的分派
动态分派与重写有着紧密的联系
publicclassDynamicDispatch{publicstaticvoidmain(String[] args){Father father=newFather();Father son=newSon();
father.hello();
son.hello();}staticclassFather{publicvoidhello(){System.out.println("Father hello");}}staticclassSonextendsFather{@Overridepublicvoidhello(){System.out.println("Son hello");}}}/*
Father hello
Son hello
*/
虽然常量池中的符号引用相同,invokevirtual
指令最终指向的方法却不一样
分析invokevirtual指令搞懂它是如何确定调用的方法
- invokevirtual找到栈顶元素的实际类型
- 如果在这个实际类型中找到与常量池中描述符与简单名称相符的方法,并通过访问权限的验证就返回这个方法的引用(未通过权限验证返回
IllegalAccessException
非法访问异常) - 如果在实际类型中未找到,就去实际类型的父类中寻找(没找到抛出
AbstractMethodError
异常)
因此,子类重写父类方法时,根据invokevirtual指令规则,先找实际类型,所以才存在重写的多态
频繁的动态分派会重新查找栈顶元素实际类型,会影响执行效率
为提高性能,JVM在该类方法区建立虚方法表使用索引表来代替查找
字段不存在多态
当子类出现与父类相同的字段,子类会覆盖父类的字段
publicclassDynamicDispatch{publicstaticvoidmain(String[] args){Father son=newSon();}staticclassFather{int num=1;publicFather(){hello();}publicvoidhello(){System.out.println("Father hello "+ num);}}staticclassSonextendsFather{int num=2;publicSon(){hello();}@Overridepublicvoidhello(){System.out.println("Son hello "+ num);}}}/*
Son hello 0
Son hello 2
*/
先对父类进行初始化,所以会先执行父类中的构造方法,而构造方法去执行了hello()
方法,此时的实际类型是Son于是会去执行Son的hello方法,此时子类还未初始化成员变量,只是有个默认值,所以输出Son hello 0
单分派与多分派
publicclassDynamicDispatch{publicstaticvoidmain(String[] args){Father son=newSon();Father father=newFather();
son.hello(newNod());
father.hello(newWave());}staticclassFather{publicvoidhello(Nod nod){System.out.println("Father nod hello ");}publicvoidhello(Wave wave){System.out.println("Father wave hello ");}}staticclassSonextendsFather{@Overridepublicvoidhello(Nod nod){System.out.println("Son nod hello");}@Overridepublicvoidhello(Wave wave){System.out.println("Son wave hello");}}//招手staticclassWave{}//点头staticclassNod{}}/*
Son nod hello
Father wave hello
*/
宗量: 方法参数与方法调用者
分派还可以分为单,多分派
单分派:根据一个宗量选择方法
多分派:根据多个宗量选择方法
在编译时,不仅要关心静态类型是Father还是Son,还要关心参数是Nod还是Wave,所以静态分派是多分派(根据两个宗量对方法进行选择)
在执行son.hello(new Nod())
时只需要关心实际类型是Son还是Father,所以动态分派是单分派(根据一个宗量对方法进行选择)