JVM 基础 - 类字节码详解（转载）著作权归@pdai所有

已于 2023-04-13 00:33:56 修改
阅读量157 收藏
点赞数
文章标签： jvm java scala
于 2023-04-12 21:30:10 首次发布
原文链接：https://pdai.tech/md/java/jvm/java-jvm-class.html
版权

转载原文链接点击这里

多语言编译为字节码在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
0001 000a 0000 0006 0001 0000 0003 0001
000b 000c 0001 0009 0000 001f 0002 0001
0000 0007 2ab4 0002 0460 ac00 0000 0100
0a00 0000 0600 0100 0000 0800 0100 0d00
0000 0200 0e
  • 文件开头的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

其中选项包括:

  -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.class
  Last modified 2018-4-7; size 362 bytes
  MD5 checksum 4aed8540b098992663b7ba08c65312de
  Compiled from "Main.java"
public class com.rhythm7.Main
  minor version: 0
  major version: 52
  flags: 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: I
    flags: ACC_PRIVATE

  public com.rhythm7.Main();
    descriptor: ()V
    flags: ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
         0: aload_0
         1: invokespecial #1                  // Method java/lang/Object."<init>":()V
         4: return
      LineNumberTable:
        line 3: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       5     0  this   Lcom/rhythm7/Main;

  public int inc();
    descriptor: ()I
    flags: ACC_PUBLIC
    Code:
      stack=2, locals=1, args_size=1
         0: aload_0
         1: getfield      #2                  // Field m:I
         4: iconst_1
         5: iadd
         6: ireturn
      LineNumberTable:
        line 8: 0
      LocalVariableTable:
        Start  Length  Slot  Name   Signature
            0       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类型。关于字节码的类型对应如下：
在这里插入图片描述

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

方法表集合

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

private int m;
  descriptor: I
  flags: ACC_PRIVATE

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

public com.rhythm7.Main();
   descriptor: ()V
   flags: ACC_PUBLIC
   Code:
     stack=1, locals=1, args_size=1
        0: aload_0
        1: invokespecial #1                  // Method java/lang/Object."<init>":()V
        4: return
     LineNumberTable:
       line 3: 0
     LocalVariableTable:
       Start  Length  Slot  Name   Signature
           0       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"
Miller_on
关注
JVM--字节码和类的加载篇1
08-03
"JVM--字节码和类的加载篇1"这个标题暗示了我们将深入理解JVM如何处理字节码以及类加载的过程。 在Java的Class文件中，数据类型扮演着基础的角色。描述符是用来表示各种数据类型的，包括基本数据类型如byte、char和...
CGLIB源码易懂解析
m0_48333563的博客
08-08 1392
博主亲身实践，细嚼慢咽，提供了赌代码方式读代码，通俗易懂。如有指教，敬请提出！！！
Cglib源码解析
厚积薄发
02-27 2870
      Cglib(Code Generator Library)是一个 java字节码生成工具，提供了一系列的类生成器，可以在运行期间，生成现有java类的子类（cglib不能扩展final类）。本系列文章分析cglib的源码实现。一、基本框架ClassGenerator是Cglib的核心接口，其中核心方法generateClass方法用于产生目标类；public interface Cla...
