【JVM 基础】类字节码详解

JVM 基础 - 类字节码详解

  • 多语言编译为字节码在JVM运行
  • Java字节码文件
    • Class文件的结构属性
    • 从一个例子开始
    • 反编译字节码文件
    • 字节码文件信息
    • 常量池
    • 方法表集合
    • 类名
  • 再看两个示例
    • 分析try-catch-finally
    • kotlin 函数扩展的实现

源代码通过编译器编译为字节码，再通过类加载子系统进行加载到JVM中运行。

多语言编译为字节码在JVM运行

计算机是不能直接运行java代码的，必须要先运行java虚拟机，再由java虚拟机运行编译后的java代码。这个编译后的java代码，就是本文要介绍的java字节码。

为什么jvm不能直接运行java代码呢，这是因为在cpu层面看来计算机中所有的操作都是一个个指令的运行汇集而成的，java是高级语言，只有人类才能理解其逻辑，计算机是无法识别的，所以java代码必须要先编译成字节码文件，jvm才能正确识别代码转换后的指令并将其运行。

  • Java代码间接翻译成字节码，储存字节码的文件再交由运行于不同平台上的JVM虚拟机去读取执行，从而实现一次编写，到处运行的目的。

  • JVM也不再只支持Java，由此衍生出了许多基于JVM的编程语言，如Groovy, Scala, Koltin等等。

在这里插入图片描述

Java字节码文件

class文件本质上是一个以8位字节为基础单位的二进制流，各个数据项目严格按照顺序紧凑的排列在class文件中。jvm根据其特定的规则解析该二进制数据，从而得到相关信息。

Class文件采用一种伪结构来存储数据，它有两种类型：无符号数和表。这里暂不详细的讲。

本文将通过简单的java例子编译后的文件来理解。

Class文件的结构属性

在理解之前先从整体看下java字节码文件包含了哪些类型的数据：
在这里插入图片描述

从一个例子开始

下面以一个简单的例子来逐步讲解字节码。

//Main.java
public class Main {private int m;public int inc() {return m + 1;}
}

通过以下命令, 可以在当前所在路径下生成一个Main.class文件。

javac Main.java

以文本的形式打开生成的class文件，内容如下:

cafe babe 0000 0034 0013 0a00 0400 0f09
0003 0010 0700 1107 0012 0100 016d 0100
0149 0100 063c 696e 6974 3e01 0003 2829
5601 0004 436f 6465 0100 0f4c 696e 654e
756d 6265 7254 6162 6c65 0100 0369 6e63
0100 0328 2949 0100 0a53 6f75 7263 6546
696c 6501 0009 4d61 696e 2e6a 6176 610c
0007 0008 0c00 0500 0601 0010 636f 6d2f
7268 7974 686d 372f 4d61 696e 0100 106a
6176 612f 6c61 6e67 2f4f 626a 6563 7400
2100 0300 0400 0000 0100 0200 0500 0600
0000 0200 0100 0700 0800 0100 0900 0000
1d00 0100 0100 0000 052a b700 01b1 0000
0011 000a 0000 0006 0001 0000 0003 0001
000b 000c 0001 0009 0000 001f 0002 0001
0000 0007 3ab4 0002 0460 ac00 0000 0100
0a00 0000 0600 0100 0000 0800 0100 0d00
0000 0200 00e

  • 文件开头的4个字节(“cafe babe”)称之为 魔数，唯有以"cafe babe"开头的class文件方可被虚拟机所接受，这4个字节就是字节码文件的身份识别。

  • 0000是编译器jdk版本的次版本号0，0034转化为十进制是52,是主版本号，java的版本号从45开始，除1.0和1.1都是使用45.x外,以后每升一个大版本，版本号加一。也就是说，编译生成该class文件的jdk版本为1.8.0。

通过java -version命令稍加验证, 可得结果。

Java(TM) SE Runtime Environment (build 1.8.0_131-b11)
Java HotSpot(TM) 64-Bit Server VM (build 25.131-b11, mixed mode)

继续往下是常量池… 知道是这么分析的就可以了，然后我们通过工具反编译字节码文件继续去看。

反编译字节码文件

