[JVM] Class 类文件结构

最新推荐文章于 2024-09-24 21:28:33 发布
最新推荐文章于 2024-09-24 21:28:33 发布
阅读量414 收藏
点赞数
文章标签： jvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_46067176/article/details/118219911
版权

[JVM] Class 类文件结构

------<深入理解Java虚拟机 第3版> 第三部分第6章 读书笔记

文章目录

1. 无关性的基石

Java技术发展之处，就曾考虑并实现了让其他语言运行在Java虚拟机上的可能性。规范文档的发布，也可以把Java的规范拆分成《Java语言规范》和《Java虚拟机规范》两部分。现如今，商业企业和开源机构已经发展处一大批如Kotlin、Coljure、Groovy、JRuby、JPython、Scala等可以运行在Java虚拟机之上的语言。

作为一个通用的、与机器无关的执行平台，任何其他语言的实现都可以将JVM作为代码编译的运行基础，以Class文件作为他们的交付媒介。例如Java编译器可以将Java代码编译成存储字节码的class文件，使用JRuby等其他语言的编译器一样可以将源代码编辑成class文件。JVM不关心class文件的源代码是何种语言。

2. Class类文件的结构

ClassFile {
    u4             magic;
    u2             minor_version;
    u2             major_version;
    u2             constant_pool_count;
    cp_info        constant_pool[constant_pool_count-1];
    u2             access_flags;
    u2             this_class;
    u2             super_class;
    u2             interfaces_count;
    u2             interfaces[interfaces_count];
    u2             fields_count;
    field_info     fields[fields_count];
    u2             methods_count;
    method_info    methods[methods_count];
    u2             attributes_count;
    attribute_info attributes[attributes_count];
}
2.1 类文件的两种数据类型

  • 无符号数： 基本数据类型，以u1、u2、u4、u8分别代表1个字节、2个字节、4个字节、8个字节的无符号数

  • 表：多个无符号数组成的复合数据类型，通常以”_info“结尾。表用于描述有层次关系的复合结构的数据

2.2 Magic Number 和Class文件版本

每个class文件的头四个字节被称为魔法数字（Magic Number），它的唯一作用是确定这个文件是否能被虚拟机接受。Class文件的魔数，0xCAFEBABE（咖啡宝贝？）这个魔数在Java还被称为“Oak”. 见图1.


图1. magic number

紧接着魔法数字后面的4个字节为Class文件的版本号：第5和第6字节Minor Version次版本号，第7和第8字节为Major Version主版本号。如图2, 0x0034, 即十进制的52，说明这个是JDK8的Class文件。

图2
图2. 版本号

表1. JDK版本号对应表

JDK版本-source参数版本号
JDK 61.1~650.0
JDK 71.1~751.0
JDK 81.1~852.0
JDK 96~953.0
JDK 106~1054.0
JDK 116~1155.0
JDK 126~1256.0
JDK 136~1357.0
2.3 常量池

紧接着版本号之后，是常量池入口。常量池是Class文件里的资源仓库，是Class文件结构中与其他项目关联最多的数据。长度不固定，所以入口放置一个u2类型的容量技术。常量池的容量计数是从1开始的。

例如图3, 0x0030即十进制的48，说明该class文件中含有48个常量，#1~#47
图3
图4. 常量池长度

用Javap反编译可以印证1
图4
图5. javap反编译

常量池主要存放两大类常量：字面量（Literal）和符号引用（Symbolic Reference），字面量比较接近Java语言层面的常量概念，比如文本字符串，被生命为final的常量值等。符号引用包括：

  • 被模块导出或者开放的包(package)
  • 类和接口的全限定名(Fully Qualified Name) (包名+类名，比如java.lang.String)
  • 字段的名称和描述符(Descriptor)
  • 方法的名称和描述符
  • 方法句柄和方法类型(Method Handle、Method Type、Invoke Dynamic)
  • 动态调用点和动态常量(Dynamically-computed Call Site、Dynamicaaly-computed Constant)

