JVM学习之:浅谈方法调用以及Override/Overload的原理

2024-02-14 11:58

本文主要是介绍JVM学习之:浅谈方法调用以及Override/Overload的原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!


提到方法调用,我想大多数人的第一反应就是执行一个方法呗,其实在虚拟机的眼里方法调用只是确定他要调用哪个方法而已,和方法的执行还是有比较大的区别的.任何一个层序的运行都离不开方法的调用以及方法的执行,但是在JVM学习之:虚拟机中的运行时栈帧总结(二)提到过,在Class文件的编译过程中不包括传统的连接步骤(连接:把符号引用转化为可以直接找到方法体的直接引用),但是正是因为这点也给java带来了更大的灵活性,因为不同的实现可能会在不同的阶段对符号引用进行转化,下面是对几种常见的方法调用类型进行描述


解析:

在JVM学习之:虚拟机中的运行时栈帧总结中提到了,如果符号引用是在类加载阶段或者第一次使用的时候转化为直接应用,那么这种转换成为静态解析,那么什么样的方法会在这个阶段进行转换了?虚拟机规范提到,只有在真正运行之前就可以确定调用版本的,并且在运行时是不可变的方法,简单的讲,也就是不能被覆盖.不能被改变,不能被重载的方法,其实也就是static方法,private方法,final方法,<init>构造器,父类方法,这几种方法都是适合在类加载解析阶段讲符号引用转换为直接引用的,对这写种类方法的调用也被称为解析.除了这些方法的其他方法也被称作为虚方法()

前面提到了几种方法的调用,虚拟机也提供了对应的字节码指令,分别是:

invokestatic:调用静态方法

invokespecial:调用构造器方法,私有方法以及父类方法

invokevirtual:调用虚方法以及final方法(虽然用invokevirtual调用,可是因为final方法的不可覆盖性,因此也是非虚方法)

invokeinterface:调用接口方法,会在运行时再确定一个具体的实现方法


下面通过一个演示类的反编译结果来对上面的字节码指令进行验证:

