java虚拟机字节码执行引擎之方法调用

方法调用阶段唯一的任务是确定被调用方法的版本,即调用哪一个方法.

一切方法调用在Class文件里面存储的都只是符号引用,不是方法在实际运行时内存布局中的入口地址,需要在类加载期间,甚至到运行期间才能确定目标方法的直接引用.

1,非虚方法的调用称为解析,在类加载阶段将符号引用解析为该方法的直接引用.

   非虚方法:静态方法,私有方法,实例构造器,父类方法,被final修饰的方法.

   解析调用一定是静态的过程,在编译期间就完全确定.

2,分派:可能是静态,可能是动态,根据分派依据的宗量数可分为单分派,多分派.所以有4种分派类型:  静态单分派,静态多分派,动态单分派,动态多分派.

   分派调用揭示了多态性的基本体现,如"重载"和"重写"是如何实现的,我们关心的是虚拟机如何确定正确的目标方法.

   1>静态分派:在编译期依赖静态类型来定位方法执行版本的分派动作.典型应用是方法重载,

   

   重载是通过参数的静态类型而不是实际类型作为判定依据. 因为静态分派发生在编译阶段,所以静态分派是由编译器执行的,不是虚拟机,编译器在编译程序时并不知道对象的实际类型.

   2>动态分派:在运行期根据实际类型来定位方法执行版本的分派动作,典型应用:重写

   方法重写的本质:在运行期确定方法接受者的实际类型,将常量池中的类方法引用解析到了不同的直接引用上.

   

   3>单分派和多分派:根据宗量数分类

    宗量:方法的接受者和方法的参数.单分派根据一个宗量对目标方法进行选择,多分派根据多于一个宗量进行选择.

    java语言是一门 静态多分派,动态单分派的语言.

    

   动态分派的"稳定优化"手段是为类在方法区中建立一个虚方法表(vtable),为接口建立接口方法表(itable);

   虚方法表中存放这各方法的实际入口地址.方法没有在子类中重写,地址入口和父类相同方法一样,否则子类方法表中的地址将会替代为指向子类实现版本的入口地址.

   方法表一般在类加载阶段的连接阶段进行初始化,准备了类的变量初始值后,虚拟机会把该类的方法表也初始化完毕.

   内联缓存和基于"类型继承关系分析"技术的守护内联是非稳定的"激进优化".

从main方法入口,一直执行字节码指令,遇到方法调用,便确定目标方法,然后执行目标方法字节码指令,执行完目标方法,返回到调用者方法继续执行,直到程序结束.

这一章讲了 如何确定调用的是什么方法,下一章讲 如何执行方法中的字节码指令.