使用到java内置的一个反编译工具javap可以反编译字节码文件, 用法: javap <options> <classes>

其中<options>选项包括:

  -help  --help  -?        输出此用法消息-version                 版本信息-v  -verbose             输出附加信息-l                       输出行号和本地变量表-public                  仅显示公共类和成员-protected               显示受保护的/公共类和成员-package                 显示程序包/受保护的/公共类和成员 (默认)-p  -private             显示所有类和成员-c                       对代码进行反汇编-s                       输出内部类型签名-sysinfo                 显示正在处理的类的系统信息 (路径, 大小, 日期, MD5 散列)-constants               显示最终常量-classpath <path>        指定查找用户类文件的位置-cp <path>               指定查找用户类文件的位置-bootclasspath <path>    覆盖引导类文件的位置

输入命令javap -verbose -p Main.class查看输出内容:

Classfile /E:/JavaCode/TestProj/out/production/TestProj/com/rhythm7/Main.classLast modified 2018-4-7; size 362 bytesMD5 checksum 4aed8540b098992663b7ba08c65312deCompiled from "Main.java"
public class com.rhythm7.Mainminor version: 0major version: 52flags: ACC_PUBLIC, ACC_SUPER
Constant pool:#1 = Methodref          #4.#18         // java/lang/Object."<init>":()V#2 = Fieldref           #3.#19         // com/rhythm7/Main.m:I#3 = Class              #20            // com/rhythm7/Main#4 = Class              #21            // java/lang/Object#5 = Utf8               m#6 = Utf8               I#7 = Utf8               <init>#8 = Utf8               ()V#9 = Utf8               Code#10 = Utf8               LineNumberTable#11 = Utf8               LocalVariableTable#12 = Utf8               this#13 = Utf8               Lcom/rhythm7/Main;#14 = Utf8               inc#15 = Utf8               ()I#16 = Utf8               SourceFile#17 = Utf8               Main.java#18 = NameAndType        #7:#8          // "<init>":()V#19 = NameAndType        #5:#6          // m:I#20 = Utf8               com/rhythm7/Main#21 = Utf8               java/lang/Object
{private int m;descriptor: Iflags: ACC_PRIVATEpublic com.rhythm7.Main();descriptor: ()Vflags: ACC_PUBLICCode:stack=1, locals=1, args_size=10: aload_01: invokespecial #1                  // Method java/lang/Object."<init>":()V4: returnLineNumberTable:line 3: 0LocalVariableTable:Start  Length  Slot  Name   Signature0       5     0  this   Lcom/rhythm7/Main;public int inc();descriptor: ()Iflags: ACC_PUBLICCode:stack=2, locals=1, args_size=10: aload_01: getfield      #2                  // Field m:I4: iconst_15: iadd6: ireturnLineNumberTable:line 8: 0LocalVariableTable:Start  Length  Slot  Name   Signature0       7     0  this   Lcom/rhythm7/Main;
}
SourceFile: "Main.java"

字节码文件信息

开头的7行信息包括:Class文件当前所在位置，最后修改时间，文件大小，MD5值，编译自哪个文件，类的全限定名，jdk次版本号，主版本号。

然后紧接着的是该类的访问标志：ACC_PUBLIC, ACC_SUPER，访问标志的含义如下:

标志名称标志值含义
ACC_PUBLIC0x0001是否为Public类型
ACC_FINAL0x0010是否被声明为final，只有类可以设置
ACC_SUPER0x0020是否允许使用invokespecial字节码指令的新语义．
ACC_INTERFACE0x0200标志这是一个接口
ACC_ABSTRACT0x0400是否为abstract类型，对于接口或者抽象类来说，次标志值为真，其他类型为假
ACC_SYNTHETIC0x1000标志这个类并非由用户代码产生
ACC_ANNOTATION0x2000标志这是一个注解
ACC_ENUM0x4000标志这是一个枚举

常量池

Constant pool意为常量池。

常量池可以理解成Class文件中的资源仓库。主要存放的是两大类常量：字面量(Literal)和符号引用(Symbolic References)。字面量类似于java中的常量概念，如文本字符串，final常量等，而符号引用则属于编译原理方面的概念，包括以下三种:

  • 类和接口的全限定名(Fully Qualified Name)
  • 字段的名称和描述符号(Descriptor)
  • 方法的名称和描述符