表2： 常量类型与标志位对应表

类型标志描述
CONSTANT_Uft8_info1UTF-8编码的字符串
CONSTANT_Integer_info3整型字面量
CONSTANT_Float_info4浮点型字面量
CONSTANT_Long_info5长整型字面量
CONSTANT_Double_info6双精度浮点型字面量
CONSTANT_Class_info7类或者接口的符号引用
CONSTANT_String_info8字符串类型字面量
CONSTANT_Fieldref_info9字段的符号引用
CONSTANT_Methodref_info10类中方法的符号引用
CONSTANT_InterfaceMethodref_info11接口中方法的符号引用
CONSTANT_NameAndType_info12字段或者方法的部分符号引用
CONSTANT_MethodHandle_info15表示方法句柄
CONSTANT_MethodType_info16表示方法类型
CONSTANT_Dynamic_info17表示一个动态计算常量
CONSTANT_InvokeDynamic_info18表示一个动态方法调用点
CONSTANT_Module_info19表示一个模块
CONSTAN_Package_info20表示一个模块中开放或者导出的包

继续之前的栗子，如图5，标识常量池长度的0x0030之后，0x0A, 标志=10，对应上表可发现，常量池中#1 是Methodref.

CONSTANT_Methodref_info {
    //The tag item of a CONSTANT_Methodref_info structure has the value CONSTANT_Methodref (10).
    u1 tag; 
    
    //The class_index item of a CONSTANT_Methodref_info structure must be a class type, not an interface type.
    u2 class_index; 
    
    //The value of the name_and_type_index item must be a valid index into the constant_pool table. The constant_pool entry at that index must be a CONSTANT_NameAndType_info structure (§4.4.6). This constant_pool entry indicates the name and descriptor of the field or method.
    u2 name_and_type_index;
}

结合Methodref的结构来看，可知Class_index是0x0008即#8, NameAndType的index是0x001B, 即#27


图6. 常量池#1详解

图7
图7. javap反编译

在这需要说明一点的是，CONSTANT_Uft8_info的解码。CONSTANT_Uft8_info的结构如下：

//CONSTANT_Uft8_info
CONSTANT_Utf8_info {
    u1 tag;
    u2 length;
    u1 bytes[length];
}

以常量池#9为例2.

在这里插入图片描述
图8. UTF8解码

CONSTANT_Uft8_info中length的最大长度为65535， 故而如果Java程序中定义了超过64KB英文字符的变量或者方法名，是无法编译的。

常量池完整的17种数据类型的结构参见：docs.oracle

2.4 访问标志

在常量池结束之后，紧接着2个字节代表方位标志（access_flags）, 这个标志用于识别一些类或者接口的访问信息。

表3. 访问标志

标志名称标志值含义
ACC_PUBLIC0x0001是否为public类型
ACC_FINAL0x0010是否被声明为final,只有类可设置
ACC_SUPER0x0020是否允许使用invokespecial字节码指定的新语义。JDK1.2之后编译出来的类的这个标志都必须为真
ACC_INTERFACE0x0200标识这是一个接口
ACC_ABSTRACT0x0400是否为abstract类型，对于接口或者抽象类此标识为真
ACC_SYNTHETIC0x1000标识这个类并非由用户代码产生的
ACC_ANNOTATION0x2000标识这是一个注解
ACC_ENUM0x4000标识这是一个枚举
ACC_MODULE0x8000标识这是一个模块

例子中的类是个public的普通类，ACC_PUBLIC与ACC_SUPER为真， 0x0001|0x0020 =0x0021
在这里插入图片描述
图9. 访问标志

2.5 类索引、父类索引和接口索引集合

类索引（this_class）和父类索引（super_class）均问u2类型的数据，接口索引为u2类型的数据的集合。类索引用于确定这个类的全限定名，父类索引用于确定这个类的父类的全限定名（除了java.lang.Object之外，父类索引均不为0）。接口索引为了确定这个类实现了哪些接口。（如果这是个class，则按implements后接口顺序，如果这是个interface，则按extends后的接口顺序）
在这里插入图片描述
图10