package com.eric.jvm.executor;/*** 通过反编译字节码来验证 * invokestatic:调用静态方法 * invokespecial:调用构造器方法,私有方法以及父类方法* invokevirtual:调用虚方法以及final方法(虽然用invokevirtual调用,可是因为final方法的不可覆盖性,因此也是非虚方法)* invokeinterface:调用接口方法,会在运行时再确定一个具体的实现方法* * * javap -verbose com.eric.jvm.executor.InvokeCommandExecutor* * @author Eric* */
public class InvokeCommandExecutor {public static void main(String[] args) {//invokestaticSubInvoker.invokeStatic();//invokespecial,SubInvoker si=new SubInvoker();//invokevirtualsi.invokeVirtual();//invokeinterfacesi.invokeInterface();}}class SubInvoker implements IExecutor{public static void invokeStatic(){System.out.println("invokestatic was execute");}public SubInvoker(){System.out.println("invokespecial was execute in construct");};public void invokeVirtual(){System.out.println("invokevirtual was execute");}@Overridepublic void invokeInterface() {System.out.println("invokeinterface was execute");}
}interface IExecutor{public void invokeInterface();
}

反编译后的相关的指令片段:对应main中的方法调用顺序





分派:

众所周知,面向对象的三个特点是:"继承,封装,多态",其中多态又包括覆盖和重载,本节提到的分派就是覆盖和重载的底层实现基础.那么让我们来看看什么是分派?分派和解析属于同一个范畴的概念,都是方法调用的类型而已,只是分派比解析要稍微的复杂一点,分派的符号应用可以再类加载阶段进行转换,也可以再运行时进行转换,而且根据宗量也可能存在单个宗量以及多个宗量,下面将分别对其种类进行说明:


静态分派(Overload):

静态分派可以认为是java可是实现overload的最根本的原因,首先让我们来看一个关于overload的例子(在写这篇文章之间我还是没能猜出正确的输出,正是可悲啊...)

package com.eric.jvm.executor;public class MethodOverloadResolution {public static void main(String[] args) {Human human = new Human();Human man = new Man();Human women = new Women();MethodOverloadResolution mor = new MethodOverloadResolution();mor.hello(human);mor.hello(man);mor.hello(women);//静态类型发生变化mor.hello((Man)man);mor.hello((Women)women);}public void hello(Human human) {System.out.println("Human say hello");}public void hello(Man human) {System.out.println("Man say hello");}public static void hello(Women human) {System.out.println("Women say hello");}}class Human {}class Man extends Human {}class Women extends Human {}

其输出的结果是

Human say hello
Human say hello
Human say hello
Man say hello
Women say hello

我想经常面试的人可以很顺利的猜到正确的输出结果,可是如果要是问一下到底为什么会这样可能很多人就答不出来了,下面我来对为什么会输出上面这样的结果来解释一下,

Human man = new Man();

首先看看两个比较重要的概念,Human是静态类型,Man是动态类型,静态类型是在编译期间确定的,而且虚拟机的重载依据是根据静态类型类确定的,所以在编译阶段,虚拟机已经决定好了要是用哪个版本的方法这也是输出3个Human say hello的原因.

依赖静态类型类确定方法版本的分派动作方式称为静态分派


关于静态分派还有一点比较重要的就是,在选择方法版本的时候是选择一个"最适合的",下面通过一个例子来看看到底什么是"最适合的":

import java.io.Serializable;public class MethodOverloadDemonstrate {/*** @param args*/public static void main(String[] args) {MethodOverloadDemonstrate demonstrate=new MethodOverloadDemonstrate();demonstrate.overLoad('c');}public void overLoad(char c){System.out.println("char");}public void overLoad(int c){System.out.println("int");}public void overLoad(long c){System.out.println("long");}public void overLoad(float c){System.out.println("float");}public void overLoad(double c){System.out.println("double");}public void overLoad(Character c){System.out.println("Character");}public void overLoad(Serializable c){System.out.println("Serializable");}public void overLoad(Object... c){System.out.println("Object...");}public void overLoad(Object c){System.out.println("Object");}public void overLoad(Integer c){System.out.println("Integer");}public void overLoad(Comparable<Character> c){System.out.println("Comparable<Character>");}}
当注释掉public void overLoad(char c){System.out.println("char");}方法时,编译器并没有报错,而是选择了public void overLoad(int c){System.out.println("int");},同样当注释掉public void overLoad(int c){System.out.println("int");}时,会继续将类型进行扩大,以此类推,调用方法的优先级顺序为 char->int->long->float->double->Character->接口(Serilizable)->父类(Object)->Object....objs

有一点需要注意的是,因为Character extends Object implements java.io.Serializable, Comparable<Character>,如果注释掉Serilizable类型参数前面的方法,则因为Serializable 和Compareable<Character>都是接口,所以有同样的优先级,这回让编译器不能确认具体的方法版本,会拒绝编译



动态分派(Override):

动态分派与java的另外一个重要特性,重写(Override)有这非常紧密的关系,下面通过一个简单的例子来说明虚拟机到底是如何实现Override的

package com.eric.jvm.executor;/*** 关于Override的例子* * @author Eric* */
public class MethodOverrideDemonstrate {public static void main(String[] args) {MethodOverrideDemonstrate demonstrate = new MethodOverrideDemonstrate();Parent parent = demonstrate.new Parent();Parent father = demonstrate.new Father();Parent mother = demonstrate.new Mother();parent.printInfo();father.printInfo();mother.printInfo();}class Parent {public void printInfo() {System.out.println("Parent output....");}}class Father extends Parent {public void printInfo() {System.out.println("Father output....");}}class Mother extends Parent {public void printInfo() {System.out.println("Mother output....");}}}
//outputParent output....
Father output....
Mother output.... 

因为静态分派是通过静态类型类确定方法版本的,所以可以推断出动态分派是根据动态类型类确定方法版本的,更具体的说是因为在例子中printInfo()方法为虚方法,执行虚方法的虚拟机指令为invokevirtual.而该指令的执行过程如下,由此可见,动态类型对于Override的重要性

单分派,多分派

方法的接受者以及方法的方法的参数统称为宗量.单分派即用一个宗量来确定执行的方法,多分派就是用多个方法来确定被执行的方法

package com.eric.jvm.executor;public class SingleMultiDispatch {/*** 演示单分派,多分派* * @param args*/public static void main(String[] args) {Parent parent=new Parent();Parent son=new Son();parent.buy(new IPhone());son.buy(new Sumsung());}static class Parent{public void buy(IPhone ipPhone){System.out.println("parent buy iphone");};public void buy(Sumsung sumsung){System.out.println("parent buy sumsung");};}static class Son extends Parent{public void buy(IPhone ipPhone){System.out.println("son buy iphone");};public void buy(Sumsung sumsung){System.out.println("son buy sumsung");};}static class Sumsung {}static class IPhone {}}

编译阶段的方法选择过程(静态分派)为,首先根据静态类型判断是Parent还是Son类确定静态类型,然后还要根据参数来决定动态类型,所以静态分派为多分派

运行阶段虚拟机选择的过程(动态分派)为,首先在编译阶段确定了方法签名位buy(Sumsung),所以这个时候参数已经确定了,唯一不能确定的就是方法的实际接受者,因此只有一个宗量,即动态分派为单分派



这篇关于JVM学习之:浅谈方法调用以及Override/Overload的原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/708435

相关文章

Spring 请求之传递 JSON 数据的操作方法

《Spring请求之传递JSON数据的操作方法》JSON就是一种数据格式,有自己的格式和语法,使用文本表示一个对象或数组的信息,因此JSON本质是字符串,主要负责在不同的语言中数据传递和交换,这... 目录jsON 概念JSON 语法JSON 的语法JSON 的两种结构JSON 字符串和 Java 对象互转

最详细安装 PostgreSQL方法及常见问题解决

《最详细安装PostgreSQL方法及常见问题解决》:本文主要介绍最详细安装PostgreSQL方法及常见问题解决,介绍了在Windows系统上安装PostgreSQL及Linux系统上安装Po... 目录一、在 Windows 系统上安装 PostgreSQL1. 下载 PostgreSQL 安装包2.

SQL中redo log 刷⼊磁盘的常见方法

《SQL中redolog刷⼊磁盘的常见方法》本文主要介绍了SQL中redolog刷⼊磁盘的常见方法,将redolog刷入磁盘的方法确保了数据的持久性和一致性,下面就来具体介绍一下,感兴趣的可以了解... 目录Redo Log 刷入磁盘的方法Redo Log 刷入磁盘的过程代码示例(伪代码)在数据库系统中,r

JAVA保证HashMap线程安全的几种方式

《JAVA保证HashMap线程安全的几种方式》HashMap是线程不安全的,这意味着如果多个线程并发地访问和修改同一个HashMap实例,可能会导致数据不一致和其他线程安全问题,本文主要介绍了JAV... 目录1. 使用 Collections.synchronizedMap2. 使用 Concurren

Java Response返回值的最佳处理方案

《JavaResponse返回值的最佳处理方案》在开发Web应用程序时,我们经常需要通过HTTP请求从服务器获取响应数据,这些数据可以是JSON、XML、甚至是文件,本篇文章将详细解析Java中处理... 目录摘要概述核心问题:关键技术点:源码解析示例 1:使用HttpURLConnection获取Resp

Java的栈与队列实现代码解析

《Java的栈与队列实现代码解析》栈是常见的线性数据结构,栈的特点是以先进后出的形式,后进先出,先进后出,分为栈底和栈顶,栈应用于内存的分配,表达式求值,存储临时的数据和方法的调用等,本文给大家介绍J... 目录栈的概念(Stack)栈的实现代码队列(Queue)模拟实现队列(双链表实现)循环队列(循环数组

Python实现图片分割的多种方法总结

《Python实现图片分割的多种方法总结》图片分割是图像处理中的一个重要任务,它的目标是将图像划分为多个区域或者对象,本文为大家整理了一些常用的分割方法,大家可以根据需求自行选择... 目录1. 基于传统图像处理的分割方法(1) 使用固定阈值分割图片(2) 自适应阈值分割(3) 使用图像边缘检测分割(4)

Java中Switch Case多个条件处理方法举例

《Java中SwitchCase多个条件处理方法举例》Java中switch语句用于根据变量值执行不同代码块,适用于多个条件的处理,:本文主要介绍Java中SwitchCase多个条件处理的相... 目录前言基本语法处理多个条件示例1:合并相同代码的多个case示例2:通过字符串合并多个case进阶用法使用

Java中的Lambda表达式及其应用小结

《Java中的Lambda表达式及其应用小结》Java中的Lambda表达式是一项极具创新性的特性,它使得Java代码更加简洁和高效,尤其是在集合操作和并行处理方面,:本文主要介绍Java中的La... 目录前言1. 什么是Lambda表达式?2. Lambda表达式的基本语法例子1:最简单的Lambda表

Java中Scanner的用法示例小结

《Java中Scanner的用法示例小结》有时候我们在编写代码的时候可能会使用输入和输出,那Java也有自己的输入和输出,今天我们来探究一下,对JavaScanner用法相关知识感兴趣的朋友一起看看吧... 目录前言一 输出二 输入Scanner的使用多组输入三 综合练习:猜数字游戏猜数字前言有时候我们在