不同于C/C++, JVM是在加载Class文件的时候才进行的动态链接，也就是说这些字段和方法符号引用只有在运行期转换后才能获得真正的内存入口地址。当虚拟机运行时，需要从常量池获得对应的符号引用，再在类创建或运行时解析并翻译到具体的内存地址中。 直接通过反编译文件来查看字节码内容：

#1 = Methodref          #4.#18         // java/lang/Object."<init>":()V
#4 = Class              #21            // java/lang/Object
#7 = Utf8               <init>
#8 = Utf8               ()V
#18 = NameAndType        #7:#8          // "<init>":()V
#21 = Utf8               java/lang/Object

第一个常量是一个方法定义，指向了第4和第18个常量。以此类推查看第4和第18个常量。最后可以拼接成第一个常量右侧的注释内容:

java/lang/Object."<init>":()V

这段可以理解为该类的实例构造器的声明，由于Main类没有重写构造方法，所以调用的是父类的构造方法。此处也说明了Main类的直接父类是Object。 该方法默认返回值是V, 也就是void，无返回值。

第二个常量同理可得:

#2 = Fieldref           #3.#19         // com/rhythm7/Main.m:I
#3 = Class              #20            // com/rhythm7/Main
#5 = Utf8               m
#6 = Utf8               I
#19 = NameAndType        #5:#6          // m:I
#20 = Utf8               com/rhythm7/Main

复制代码此处声明了一个字段m，类型为I, I即是int类型。关于字节码的类型对应如下：

标识字符含义
B基本类型byte
C基本类型char
D基本类型double
F基本类型float
I基本类型int
J基本类型long
S基本类型short
Z基本类型boolean
V特殊类型void
L对象类型，以分号结尾，如Ljava/lang/Object;