Java动态代理——cglib动态代理解析
zhaoquanwei2018的博客
01-06 892
名词解释 静态代理：编译期就已确定代理对象。即编码出代理类。 动态代理：运行时动态生成代理对象。可对被代理类做出统一的处理，如日志打印，统计调用次数等。 cglib动态代理：cglib工具包实现的动态代理生成方式，通过字节码来实现动态代理，不需要被代理类必须实现接口。 1. 举例 使用cglib代理需要引入两个包，maven的话包引入如下 ...
Java动态代理机制详解（JDK 和CGLIB，Javassist，ASM）
thulium_kyg的博客
12-20 805
class文件简介及加载 Java编译器编译好Java文件之后，产生.class 文件在磁盘中。这种class文件是二进制文件，内容是只有JVM虚拟机能够识别的机器码。JVM虚拟机读取字节码文件，取出二进制数据，加载到内存中，解析.class 文件内的信息，生成对应的 Class对象: ———————————————— 版权声明：本文为CSDN博主「亦山」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。 原文链接：https://blog.csdn.net/l...
cglib源码学习交流
agapple
11-01 287
相关性能测试和使用例子，可以参见另一篇文章： cglib相关性能测试对比  背景     前段时间在工作中，包括一些代码阅读过程中，spring aop经常性的会看到cglib中的相关内容，包括BeanCopier,BulkBean,Enancher等内容，以前虽大致知道一些内容，原理是通过bytecode，但没具体深入代码研究，只知其所用不知其所以然，所以就特地花了半天多的工...
Java中的JVM类加载机制详解
10-30
JVM的类加载机制是Java程序运行的基础，它包括加载、验证、准备、解析和初始化等阶段。通过理解类加载机制，我们可以更好地管理类的生命周期，实现动态加载和卸载类，以及优化程序的性能。随着Java技术的不断发展，...
JVM学习-字节码指令集(三)代码
05-30
JVM学习-字节码指令集(三)代码
jvm-java字节码规则.pdf
10-04
在`jvm-java字节码规则.pdf`文档中，描述了JVM执行这些指令的一些基本规则。 1. **常量压入栈的指令**： - `aconst_null`：将null对象引用压入操作数栈，通常用于表示Java对象的空引用。 - `iconst_m1`到`iconst_...
静态数据区，堆，栈
weixin_43845922的博客
11-02 343
静态数据区：用于全局变量和静态变量，内存由编译器在编译期分配，生命周期为程序的整个运行期。栈：用于局部变量和函数调用信息，由编译器自动管理，生命周期为函数调用期，分配和释放速度快。堆：用于动态分配的内存，由程序员手动管理，生命周期由程序员控制，灵活性高但管理复杂。
jmeter的基本使用
沉下心,苦磨炼
10-30 853
位置：测试计划-->配置元件-->用户定义的变量全局变量作用域：作用于整个‘测试计划使用情况： 在启动运行时，获取一次值，在运行过程中，不会动态获取值，在运行过程中，值一直都不变在启动运行时，获取一次值，在运行过程中，不会动态获取值，在运行过程中，值一直都不变变量名称： 可以写多个，多个之间用“，” 固定使用逗号；是否允许带引号：一对英文双引号；rue： 运行次数超过总数量行数时，会从头开始取值False：运行次数超过总数量行数时，还会继续运行，但是取不到值管理取值的情况。
Java面试题中高级进阶（JVM篇01）
李老头探索的博客
10-30 773
本来想着给自己放松一下，刷刷博客，突然被几道面试题难倒！说说堆和栈的区别？什么时候会触发FullGC？什么是Java虚拟机？似乎有点模糊了，那就大概看一下面试题吧。好记性不如烂键盘*** 12万字的java面试题整理 ***Java虚拟机是一个可以执行Java字节码的虚拟机进程。Java源文件被编译成能被Java虚拟机执行的字节码文件。Java被设计成允许应用程序可以运行在任意的平台，而不需要程序员为每一个平台单独重写或者是重新编译。Java虚拟机让这个变为可能，因为它知道底层硬件平台的指令长度和其他特性。
《JVM第2课》类加载子系统（类加载器、双亲委派）
避免专业名词，喜欢讲人话。
10-29 1284
JVM 使用类加载器加载 class 文件，类加载器可分为引导类加载器和自定义类加载器两种。 引导类加载器（Bootstrap ClassLoader），有时也被称作启动类加载器或者零类加载器（Null ClassLoader），是 Java 虚拟机中最基础的类加载器之一。它的主要职责是加载 Java 核心类库。 自定义类加载器需要继承自 ClassLoader 类，JDK 默认提供了一些。比较重要的有两个，拓展类加载器（ExtClassLoader）和应用类加载器
《JVM第3课》运行时数据区
避免专业名词，喜欢讲人话。
10-30 307
可分为 5 个区域，分别是方法区、堆区、虚拟机栈、本地方法栈、程序计数器。
《JVM第1课》Java 跨平台原理
避免专业名词，喜欢讲人话。
10-29 484
为什么源代码需要先编译成字节码呢？JVM为什么不直接翻译源代码呢？ 其实这里主要是出于性能的考虑，因为Java是高级编程语言，所谓高级就是更贴合人类的语言习惯，高级的代价就是更远离机器语言，从代码到机器语言这个转换过程变长导致效率低。先由编译器将源代码转换为一种简单的中间形式（即字节码），然后再由 JVM 来执行这个中间形式，是一个更为高效的设计方案。
第七章 JVM对高效并发的支持
与海
10-29 388
一. Java内存模型与内存间的交互操作 1. Java内存模型 1.1 概念 1.2 示意图 1.3 规则 2. 内存交互 2.1 操作名词 2.2 操作流程 2.3 操作的规则 三. volatile特性 四. 指令重排原理和规则 五. 线程安全处理 六. 锁优化
面试题：JVM（六）
2301_79526467的博客
11-02 559
1. 概述 2. 垃圾回收算法 　 2.1 垃圾判断阶段算法 　　 2.1.2 可达性分析算法 　 2.2 垃圾清除阶段算法 　　 2.2.1 标记-清除算法 　　 2.2.2 复制算法 　　 2.2.3 标记-压缩算法 　　 三种算法对比 　　 2.2.4 分代收集算法 　　 2.2.5 增量收集算法 　　 2.2.6 分区算法 3. 概念简介 4. 垃圾回收器
【jvm】为什么Xms和Xmx的值通常设置为相同的?
王佑辉的博客
10-30 209
2.在开发环境中，开发人员可能希望快速启动应用程序并了解应用程序运行时的内存使用情况，此时可以根据实际使用情况逐渐增加最大堆内存设定。3.而在生产环境中，则需要根据应用程序的实际需求和容器限制的内存数量来调整堆内存大小，以确保应用程序的稳定性和性能。2.开发人员无需根据应用程序的实际需求动态调整堆内存大小，而是可以预先设定一个固定的值，从而简化部署和维护工作。3.将 -Xms 和 -Xmx 设置为相同的值可以固定堆内存的大小，从而避免堆内存的动态调整，减少性能开销。
JVM、JRE、JDK区别和联系
最新发布
cxbtdd的博客
11-02 239
JVM的主要作用是将class文件中的二进制数据加载到运行时数据区的方法区，在堆区生成相应的java.lang.Class对象，并结合本地接口，通过执行引擎执行java程序。编写的java源程序(.java格式的文件)需要被编译为类文件(.class格式的文件)，才能被java虚拟机识别(JVM只能识别class文件)，JVM识别class文件中的字节码指令并调用操作系统向上的API完成动作。JVM负责运行字节码：JVM把每一条要执行的字节码交给解释器，翻译成对应的机器码，然后由解释器执行。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值