怎么使用java JVM方法分派模型(java,jvm,开发技术)

定义：确定执行哪个方法 的过程

a. 疑问 有些读者会问，方法的执行不是取决于代码设置中的执行对象吗？为什么还要选择呢？ b. 回答

若 一个对象对应于多个方法 时，就需要进行选择了

读者应该都想到了 Java中的特性：多态，即重写 & 重载。下面我会详细讲解。

分类：静态分派 & 动态分派。下面我将详细讲解。

先看下面的代码

即：

变量的静态类型 = 引用类型 ：不会被改变、在编译器可知

变量的动态类型 = 实例对象类型 ：会变化、在运行期才可知

下面，我将详细讲解Java中的分派类型：静态分派 & 动态分派

定义 根据 变量的静态类型 进行方法分派 的 行为

即根据 变量的静态类型 确定执行哪个方法

发生在编译期，所以不由 Java 虚拟机来执行

应用场景 方法重载（OverLoad）

实例说明

根据上述的讲解，大家应该明白运行结果的原因：

方法重载（OverLoad） = 静态分派 = 根据 变量的静态类型 确定执行（重载）哪个方法

所以上述的方法执行时，是根据变量（man、woman）的静态类型（Human）确定重载sayHello()中参数为Human guy的方法，即sayHello(Human guy)

特别注意

可通过 强制类型转换 改变 变量的静态类型

问题描述：

背景 现需要进行静态分派

问题 程序中 没有显示指定 静态类型

解决方案 程序会根据 静态类型的优先级 从而选择 优先的静态类型进行方法分配。

实例说明

因为‘a’是一个char类型数据（即静态类型是char），所以会选择参数类型为char的重载方法。

若注释掉sayHello(char arg)方法，那么会输出

因为‘a’除了可代表字符串，还可代表数字97。因此当没有最合适的sayHello(char arg)方式进行重载时，会选择第二合适（第二优先级）的方法重载，即 sayHello(int arg)

总结：当没有最合适的方法进行重载时，会选优先级第二高的的方法进行重载，如此类推。

优先级顺序为：

char>int>long>float>double>Character>Serializable>Object>...

其中...为变长参数，将其视为一个数组元素。变长参数的重载优先级最低。

因为 char 转型到 byte 或 short 的过程是不安全的，所以不会选择参数类型为byte 或 short的方法进行重载，故优先级列表里也没有。

上面讲解的主要是 基本数据类型的优先级匹配问题

若是引用类型，则根据 继承关系 进行优先级匹配

注意只跟其编译时类型（即静态类型）相关

定义 根据 变量的动态类型 进行方法分派 的 行为

即根据 变量的动态类型 确定执行哪个方法

应用场景 方法重写（Override）

实例说明

特别注意

对于代码中：

invokevirtual指令执行的第一步 = 确定接受者的实际类型

invokevirtual指令执行的第二步 = 将 常量池中 类方法符号引用 解析到不同的直接引用上

第二步即方法重写（Override）的本质