对于数组类型，每一位使用一个前置的[字符来描述，如定义一个java.lang.String[][]类型的维数组，将被记录为[[Ljava/lang/String;

方法表集合

在常量池之后的是对类内部的方法描述，在字节码中以表的集合形式表现，暂且不管字节码文件的16进制文件内容如何，我们直接看反编译后的内容。

private int m;descriptor: Iflags: ACC_PRIVATE

此处声明了一个私有变量m，类型为int，返回值为int

public com.rhythm7.Main();descriptor: ()Vflags: ACC_PUBLICCode:stack=1, locals=1, args_size=10: aload_01: invokespecial #1                  // Method java/lang/Object."<init>":()V4: returnLineNumberTable:line 3: 0LocalVariableTable:Start  Length  Slot  Name   Signature0       5     0  this   Lcom/rhythm7/Main;

这里是构造方法：Main()，返回值为void, 公开方法。

code内的主要属性为:

  • stack: 最大操作数栈，JVM运行时会根据这个值来分配栈帧(Frame)中的操作栈深度,此处为1
  • locals: 局部变量所需的存储空间，单位为Slot, Slot是虚拟机为局部变量分配内存时所使用的最小单位，为4个字节大小。方法参数(包括实例方法中的隐藏参数this)，显示异常处理器的参数(try catch中的catch块所定义的异常)，方法体中定义的局部变量都需要使用局部变量表来存放。值得一提的是，locals的大小并不一定等于所有局部变量所占的Slot之和，因为局部变量中的Slot是可以重用的。
  • args_size: 方法参数的个数，这里是1，因为每个实例方法都会有一个隐藏参数this
  • attribute_info: 方法体内容，0,1,4为字节码"行号"，该段代码的意思是将第一个引用类型本地变量推送至栈顶，然后执行该类型的实例方法，也就是常量池存放的第一个变量，也就是注释里的java/lang/Object."":()V, 然后执行返回语句，结束方法。
  • LineNumberTable: 该属性的作用是描述源码行号与字节码行号(字节码偏移量)之间的对应关系。可以使用 -g:none 或-g:lines选项来取消或要求生成这项信息，如果选择不生成LineNumberTable，当程序运行异常时将无法获取到发生异常的源码行号，也无法按照源码的行数来调试程序。
  • LocalVariableTable: 该属性的作用是描述帧栈中局部变量与源码中定义的变量之间的关系。可以使用 -g:none 或 -g:vars来取消或生成这项信息，如果没有生成这项信息，那么当别人引用这个方法时，将无法获取到参数名称，取而代之的是arg0, arg1这样的占位符。 start 表示该局部变量在哪一行开始可见，length表示可见行数，Slot代表所在帧栈位置，Name是变量名称，然后是类型签名。

同理可以分析Main类中的另一个方法"inc()":

方法体内的内容是：将this入栈，获取字段#2并置于栈顶, 将int类型的1入栈，将栈内顶部的两个数值相加，返回一个int类型的值。

类名

最后很显然是源码文件：

SourceFile: "Main.java"

再看两个示例

分析try-catch-finally

通过以上一个最简单的例子，可以大致了解源码被编译成字节码后是什么样子的。 下面利用所学的知识点来分析一些Java问题:

public class TestCode {public int foo() {int x;try {x = 1;return x;} catch (Exception e) {x = 2;return x;} finally {x = 3;}}
}

试问当不发生异常和发生异常的情况下，foo()的返回值分别是多少。

javac TestCode.java
javap -verbose TestCode.class

查看字节码的foo方法内容:

public int foo();descriptor: ()Iflags: ACC_PUBLICCode:stack=1, locals=5, args_size=10: iconst_1 //int型1入栈 ->栈顶=11: istore_1 //将栈顶的int型数值存入第二个局部变量 ->局部2=12: iload_1 //将第二个int型局部变量推送至栈顶 ->栈顶=13: istore_2 //!!将栈顶int型数值存入第三个局部变量 ->局部3=14: iconst_3 //int型3入栈 ->栈顶=35: istore_1 //将栈顶的int型数值存入第二个局部变量 ->局部2=36: iload_2 //!!将第三个int型局部变量推送至栈顶 ->栈顶=17: ireturn //从当前方法返回栈顶int数值 ->18: astore_2 // ->局部3=Exception9: iconst_2 // ->栈顶=210: istore_1 // ->局部2=211: iload_1 //->栈顶=212: istore_3 //!! ->局部4=213: iconst_3 // ->栈顶=314: istore_1 // ->局部1=315: iload_3 //!! ->栈顶=216: ireturn // -> 217: astore        4 //将栈顶引用型数值存入第五个局部变量=any19: iconst_3 //将int型数值3入栈 -> 栈顶320: istore_1 //将栈顶第一个int数值存入第二个局部变量 -> 局部2=321: aload         4 //将局部第五个局部变量(引用型)推送至栈顶23: athrow //将栈顶的异常抛出Exception table:from    to  target type0     4     8   Class java/lang/Exception //0到4行对应的异常，对应#8中储存的异常0     4    17   any //Exeption之外的其他异常8    13    17   any17    19    17   any

在字节码的4,5，以及13,14中执行的是同一个操作，就是将int型的3入操作数栈顶，并存入第二个局部变量。这正是我们源码在finally语句块中内容。也就是说，JVM在处理异常时，会在每个可能的分支都将finally语句重复执行一遍。

通过一步步分析字节码，可以得出最后的运行结果是：

  • 不发生异常时: return 1
  • 发生异常时: return 2
  • 发生非Exception及其子类的异常，抛出异常，不返回值

kotlin 函数扩展的实现

kotlin提供了扩展函数的语言特性，借助这个特性，我们可以给任意对象添加自定义方法。

以下示例为Object添加"sayHello"方法

//SayHello.kt
package com.rhythm7fun Any.sayHello() {println("Hello")
}

编译后，使用javap查看生成SayHelloKt.class文件的字节码。

Classfile /E:/JavaCode/TestProj/out/production/TestProj/com/rhythm7/SayHelloKt.class
Last modified 2018-4-8; size 958 bytesMD5 checksum 780a04b75a91be7605cac4655b499f19Compiled from "SayHello.kt"
public final class com.rhythm7.SayHelloKtminor version: 0major version: 52flags: ACC_PUBLIC, ACC_FINAL, ACC_SUPER
Constant pool://省略常量池部分字节码
{public static final void sayHello(java.lang.Object);descriptor: (Ljava/lang/Object;)Vflags: ACC_PUBLIC, ACC_STATIC, ACC_FINALCode:stack=2, locals=2, args_size=10: aload_01: ldc           #9                  // String $receiver3: invokestatic  #15                 // Method kotlin/jvm/internal/Intrinsics.checkParameterIsNotNull:(Ljava/lang/Object;Ljava/lang/String;)V6: ldc           #17                 // String Hello8: astore_19: getstatic     #23                 // Field java/lang/System.out:Ljava/io/PrintStream;12: aload_113: invokevirtual #28                 // Method java/io/PrintStream.println:(Ljava/lang/Object;)V16: returnLocalVariableTable:Start  Length  Slot  Name   Signature0      17     0 $receiver   Ljava/lang/Object;LineNumberTable:line 4: 6line 5: 16RuntimeInvisibleParameterAnnotations:0:0: #7()
}
SourceFile: "SayHello.kt"

观察头部发现,koltin为文件SayHello生成了一个类，类名"com.rhythm7.SayHelloKt".

由于我们一开始编写SayHello.kt时并不希望SayHello是一个可实例化的对象类，所以，SayHelloKt是无法被实例化的，SayHelloKt并没有任何一个构造器。

再观察唯一的一个方法：发现Any.sayHello()的具体实现是静态不可变方法的形式:

public static final void sayHello(java.lang.Object);

所以当我们在其他地方使用Any.sayHello()时，事实上等同于调用java的SayHelloKt.sayHello(Object)方法。

顺便一提的是，当扩展的方法为Any时，意味着Any是non-null的，这时，编译器会在方法体的开头检查参数的非空，即调用 kotlin.jvm.internal.Intrinsics.checkParameterIsNotNull(Object value, String paramName) 方法来检查传入的Any类型对象是否为空。如果我们扩展的函数为Any?.sayHello()，那么在编译后的文件中则不会有这段字节码的出现。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.hqwc.cn/news/339721.html

如若内容造成侵权/违法违规/事实不符，请联系编程知识网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

婴儿专用洗衣机有必要买吗？全网性价比高的宝宝洗衣机推荐

婴儿专用洗衣机有必要买吗？全网性价比高的宝宝洗衣机推荐

很多新手宝爸宝妈们在购买宝宝用品的时候&#xff0c;想要入手一款婴儿洗衣机&#xff0c;但在选婴儿洗衣机对很多新手宝妈宝爸来说也是一件很头疼的事情&#xff0c;婴儿洗衣机种类较多&#xff0c;而且功能的效果也有所不同&#xff01;所以又迟迟不敢下手&#xff0c;关于宝…
阅读更多...
【STM32】HAL库的RCC复位状态判断及NVIC系统软件复位

【STM32】HAL库的RCC复位状态判断及NVIC系统软件复位

【STM32】HAL库的RCC复位状态判断及NVIC系统软件复位 在实际开发中 有时候会遇到复位状态不同 导致结果不同的情况 比如在上电复位时 电压不稳定 可能导致一些外部芯片无法正常工作 从而导致进行了错误的操作流程 所以 可以在程序运行后 加一个复位状态判断 用来检测是否正常复…
阅读更多...
SpringCloudAlibaba微服务架构实战派上下册技术交流！

SpringCloudAlibaba微服务架构实战派上下册技术交流！

另外我的新书RocketMQ消息中间件实战派上下册&#xff0c;在京东已经上架啦&#xff0c;目前都是5折&#xff0c;非常的实惠。 https://item.jd.com/14337086.html​编辑https://item.jd.com/14337086.html “RocketMQ消息中间件实战派上下册”是我既“Spring Cloud Alibaba微…
阅读更多...
计算机毕业设计------SSH宿舍管理系统

计算机毕业设计------SSH宿舍管理系统

项目介绍 本项目分为三种角色&#xff1a;系统管理员、楼宇管理员、学生&#xff1b; 系统管理员主要功能如下&#xff1a; 楼宇管理员管理、学生管理、楼宇管理、宿舍管理、学生入住登记、学生寝室调换、学生迁出登记、学生缺勤记录、修改密码、退出登录 楼宇管理员主要功能…
阅读更多...
生成式 AI 如何重塑软件开发流程和开发工具？

生成式 AI 如何重塑软件开发流程和开发工具？

生成式AI正在重塑开发流程和开发工具&#xff0c;通过自动化和优化软件开发过程&#xff0c;提高开发效率和质量。它可以帮助开发人员快速生成代码、测试和部署应用程序&#xff0c;同时减少错误和缺陷。此外&#xff0c;生成式AI还可以帮助开发人员快速理解和解决复杂的技术问…
阅读更多...
2024最新：嵌入式学习规划二期

2024最新：嵌入式学习规划二期

十三个视频&#xff0c;详尽解剖大学生/程序员在学习过程中、职业过程中产生的问题&#xff0c;以及方向指引。 【课程大纲】 01-洗脑篇&#xff1a;剖开事务看本质&#xff0c;不要人云亦云请独立思考02-全局视图&#xff1a;啥是嵌入式&#xff1f;嵌入式都有啥&#xff1f…
阅读更多...
SpringBoot集成阿里云短信实现发送短信验证码

SpringBoot集成阿里云短信实现发送短信验证码

SpringBoot集成阿里云短信实现发送短信验证码 一、准备工作1、注册账号2、申请资质3、申请签名4、创建模板 二、springboot集成发送短信1、引入依赖2、编写短信配置文件3、编写短信发送工具类 一、准备工作 在使用springboot集成短信服务之前&#xff0c;需要先注册阿里云的账…
阅读更多...
vagrant 用户名密码登录

vagrant 用户名密码登录

正常登录后 sudo -i 切换到root权限 vim /etc/ssh/vim sshd_config 将PasswordAuthentication no设置 为yes 重启sshd.service服务 systemctl restart sshd.service
阅读更多...
2023年11月论文：DANCE OF CHANNEL AND SEQUENCE（CSformer）（无源码）

2023年11月论文：DANCE OF CHANNEL AND SEQUENCE（CSformer）（无源码）

DANCE OF CHANNEL AND SEQUENCE: AN EFFICIENT ATTENTION-BASED APPROACH FOR MULTIVARIATE TIME SERIES FORECASTING 推荐阅读指数&#xff1a; ★★ 大意了&#xff0c;没仔细看实验结果和模型图&#xff0c;精度了一篇有点不太行的文章&#xff0c;实验结果只有一张表&…
阅读更多...
如何在IntelliJ IDEA中配置SSH服务器开发环境并实现固定地址远程连接

如何在IntelliJ IDEA中配置SSH服务器开发环境并实现固定地址远程连接

文章目录 1. 检查Linux SSH服务2. 本地连接测试3. Linux 安装Cpolar4. 创建远程连接公网地址5. 公网远程连接测试6. 固定连接公网地址7. 固定地址连接测试 本文主要介绍如何在IDEA中设置远程连接服务器开发环境&#xff0c;并结合Cpolar内网穿透工具实现无公网远程连接&#xf…
阅读更多...
【微服务】日志搜集es+kibana+filebeat+redis+logstash（单机）

【微服务】日志搜集es+kibana+filebeat+redis+logstash（单机）

日志搜集系统搭建 基于7.17.16版本 ps: 项目是toB的&#xff0c;日志量不大 前置准备 软件下载 7.17.16版本。8.x版本需要JDK11 elastic.co/downloads/past-releasesJDK java8 Linux elastic 软件不能以root用户启动&#xff0c;需要创建用户 sudo useradd elastic #给此…
阅读更多...
零基础学习 AI 绘画的进阶之路！必收藏！！

零基础学习 AI 绘画的进阶之路！必收藏！！

手把手教你入门绘图超强的AI绘画程序&#xff0c;用户只需要输入一段图片的文字描述&#xff0c;即可生成精美的绘画。给大家带来了全新保姆级教程资料包&#xff08;文末可获取&#xff09; 计算机和绘画都是零基础的初学者——既不懂编程&#xff0c;也没有接受过任何美术方面…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023