![在这里插入图片描述](https://img-blog.csdnimg.cn/20210626141227659.png
接口索引的结构，入口为u2类型的接口计数器，表明接口索引表的容量，如没有实现接口则为0
在这里插入图片描述
图11

在这里插入图片描述
图12

2.6 字段表集合
field_info {
    u2             access_flags;
    u2             name_index;
    u2             descriptor_index;
    u2             attributes_count;//
    attribute_info attributes[attributes_count];
}
  • access_flag：访问标志，包括字段修饰符（public、private、protected等），实例变量还是类变量（static），可变性（final），并发可见性（volatic），可否被序列化（transient）等
  • name_index: 字段名称在常量池中的index
  • descriptor_index: 字段描述符在常量池中的index，用来描述字段的数据类型
  • attributes_count: 属性表集合的容量
  • attribute_info: 见2.8节

表4.access_flags 字段访问标志

Flag NameValueInterpretation
ACC_PUBLIC0x0001Declared public; may be accessed from outside its package.
ACC_PRIVATE0x0002Declared private; usable only within the defining class.
ACC_PROTECTED0x0004Declared protected; may be accessed within subclasses.
ACC_STATIC0x0008Declared static.
ACC_FINAL0x0010Declared final; never directly assigned to after object construction (JLS §17.5).
ACC_VOLATILE0x0040Declared volatile; cannot be cached.
ACC_TRANSIENT0x0080Declared transient; not written or read by a persistent object manager.
ACC_SYNTHETIC0x1000Declared synthetic; not present in the source code.
ACC_ENUM0x4000Declared as an element of an enum.

表5. descriptor 字段描述符

FieldType termTypeInterpretation
Bbytesigned byte
CcharUnicode character code point in the Basic Multilingual Plane, encoded with UTF-16
Ddoubledouble-precision floating-point value
Ffloatsingle-precision floating-point value
Iintinteger
Jlonglong integer
LClassName/referencean instance of class ClassName
Sshortsigned short
Zbooleantrue or false
[referenceone array dimension(二维数据记为"[[]]")
Vvoidvoid
2.7 方法表集合
method_info {
    u2             access_flags;
    u2             name_index;
    u2             descriptor_index;
    u2             attributes_count;
    attribute_info attributes[attributes_count];
}
  • access_flag: 方法的访问标志，见表6
  • name_index: 方法名的常量池索引
  • descriptor_index: 方法的描述符索引，与字段描述符不同的是，按照先参数列表，后返回值的顺序描述，参数列表按照参数的严格顺序放在一组小括号中。 例如：int indexOf(char[] source, int sourceOffset, int sourceCount, char[] target, int targetOffset, int gargetCount, int fromIndex) 的描述符为 ([CII[CIII)I

方法中的具体行为，经过javac的编译成字节码后，存放在attribute_info中的code里。详见2.8 属性表集合。

表6. 方法的访问标志

Flag NameValueInterpretation
ACC_PUBLIC0x0001Declared public; may be accessed from outside its package.
ACC_PRIVATE0x0002Declared private; accessible only within the defining class.
ACC_PROTECTED0x0004Declared protected; may be accessed within subclasses.
ACC_STATIC0x0008Declared static.
ACC_FINAL0x0010Declared final; must not be overridden
ACC_SYNCHRONIZED0x0020Declared synchronized; invocation is wrapped by a monitor use.
ACC_BRIDGE0x0040A bridge method, generated by the compiler.
ACC_VARARGS0x0080Declared with variable number of arguments.
ACC_NATIVE0x0100Declared native; implemented in a language other than Java.
ACC_ABSTRACT0x0400Declared abstract; no implementation is provided.
ACC_STRICT0x0800Declared strictfp; floating-point mode is FP-strict.
ACC_SYNTHETIC0x1000Declared synthetic; not present in the source code.
2.8 属性表集合
attribute_info {
    u2 attribute_name_index;
    u4 attribute_length;
    u1 info[attribute_length];
}
  • attribute_name_index: 属性名在常量池中的index
  • attribute_length: 属性表不包括attribute_name_index和attribute_length的长度

在Java SE 12中，预定义的属性已经增加到了29个。见表6. 下文介绍其中关键的常用的属性。

Attributeclass fileJava SESection
ConstantValue45.31.0.2§4.7.2
Code45.31.0.2§4.7.3
Exceptions45.31.0.2§4.7.5
SourceFile45.31.0.2§4.7.10
LineNumberTable45.31.0.2§4.7.12
LocalVariableTable45.31.0.2§4.7.13
InnerClasses45.31.1§4.7.6
Synthetic45.31.1§4.7.8
Deprecated45.31.1§4.7.15
EnclosingMethod49.05.0§4.7.7
Signature49.05.0§4.7.9
SourceDebugExtension49.05.0§4.7.11
LocalVariableTypeTable49.05.0§4.7.14
RuntimeVisibleAnnotations49.05.0§4.7.16
RuntimeInvisibleAnnotations49.05.0§4.7.17
RuntimeVisibleParameterAnnotations49.05.0§4.7.18
RuntimeInvisibleParameterAnnotations49.05.0§4.7.19
AnnotationDefault49.05.0§4.7.22
StackMapTable50.06§4.7.4
BootstrapMethods51.07§4.7.23
RuntimeVisibleTypeAnnotations52.08§4.7.20
RuntimeInvisibleTypeAnnotations52.08§4.7.21
MethodParameters52.08§4.7.24
Module53.09§4.7.25
ModulePackages53.09§4.7.26
ModuleMainClass53.09§4.7.27
NestHost55.011§4.7.28
NestMembers55.011§4.7.29
Record60.016§4.7.30

红色标注：5个对JVM能正确解读class文件至关重要的属性

蓝色标注：12个对Java SE类库能正确解读class文件至关重要的属性

2.8.1 Code属性

Code属性是Class文件中最重要的一个属性，用户描述代码指令，所有的其他数据项目都用于描述元数据。

Code_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 max_stack;
    u2 max_locals;
    u4 code_length;
    u1 code[code_length];
    u2 exception_table_length;
    {   u2 start_pc;
        u2 end_pc;
        u2 handler_pc;
        u2 catch_type;
    } exception_table[exception_table_length];
    u2 attributes_count;
    attribute_info attributes[attributes_count];
}

  1. javap官方文档 ↩︎

  2. [UTF8 codepage]UTF-8 codepage ↩︎

努力搬砖的雪人
关注
【深入理解JVM】：Class类文件结构
smile4lee的博客
05-05 3882
概述我们平时在DOS界面中往往需要运行先运行javac命令，这个命令的直接结果就是产生相应的class文件，然后基于这个class文件才可以真正运行程序得到结果。自然。这是Java虚拟机的功劳，那么是不是Java虚拟机只能编译.java的源文件呢？答案是否定的。时至今日，Java虚拟机已经实现了语言无关性的特点。而实现语言无关性的基础是虚拟机和字节码的存储格式，Java虚拟机已经不和包括Java语言
深入理解JVM之Class类文件结构详解
08-25
Class文件结构是JVM的核心组件之一，对于Java开发者来说，理解Class文件结构是非常重要的。本文将深入解释Class文件结构的详细信息，包括Class文件的组成部分、常量池、访问标志、类索引、字段表集合、方法表集合、...
JVM的class文件结构详解
JavaEdge全是干货的技术号
08-24 1783
1 什么是JVM的“无关性”？Java具有平台无关性,也就是任何操作系统都能运行Java代码.之所以能实现这一点,是因为Java运行在虚拟机之上,不同的操作系统都拥有各自的Java虚拟机,因此Java能实现”一次编写,处处运行”.而JVM不仅具有平台无关性,还具有语言无关性. 平台无关性是指不同操作系统都有各自的JVM 语言无关性是指Java虚拟机能运行除Java以外的代码! 这听起来非常惊人,但J
JVM--Class类文件结构（一）
Paranoid
10-20 3060
不知道大家有没有对.java文件进行编译之后生成的.class文件好奇过。 我们都知道Java中的class文件是经过Java编译器对Java类文件进行编译后的产物。我想有不在少数的C程序员在学习Java之后在认知上会粗略的认为C程序在经过编译后产生的.out文件与.class文件在各方面大概相同，我刚开始也这样迷惑自己，但是随着学习的深入，我们必须搞清楚.class文件到底是个什么东西。 那...
JVM之加载class文件
still_five_Days的博客
05-22 1449
一个java程序的执行，首先经历编译阶段由.java文件编译为16进制class文件并存放在磁盘或IO设备中，然后JVM可以适用于各个操作系统，将class文件编译为CPU可以运行的二进制文件。JVM首先会经过类加载器，将类名接口名、静态变量、常量等进行初始化并加载到内存中用二进制表示，存储在运行时数据区的方法区中，java代码中的实例对象，全局变量，字符串常量等存储在堆栈中，线程共享；
JVM加载class文件原理
上善若泪
07-14 2977
文章目录1 简单介绍1.1 跨平台运行1.2 编译机制2 类加载机制2.1 加载方式2.2 加载过程2.2.1 加载2.2.2 链接2.2.2.1 验证2.2.2.1.1 文件格式验证2.2.2.1.2 元数据验证2.2.2.1.3 字节码验证2.2.2.1.4 符号引用验证2.2.2.2 准备2.2.2.3 解析2.2.3 初始化2.2.4 类加载总结2.3 类加载时机2.3.1 类初始化的条件2.3.2 对象初始化顺序3 类加载器3.1 了解类加载器3.2 类加载器分类3.3 类加载机制3.3.1 类
【深入理解java虚拟机】 - class类文件结构
1+1=王的博客
06-24 3932
“一次编写，到处运行 （Write Once，Run Anywhere）”。Oracle公司以及其他虚拟机发行商发布过许多可以运行在各 种不同硬件平台和操作系统上的Java虚拟机，这些虚拟机都可以载入和执行同一种平台无关的字节 码，从而实现了程序的“一次编写，到处运行”。实现语言无关性的基础是虚拟机和字节码存储格式。Java虚拟机不与包括Java语言在内的任何程序语言绑定，它只与“Class文件”这种特定的二进制文件格式所关联，Class文件中包含了Java虚拟机 指令集、符号表以及若干其他辅助信息。无论使
JVM:类文件结构
Oeljeklaus的博客
04-28 1337
Java实现语言无关的基石是JVM和字节码存储格式。任何一个Class文件都对应唯一一个类或接口的定义信息。，但是反过来说，类或者接口不一定定义在文件中，有可能通过类加载器直接生成。Class文件以8字节为基本单位二进制流存储，当遇到8字节以上时，会按照高位在前的方式分割成若干8字节进行存储。Class文件的格式如下：Class文件的头4个字节表示魔数，主要用来判断是够能被JVM所接受。紧接着4个...
JVM加载class文件的具体过程
dondurma的博客
08-08 746
JVM加载class文件的具体过程
Class文件结构
wowwilliam0的博客
08-03 5502
Class文件结构 目录 Class类文件结构 无符号数 表 魔数 Class文件的版本号 常量池 访问标志（2字节） 类索引、父类索引和接口索引集合 字段表集合 方法表集合 属性表集合     Class类文件结构 Class文件是一组以8字节为基础单位的二进制流， 各个数据项目严格按照顺序紧凑排列在class文件中， 中间没有任何分隔符，这使得cl...
JVM系列之Class文件解析
Java学习之乐的博客
04-20 667
JVM系列之Class文件解析1、简介1.1、前端编译器：源代码到字节码1.2、JIT 编译器：从字节码到机器码2、class文件的结构6、往期佳文6.1、面试系列6.2、技术系列6.3、源码系列6.4、数据结构和算法系列6.5、并发系列6.6、面试题系列6.7、JVM系列······持续更新中······ 1、简介        机器是只认机器码的，所谓的机器码, 就是机器认的一堆有特殊意义的二进制指令。   &nb
JVM-CLASS文件分析脑图
02-08
JVM-CLASS文件分析脑图的知识点涵盖了Java类文件的结构、组成、以及如何解析这些结构。class文件是Java虚拟机（JVM）能够识别和加载的二进制格式，它包含了一个Java类或者接口的定义。 首先，class文件以一个魔术数...
Class类文件结构图解
03-13
Java的Class文件是Java虚拟机（JVM）执行的基础，它是Java源代码经过编译后的二进制表示形式。在本主题中，我们将深入探讨Class文件的结构，以理解其内部工作原理。 首先，让我们来看一下`class类文件结构.png`这张...
JVM虚拟机查找类文件的顺序方法
08-28
在Java应用程序启动时，JVM需要找到指定的类文件，以便能够正确地执行程序。这里我们将详细讨论JVM查找类文件的顺序。 首先，JVM在查找类文件时遵循一定的规则。这些规则是基于环境变量`CLASSPATH`的设置，以及Java...
JVM频繁Full GC问题的排查与解决方案
lssffy的博客
09-22 915
堆内存（Heap Memory）：这是Java对象的主要存储区域，分为年轻代（Young Generation）和老年代（Old Generation）。栈内存（Stack Memory）：每个线程的栈用于存储局部变量和方法调用的上下文。永久代（PermGen）/元空间（Metaspace）：存储类的元数据。在JDK 8之前是永久代，之后被元空间取代。
【JVM】JVM执行流程和内存区域划分
Yeeear的博客
09-24 5957
`Java` 不想重新编译，而是期望能够直接执行 - 先通过 `javac` 把 `.java` 文件==> `.class` 文件（字节码文件，包含的就是 `Java` 字节码，`Java` 自己搞的一套 `CPU` 指令） - 因为如果生成 `CPU` 直接能执行的指令的话，不同的 `CPU` 支持的指令就不一样，就不能在所有系统上执行 - 这样先把 `java` 代码转成对应的 `java` 字节码文件，然后在某个具体的系统平台上执行，此时通过 `JVM` 把上述的字节码转换成对应的 `CPU` 能
深入解析JVM中的字符串常量池（StringTable）
fudaihb的博客
09-24 737
在Java开发中，字符串无处不在，而JVM为了优化字符串的内存使用，引入了一个特殊的机制——字符串常量池（String Constant Pool），也称为`StringTable`。通过这种机制，JVM可以显著减少内存的占用，提升性能。然而，很多开发者对JVM字符串常量池的工作原理、管理机制以及如何正确利用它并不十分了解。本文将详细解析JVM中的字符串常量池，包括其基本概念、工作原理、在不同JDK版本中的演变、以及实际应用中的一些注意事项和最佳实践。
JVM基础
weixin_64742764的博客
09-20 504
字节码文件的查看工具：https://github.com/ingokegel/jclasslib
【Java】虚拟机（JVM）内存模型全解析
最新发布
weixin_71491685的博客
09-24 1177
JVM 虚拟机在执行 Java 程序的过程中，会把它管理的内存划分成若干个不同的区域，每个区域有各自的不同的用途、创建方式及管理方式。有些区域随着虚拟机的启动一直存在，有些区域则随着用户线程的启动和结束而建立和销毁，这些共同组成了 Java 虚拟机的，也被称为。
Java虚拟机Class文件结构解析
"深入理解JVM之Class类文件结构详解，本文主要介绍Java虚拟机中的Class文件结构，探讨其相关概念、原理、结构和常用属性，揭示Java虚拟机的平台无关性和字节码的存储格式。" 在Java开发中，JVM（Java Virtual ...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值