第一章:Class文件结构
- 一、概述
- Java 的前端编译器
- 透过字节码指令查看代码细节
- 二、虚拟机的基石:CLass文件
- 三、Class文件结构
- Class类的本质
- Class文件格式
- Class 文件结构概述
- 魔数 magic
- Class 文件版本
- 常量池:存放所有常量
- 常量池计数器
- 常量池表(constant_ pool)
- 字面量和符号引用
- 常量池中的常量分析
- 总结
- 访问标识
- 类索引,父类索引,接口索引集合
- 字段表集合 fields
- fields_ count(字段计数器)
- fields [] (字段表)
- 方法表集合
- **methods_ count(方法计数器)**
- methods [] ( 方法表)
- 属性表集合
- attributes_ count ( 属性计数器)
- attributes [] ( 属性表)
- 属性通用格式
- 属性类型
- 部分属性详解
- 总结
- 四、使用 javap 命令解析 Class 文件
- 总结
一、概述
字节码文件的跨平台性
- Java语言:跨平台的语言(write once ,run anywhere)
- 当Java源代码成功编译成字节码后,如果想在不同的平台上面运行,则无须再次编译
- 这个优势不再那么吸引人了。Python、 PHP、Perl、Ruby、 Lisp等有强大的解释器。
- 跨平台似乎已经快成为一门语言必选的特性。
- Java 虚拟机:跨语言的平台
Java虚拟机不和包括Java 在内的任何语言绑定,它只与“Class文件”这种特定的二进制文件格式所关联。无论使用何种语言进行软件开发,只要能将源文件编译为正确的Class文件,那么这种语言就可以在Java虚拟机上执行。可以说,统一而强大的Class文件结构,就是Java虚拟机的基石、桥梁。
虚拟机规范文档:The Java® Virtual Machine Specification (oracle.com)
所有的 JVM 全部遵守Java虛拟机规范,也就是 说所有的JVM环境都是一样的,这样一 来字节码文件可以在 各种JVM上运行。
- 想要让一个Java程序正确地运行在JVM中,Java源码就必须要被编译为符合JVM规范的字节码。
- 前端编译器的 主要任务就是负责将符合Java语法规范的Java代码转换为符合JVM规范的字节码文件。
- javac 是一种能够将Java源码编译为字节码的前端编译器。
- Javac 编译 器在将Java源码编译为一个有 效的字节码文件过程中经历了4个步骤,分别是词法解析、语法解析、语义解析以及生成字节码。
Oracle的JDK软件包括两部分内容:
- 部分是将 Java 源代码编译成Java虚拟机的指令集的编译器(前端编译器)
- 另一部分是用于实现Java虚拟机的运行时环境。
Java 的前端编译器
橘黄色部分为 前端编译器 ,紫色部分:JIT 为后端编译器
前端编译器 vs 后端编译器
Java源代码的编译结果是字节码,那么肯定需要有-一种编译器能够将Java源码编译为字节码,承担这个重要责任的就是配置在path环境变量中的 javac编译器。javac是一 种 能够将Java源码编译为字节码的前端编译器。
HotSpotVM并没有强制要求前端编译器只能使用javac来编译字节码,其实只要编译结果符合JVM规范都可以被JVM所识别即可。在Java的前端编译器领域,除了javac之外,还有-一种被大家经常用到的前端编译器,那就是内置在Eclipse中的 ECJ (EclipseCompiler for Java)编译器。和 Javac的全量式编译不同,ECJ是 -种增量式编译器。
- 在 Eclipse中, 当开发人员编写完代码后,使用“Ctrl+S" 快捷键时,ECJ编译器所采取的编译方案是把未编译部分的源码逐行进行编译,而非每次都全量编译。因此 ECJ 的编译效率会比javac更加迅速和高效,当然编译质量和javac相比大致还是一样的。
- EC]不仅是Eclipse的默认内置前端编译器,在Tomcat中同样也是使用ECJ编译器来编译jsp文件。由于ECJ编译器是采用GPLv2的开源协议进行源代码公开,所以,大家可以登录eclipse官网下载ECJ编译器的源码进行二次开发。
- 默认情况下,IntelliJ IDEA使用javac编译器。(还可以自己设置为AspectJ编译器 ajc)
前端编译器并不会直接涉及编译优化等方面的技术,而是将这些具体优化细节移交给HotSpot的JIT编译器负责。
透过字节码指令查看代码细节
面试题:
①类文件结构有几个部分?
❷知道字节码吗?字节码都有哪些? Integer x = 5;int y = 5;比较x == y都经过哪些步骤?
代码举例一:
/**** Author: YZG* Date: 2022/10/17 17:26* Description: */
public class IntegerTest {public static void main(String[] args) {Integer x = 5;int y = 5;System.out.println(x == y); // trueInteger i1 = 10;Integer i2 = 10;System.out.println(i1 == i2);//trueInteger i3 = 128;Integer i4 = 128;System.out.println(i3 == i4);//false}
}
第一个和第二个很好理解,Jdk8 中存在自动拆箱的功能。
第三个:
- 在字节码文件中可以看到,再将操作数 128 入栈之后,执行了 Integer 中的 valueOf 方法。
- 在 valueOf 方法中可以看到,如果 变量值在 cache 数组范围之内,直接会从数组中取出。否则直接 new 一个对象
- 在 integerCache 类中可以看到 cache 数组的范围是: -128 ~ +127
4. 因此代码中定义的 128 。超出 cache 数组范围,会在堆空间中 new 俩个对象。指向地址不同,所以是 false
代码举例二:
// 父类
class Father {int x = 10;public Father() {this.print();x = 20;}public void print() {System.out.println("Father.x = " + x);}
}// 子类
class Son extends Father {int x = 30;public Son() {this.print();x = 40;}public void print() {System.out.println("Son.x = " + x);}
}public class SonTest {public static void main(String[] args) {Father f = new Son();System.out.println(f.x);}
}
在执行 Father f = new Son(); 时,会执行 Son 的无参构造方法,但是在执行子类无参构造方法之前,父类的无参构造方法一定会优先执行。
我们先通过字节码文件看一下 Son 类是如何执行的:
- 从字节码文件中也可以看到,首先是加载了父类 Father 的无参构造
- 而在父类的无参构造中调用了 this.print() 方法
- 原本this.print() 是调用了父类中的 print() 方法,但是由于子类中重写了 print() 方法,因此他会调用子类的 print() 方法。方法具有多态性,存在动态调用
- 而在字节码中可以看到,子类中 x = 30 的初始赋值 是在 父类执行无参构造方法之后执行的。因此 在 父类调用 子类的 print() 方式时: 子类中的 x = 0 , 因此输出: Son.x = 0
- 在调用完 print() 方法后,父类中的 x = 20。
- 通过 debug 方式,查看 print 的调用流程:
- 父类初始化完,子类开始进行初始化
- 成员变量初始化: x = 30
- 执行 this.print() 方法 ,输出 Son.x = 30
- 执行完 print() , 子类中的 x = 40
- 最终执行 主方法中的输出语句:20
- 属性不存在多态性,因此 f.x 是父类中的 x变量
二、虚拟机的基石:CLass文件
字节码文件里是什么?
- 源代码经过编译器编译之后便会生成一个字节码文件,字节码是一种二进制的类文件,它的内容是JVM的指令,而不像C、C++经由编译器直接生成机器码。
什么是字节码指令(byte code)?
Java虚拟机的指令由一个字节长度的、代表着某种特定操作含义的 ==操作码(opcode)以及跟随其后的零至多个代表此操作所需参数的操作数(operand)==所构成。虚拟机中许多指令并不包含操作数,只有一个操作码。
比如:操作码 ( 操作数)
解读Class 文件的三种方式:
NotePad++ 下载地址:Releases · notepad-plus-plus/notepad-plus-plus · GitHub
HEX-Editor下载地址:Releases · chcg/NPP_HexEdit (github.com)
第一种方式:
使用 NotePad++ 打开 class 文件,需要安装 HEX-Editor插件
第二种方式:
使用javap命令,Jdk自带的反解析工具
第三种方式:
使用 IDEA 插件, jclasslib
三、Class文件结构
Class类的本质
任何一个Class文件都对应着唯一一个 类或接口的定义信息,但反过来说,Class文件实际上它并不一定以磁盘文件的形式存在。Class文件是一组以8位字节为基础单位的二进制流。
Class文件格式
Class的结构不像XML等描述语言,由于它没有任何分隔符号。所以在其中的数据项,无论是字节顺序还是数量,都是被严格限定的,哪个字节代表什么含义,长度是多少,先后顺序如何,都不允许改变。
Class文件格式采用一种类似于C语言结构体的方式进行数据存储,这种结构中只有两种数据类型: 无符号数和表。
- 无符号数属于基本的数据类型,以 u1、u2、u4、u8 来分别代表1个字节、2个字节、4个字节和8个字节的无符号数,无符号数可以用来描述数字、索引引用、数量值或者按照UTF-8编码构成字符串值。
- 表是由多个无符号数或者其他表作为数据项构成的复合数据类型,所有表都习惯性地以“info"结尾。表用于描述有层次关系的复合结构的数据,整个Class文件本质上就是一- 张表。
由于表没有固定长度,所以通常会在其前面加上个数说明
数据类型 | 定义 | 说明 |
---|---|---|
无符号数 | 无符号数可以用来描述数字、索引引用、数量值或按照utf-8编码构成的字符串值。 | 其中无符号数属于基本的数据类型。 以u1、u2、u4、u8来分别代表1个字节、2个字节、4个字节和8个字节 |
表 | 表是由多个无符号数或其他表构成的复合数据结构。 | 所有的表都以“_info”结尾。 由于表没有固定长度,所以通常会在其前面加上个数说明。 |
Class 文件结构概述
实验代码:
以下 Class 文件讲解基于该 程序 编译而来。
public class Demo {private int num = 1;public int add(){num = num + 2;return num;}
}
Class文件的结构并不是一成不变的,随着Java虚拟机的不断发展,总是不可避免地会对Class文件结构做出一 -些调整,但是其基本结构和框架是非常稳定的。
Class文件的总体结构如下:
- 魔数
- Class文件版本
- 常量池
- 访问标志
- 类索引,父类索引,接口索引集合
- 字段表集合
- 方法表集合
- 属性表集合
与官方提供的结构对照:
类型 | 名称 | 说明 | 长度 | 数量 |
---|---|---|---|---|
u4 | magic | 魔数,识别Class文件格式 | 4个字节 | 1 |
u2 | minor_version | 副版本号(小版本) | 2个字节 | 1 |
u2 | major_version | 主版本号(大版本) | 2个字节 | 1 |
u2 | constant_pool_count | 常量池计数器 | 2个字节 | 1 |
cp_info | constant_pool | 常量池表 | n个字节 | constant_pool_count-1 |
u2 | access_flags | 访问标识 | 2个字节 | 1 |
u2 | this_class | 类索引 | 2个字节 | 1 |
u2 | super_class | 父类索引 | 2个字节 | 1 |
u2 | interfaces_count | 接口计数器 | 2个字节 | 1 |
u2 | interfaces | 接口索引集合 | 2个字节 | interfaces_count |
u2 | fields_count | 字段计数器 | 2个字节 | 1 |
field_info | fields | 字段表 | n个字节 | fields_count |
u2 | methods_count | 方法计数器 | 2个字节 | 1 |
method_info | methods | 方法表 | n个字节 | methods_count |
u2 | attributes_count | 属性计数器 | 2个字节 | 1 |
attribute_info | attributes | 属性表 | n个字节 | attributes_count |
魔数 magic
- 每个Class文件开头的 4 个字节的无符号整数称为魔数(Magic Number)
- 它的唯一作用是确定这个文件是否为一个能被虚拟机接受的有效合法的Class文件。即: 魔数是Class文件的标识符。
- 魔数值固定为0xCAFEBABE。 不会改变。
- 如果一个Class文件不以0xCAFEBABE开头,虚拟机在进行文件校验的时候就会直接抛出以下错误:
Error: A JNI error has occurred, please check your installation and try again
Exception in thread "main" java. lang. ClassFormatError: Incompatible magic value 1885430635 in class file StringTest
使用魔数而不是扩展名来进行识别主要是基于安全方面的考虑,因为文件扩展名可以随意地改动。
Class 文件版本
- 紧接着魔数的4个字节存储的是 Class文件的版本号 。同样也是4个字节。第5个和第6个字节所代表的含义就是编译的副版本号minor_ version, 而第7个和第8个字节就是编译的主版本号major_ version。
- 它们共同构成了class文件的格式版本号。譬如某个Class 文件的主版本号为M. 副版本号为m,那么这个Class 文件的格式版本号就确定为M.m。
版本号和Java编译器的对应关系如下表:
主版本(十进制) | 副版本(十进制) | 编译器版本 |
---|---|---|
45 | 3 | 1.1 |
46 | 0 | 1.2 |
47 | 0 | 1.3 |
48 | 0 | 1.4 |
49 | 0 | 1.5 |
50 | 0 | 1.6 |
51 | 0 | 1.7 |
52 | 0 | 1.8 |
53 | 0 | 1.9 |
54 | 0 | 1.10 |
55 | 0 | 1.11 |
Java的版本号是从45开始的,JDK1.1之后的每个 JDK大版本发布主版本号向上加1。
- 不同版 本的Java编译器编译的Class文件对应的版本是不一样的。 目前,高版本的Java虚拟机可以执行由低版本编译器生成的Class文件,但是低版本的Java虛拟机不能执行由高版本编译器生成的Class文件。否则JVM会 抛出
java. lang . UnsupportedClassVersionError
异常。 - 在实际应用中,由于开发环境和生产环境的不同,可能会导致该问题的发生。因此,需要我们在开发时,特别注意开发编译的JDK版本和生产环境中的JDK版本是否一-致。
虚拟机JDK版本为1.k (k >= 2)时,对应的class文件格式版本号的范围为45.0 - 44+k.0 (含两端)。
主版本: 34 转换成十进制: 3*16+4=52
副版本:00
52.0 对应 jdk版本: 1.8
常量池:存放所有常量
,常量池是Class文件中内容最为丰富的区域之一。 常量池对于Class文件中的字段和方法解析也有着至关重要的作用。
随着Java虚拟机的不断发展,常量池的内容也日渐丰富。可以说,常量池是整个Class文件的基石。
在版本号之后,紧跟着的是常量池的数量,以及若干个常量池表项。
常量池中常量的数量是不固定的,所以在常量池的入口需要放置一项u2类型的无符号数,代表常量池容量计数值(constant_ pool_ count) 。与Java中语言习惯不一 样的是,这个容量计数是从1而不是0开始的。
由上表可见,Class文件使用了一个前置的容量计数器(constant_ pool count) 加若干个连续的数据项(constant_ pool) 的形式来描述常量池内容。我们把这一系 列连续常量池数据称为常量池集合。
常量池表项中,用于存放编译时期生成的各种字面量和符号引用,这部分内容将在类加载后进入方法区的运行时常量池中存放
常量池计数器
- 由于常量池的数量不固定,时长时短,所以需要放置两个字节来表示常量池容量计数值。
- 常量池容量计数值(u2类型) :从1开始,表示常量池中有多少项常量。即 constant_ pool_ count=1 表 示常量池中有0个常量项
Demo案例:
图中的俩个字节的十六进制代表常量池计数器,换成十进制为: 22
则 常量池的范围为: 1 ~ 21
注意: 常量池计数器是从1 开始计数的。
常量池表(constant_ pool)
- constant_ pool 是一 种表结构, 以1 ~ constant_ _pool count - 1为索引。表明了后面有多少个常量项。常量池主要存放两大类常量: 字面量(Literal) 和符号引用(Symbolic References)
- 它包含了class文件结构及其子结构中引用的所有字符串常量、类或接口名、字段名和其他常量。常量池中的每一 项都具备相同的特征。第1个字节作为类型标记,用于确定该项的格式,这个字节称为tag byte (标记字节、 标签字节)。
常量类型和结构:
最后三个是 JDK7 引入进来的
类型 | 标志(或标识) | 描述 |
---|---|---|
CONSTANT_utf8_info | 1 | UTF-8编码的字符串 |
CONSTANT_Integer_info | 3 | 整型字面量 |
CONSTANT_Float_info | 4 | 浮点型字面量 |
CONSTANT_Long_info | 5 | 长整型字面量 |
CONSTANT_Double_info | 6 | 双精度浮点型字面量 |
CONSTANT_Class_info | 7 | 类或接口的符号引用 |
CONSTANT_String_info | 8 | 字符串类型字面量 |
CONSTANT_Fieldref_info | 9 | 字段的符号引用 |
CONSTANT_Methodref_info | 10 | 类中方法的符号引用 |
CONSTANT_InterfaceMethodref_info | 11 | 接口中方法的符号引用 |
CONSTANT_NameAndType_info | 12 | 字段或方法的符号引用 |
CONSTANT_MethodHandle_info | 15 | 表示方法句柄 |
CONSTANT_MethodType_info | 16 | 标志方法类型 |
CONSTANT_InvokeDynamic_info | 18 | 表示一个动态方法调用点 |
字面量和符号引用
在对这些常量解读前,我们需要搞清楚几个概念。
常量池主要存放两大类常量: 字面量(Literal) 和 符号引用(Symbolic References) 。如下表:
全限定名
com/ atguigu/test/Demo这个就是类的全限定名,仅仅是把包名的 “.“替换成”/”,为了使连续的多个全限定名之间不产生混淆,在使用时最后一-般会加入一个“;”表示全限定名结束。
简单名称
简单名称是指方法名和字段名,类似上面的例子中的 add 和 num
描述符
描述符的作用是用来描述字段的数据类型、方法的参数列表(包括数量、类型以及顺序)和返回值。根据描述符规则,基本数据类型(byte、char、double、 float、int、long、 short、boolean)以及代表无返回值的void类型都用一一个大写 字符来表示,而 对象类型则用字符L加对象的全限定名来表示,详见下表:
标志符 | 含义 |
---|---|
B | 基本数据类型byte |
C | 基本数据类型char |
D | 基本数据类型double |
F | 基本数据类型float |
I | 基本数据类型int |
J | 基本数据类型long |
S | 基本数据类型short |
Z | 基本数据类型boolean |
V | 代表void类型 |
L |
对象类型,比如:Ljava/lang/Object;
|
[ |
数组类型,代表一维数组。比如:double[][][] is [[[D
|
补充说明:
虚拟机在加载Class文件时才会进行动态链接,也就是说,Class 文件中不会保存各个方法和字段的最终内存布局信息,因此,这些字段和方法的符号引用不经过转换是无法直接被虚拟机使用的。当虚拟机运行时,需要从常量池中获得对应的符号引用,再在类加载过程中的解析阶段将其替换为直接引用,并翻译到具体的内存地址中。
这里说明下符号引用和直接引用的区别与关联:
符号引用
- 符号引用以一 组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关,引用的目标并不一 -定已经加载到了内存中。
直接引用:
- 直接引用可以是直接指向目标的指针、相对偏移量或是个能间接定位到目 标的句柄。直接引用是与虚拟机实现的内存布局相关的,同一个符号引用在不同虚拟机实例上翻译出来的直接引用-般不会相同。 如果有了直接引用,那说明引用的目标必定已经存在于内存之中了。I
常量池中的常量分析
对照以下常量池结构解析 Demo 字节码中的常量信息:
该表如何配合 字节码文件 看呢?
从 0a 开始往后就是常量池中的常量,总共有 21 个。每个元素的 第一个字节就是 它的标识 tag:
>>> 例如 0a 它的 tag = 10 ,对应上图中的 CONSTANT_Methodref_info
>>> 因此它对应的字节数为 5 (u2 + u2 + u1),那么 0a~ 12 就是第一个元素
当元素是字符串时有些特殊:
首先第一个字节仍然表示 tag , 01 =1 ,对应 CONSTANT_utf8_info , 该元素是一个字符串类型。字符串需要用俩个字节来确定字符串的长度
>>> 00 03 : 代表字符串的长度是 3 个字节。 因此 tag + length + 字节长度 = 6 个字节, 01 ~ 6d 代表该字符串元素
标记完常量池中所有的元素,从 0a ~ 74 正好是 21 个:
分析常量池中第一组元素所代表的的含义:oa ~ 12
0a 为标识 tag,类中方法的符号引用
00 04 :指向声明方法的类描述符 CONSTANT_Class_Info 的索引项
00 12 : 指向名称及类型描述符CONSTANT_NameAndType的索引项
00 04 ——> 转换十进制为4,对应第四组字节码 07 00 15
07 所代表的就是CONSTANT_Class_Info 类信息
00 15 : 指向全限定名常量项的索引
00 15 : 指向 常量池中索引为 21(15换成十进制为21)的元素
通过 Binary Viewer 查看, 6a ~ 74 所对应的 ASCII 码为:java/lang/object
00 12 ——> 转换十进制为 18, 对应第18组元素:0c ~ 08
0c :标识 tag
00 07: 指向该字段或方法名称常量项的索引
00 08 : 指向该字段或方法描述符常量项的索引
00 07 ——> 转换十进制对应第七组: 01 ~ 3e
01 : 标识 tag,该组为字符串常量
00 06 : 字符串长度为 6 个字节
3c ~ 3e : 字符串具体内容
对应的字符串内容为:
00 08 ——> 对应第八组元素 01 ~ 56
01 : 标识 tag ,该组为字符串常量
00 03 : 字符串长度为 3 个字节
28 29 56 : 字符串具体内容
对应字符串内容:()V
最终第一组元素 oa ~ 12 解析完成,解析的结果是:
类信息: java/lang/object
名称和描述符: ()V
可以通过 IDEA 中提供 的 jclasslib 插件验证结果:
总结
- 这14种表(或者常量项结构)的共同点是:表开始的第一位是一 个u1类型的标志位(tag) ,代表当前这个常量项使用的是哪种表结构,即哪种常量类型。
- 在常量池列表中,CONSTANT Utf8 info常量项是一 种使用改进过的UTF- 8编码格式来存储诸如文字字符串、类或者接口的全限定名、字段或者方法的简单名称以及描述符等常量字符串信息。
- 这14种常量项结构还有 一个特点是,其中13个常量项占用的字节固定,只有 CONSTANT Utf8 _info占用字节不固定,其大小由length 决定。为什么呢?
- 因为从常量池存放的内容可知,其存放的是 字面量和符号引用,最终这些内容都会是一个字符串,这些字符串的大小是在编写程序时才确定,比如你定义一个类, 类名可以取长取短,所以在没编译前,大小不固定,编译后,通过utf - 8编码,就可以知道其长度。
常量池:可以理解为Class文件之中的资源仓库,它是Class文件结构中与其他项目关联最多的数据类型(后面的很多数据类型都会指向此处),也是占用Class文件空间最大的数据项目之一。
常量池中为什么要包含这些内容?
Java代码在进行Javac编译的时候,并不像C和C++那样有"连接”这一步骤,而是在虚拟机加载Class文件的时候进行动态链
接。也就是说,在Class文件中不会保存各个方法、字段的最终内存布局信息,因此这些字段、方法的符号引用不经过运行期转
换的话无法得到真正的内存入口地址,也就无法直接被虚拟机使用。当虚拟机运行时,需要从常量池获得对应的符号引用,再在
类创建时或运行时解析、翻译到具体的内存地址之中。关于类的创建和动态链接的内容,在虚拟机类加载过程时再进行详细讲解
访问标识
在常量池后,紧跟着访问标记。该标记使用两个字节表示,用于识别一些类或者接口层次的访问信息,包括:这个Class
是类还是接口;是否定义为public 类型;是否定义为abstract类型;如果是类的话,是否被声明为final等。各种访问标记如下所示:
标志名称 | 标志值 | 含义 |
---|---|---|
ACC_PUBLIC | 0x0001 | 标志为public类型 |
ACC_FINAL | 0x0010 | 标志被声明为final,只有类可以设置 |
ACC_SUPER | 0x0020 | 标志允许使用invokespecial字节码指令的新语义,JDK1.0.2之后编译出来的类的这个标志默认为真。(使用增强的方法调用父类方法) |
ACC_INTERFACE | 0x0200 | 标志这是一个接口 |
ACC_ABSTRACT | 0x0400 | 是否为abstract类型,对于接口或者抽象类来说,次标志值为真,其他类型为假 |
ACC_SYNTHETIC | 0x1000 | 标志此类并非由用户代码产生(即:由编译器产生的类,没有源码对应) |
ACC_ANNOTATION | 0x2000 | 标志这是一个注解 |
ACC_ENUM | 0x4000 | 标志这是一个枚举 |
类的访问权限通常为 ACC_ 开头的常量。
每一种类型的表示都是通过设置访问标记的32位中的特定位来实现的。比如,若是 public final 的类, 则该标记为 ACC_ PUBLIC| ACC_ FINAL。
使用ACC_ SUPER可以让类更准确地定位到父类的方法super . method() ,现代编译器都会设置并且使用这个标记。
对应: ACC_SUPER + ACC_PUBLIC
补充说明:
- 带有ACC_ INTERFACE 标志的class文件表示的是接口而不是类,反之则表示的是类而不是接口。
- 如果一个class文件被设置了ACC_ INTERFACE 标志,那么同时也得设置ACC_ ABSTRACT 标志。同时它不能再设置ACC_ FINAL、ACC_ SUPER 或 ACC_ ENUM标志。
- 如果没有设置 ACC_ INTERFACE 标志,那么这个class文件可以具有上表中除 ACC ANNOTATION外的其他所有标志。当然,ACC FINAL和ACC_ ABSTRACT这类互斥的标志除外。这两个标志不得同时设置。
- ACC SUPER 标志用于确定类或接口里面的 invokespecial指令使用的是哪一种执行语义。针对Java虚拟机指令集的编译器
都应当设置这个标志。对于Java SE 8及后续版本来说,无论class文件中这个标志的实际值是什么,也不管class文件的版本
号是多少,Java虚拟机都认为每个class文件均设置了ACC_ SUPER标志。 - ACC_ SUPER标志是为了向后兼容由旧Java编译器所编译的代码而设计的。目前的ACC_ SUPER标志在由JDK 1.0.2之 前的
编译器所生成的access_ _flags中是没有确定含义的,如果设置了该标志,那么Oracle的Java虛拟机实现会将其忽略。 - ACC_ SYNTHETIC 标志意味着该类或接口是由编译器生成的,而不是由源代码生成的。
- 注解类型必须设置ACC_ ANNOTATION标志。 如果设置了ACC_ ANNOTATION标志, 那么也必须设置 ACC_ INTERFACE 标志
- ACC_ ENUM标志表明该类或其父类为枚举类型。
- 带有ACC_ INTERFACE 标志的class文件表示的是接口而不是类,反之则表示的是类而不是接口。
类索引,父类索引,接口索引集合
在访问标记后,会指定该类的类别、父类类别以及实现的接口,格式如下:
长度 | 含义 |
---|---|
u2 | this_class |
u2 | super_class |
u2 | interfaces_count |
u2 | interfaces[interfaces_count] |
这三项数据来确定这个类的继承关系。
类索引用于确定这个类的全限定名
父类索引用于确定这个类的父类的全限定名。由于Java语言不允许多重继承,所以父类索引只有一个,除了java.lang.object之外,所有的Java类都有父类,因此除了java.lang . object外,所有Java类的父 类索引都不为0。
接口索引集合就用来描述这个类实现了哪些接口,这些被实现的接口将按implements 语句(如果这个类本身是一一个接口,则应当是extends 语句) 后的接口顺序从左到右排列在接口索引集合中。
this_ class ( 类索引)
2字节无符号整数,指向常量池的索引。它提供了类的全限定名,如 com/ atguigu/java1/Demo.,this_ class的值必须是对常量池表中某项的一一个有效索引值。常量池在这个索引处的成员必须为CONSTANT Class info类 型结构体,该结构体表示这个class文件所定义的类或接口。
解析方法和上面常量池中中的常量分析一样
super_ class ( 父类索引)
2字节无符号整数,指向常量池的索引。它提供了当前类的父类的全限定名。如果我们没有继承任何类,其默认继承的是
java/lang/0bject类。同时,由于Java不支持多继承,所以其父类只有一个。superclass指向的父 类不能是final。
interfaces
指向常量池索引集合,它提供了一个符号引用到所有已实现的接口
由于一个类可以实现多个接口,因此需要以数组形式保存多个接口的索引,表示接口的每个索引也是一个指向常量池的CONSTANT_ Class ( 当然这里就必须是接口,而不是类)。
interfaces_ count (接口计数器)
interfaces_ count 项的值表示当前类或接口的直接超接口数量。interfaces[interfaces_count]
- interfaces [] 中 每个成员的值必须是对常量池表中某项的有效索引值,它的长度为 interfaces_ count。
- 每个成员 interfaces [i] 必须为 CONSTANT Class_ info结构, 其中 0 <= i < interfaces_ count。
- 在interfaces[ ] 中, 各成员所表示的接口顺序和对应的源代码中给定的接口顺序(从左至右) 一样,即 interfaces[0]对 应的是源代码中最左边的接口。
字段表集合 fields
我们平常称类变量或者实例变量为属性,但其实在Class文件中称 字段,属性和字段不是一个东西。
- 用于描述接口或类中声明的变量。字段(field)包括类变量以及实例级变量,但是不包括方法内部、代码块内部声明的局部变量。
- 字段叫什么名字、字段被定义为什么数据类型,这些都是无法固定的,只能引用常量池中的常量来描述。
- 它指向常量池索引集合,它描述了每个字段的完整信息。比如字段的标识符、访问修饰符(public、 private或protected)、是类变量还是实例变量(static修饰符)、是否是常量(final修饰符)等。
注意事项:
- 字段表集合中不会列出从父类或者实现的接口中继承而来的字段,但有可能列出原本Java代码之中不存在的字段。譬如在内部类中为了保持对外部类的访问性,会自动添加指向外部类实例的字段。
- 在Java语言中字段是无法重载的,两个字段的数据类型、修饰符不管是否相同,都必须使用不一样的名称,但是对于字节码来讲,如果两个字段的描述符不一-致, 那字段重名就是合法的。
fields_ count(字段计数器)
fields_ count 的值表示当前 class文件 fields 表的成员个数。使用两个字节来表示。fields 表中每个成员都是一个field_ _info结构, 用于表示该类或接口所声明的所有类字段或者实例字段,不包括方法内部声明的变量,也不包括从父类或父接口继承的那些字段。
fields [] (字段表)
- fields表中的每个成员都必须是一个fields_ info 结构的数据项,用于表示当前类或接口中某个字段的完整描述。
- 一个字段的信息包括如下这些信息。这些信息中,各个修饰符都是布尔值,要么有,要么没有。
- 作用域(public、 private、 protected修饰符 )
- 是实例变量还是类变量(static修饰符)
- 可变性(final)
- 并发可见性(volatile修饰符,是否强制从主内存读写)
- 可否序列化(transient修饰符)
- 字段数据类型(基本数据类型、对象、数组)
- 字段名称
- 字段表结构
字段表作为一个表,同样有他自己的结构:
- 1 访问标识
我们知道,一个字段可以被各种关键字去修饰,比如:作用域修饰符(public、 private、 protected) 、static修饰符、
final修饰符、volatile修饰符等等。因此,其可像类的访问标志那样,使用-些标志来标记字段。 字段的访问标志有如下这
些:
标志名称 | 标志值 | 含义 |
---|---|---|
ACC_PUBLIC | 0x0001 | 字段是否为public |
ACC_PRIVATE | 0x0002 | 字段是否为private |
ACC_PROTECTED | 0x0004 | 字段是否为protected |
ACC_STATIC | 0x0008 | 字段是否为static |
ACC_FINAL | 0x0010 | 字段是否为final |
ACC_VOLATILE | 0x0040 | 字段是否为volatile |
ACC_TRANSTENT | 0x0080 | 字段是否为transient |
ACC_SYNCHETIC | 0x1000 | 字段是否为由编译器自动产生 |
ACC_ENUM | 0x4000 | 字段是否为enum |
- 2 字段名索引
根据字段名索引的值,查询常量池中的指定索引项即可。
3 描述符索引
描述符的作用是用来描述字段的数据类型、方法的参数列表( 包括数量、类型以及顺序)和返回值。根据描述符规则,基本数据
类型(byte, char , double, float , int , long, short , boolean)及代表无返回值的void类型都用一个大写字符来表示,而对
象则用字符L加对象的全限定名来表示,如下所示:
标志符 | 含义 |
---|---|
B | 基本数据类型byte |
C | 基本数据类型char |
D | 基本数据类型double |
F | 基本数据类型float |
I | 基本数据类型int |
J | 基本数据类型long |
S | 基本数据类型short |
Z | 基本数据类型boolean |
V | 代表void类型 |
L |
对象类型,比如:Ljava/lang/Object;
|
[ |
数组类型,代表一维数组。比如:double[][][] is [[[D
|
通过 jclasslib 查看字段 表集合:
4 属性表集合
一个字段还可能拥有一-些属性,用于存储更多的额外信息。比如 初始化值 (常量)、一些注释信息等。属性个数存放在attribute_ count中, 属性具体内容存放在attributes数组中。
以常量属性为例,结构为:ConstantValue_ attribute {u2 attribute_ name_ index; // 属性名索引u4 attribute_ length; // 属性长度u2 constantvalue index; // 常量值索引 }
说明: 对于常量属性而言,attribute_ length值恒为2。
Class 文件字节码:
方法表集合
methods: 指向常量池索引集合,它完整描述了每个方法的签名。
- 在字节码文件中,每一个method_ info 项都对应着一个 类或者接口中的方法信息。比如方法的访问修饰符(public、private或protected) ,方法的返回值类型以及方法的参数信息等。如果这个方法不是抽象的或者不是native的,那么字节码中会体现出来。
- 一方面,methods表只描述当前类或接口中声明的方法,不包括从父类或父接口继承的方法。另一.方面,methods表有可能会出现由编译器自动添加的方法,最典型的便是编译器产生的方法信息(比如:类(接口)初始化方法( )和实例初始化方法()).
使用注意事项:
在Java语言中,要重载(0verload)-一个方法,除了要与原方法具有相同的简单名称之外,还要求必须拥有一个与原方法不同的
特征签名,特征签名就是一个方法中各个参数在常量池中的字段符号引用的集合,也就是因为返回值不会包含在特征签名之中,
因此Java语言里无法仅仅依靠返回值的不同来对-一个已有方法进行重载。但在Class文件格式中,特征签名的范围更大-一些,
只要描述符不是完全-致的两个方法就可以共存。也就是说,如果两个方法有相同的名称和特征签名,但返回值不同,那么也是
可以合法共存于同一个class文件中。
也就是说,尽管Java语法规范并不允许在一个类或者接口中声明多个方法签名相同的方法,但是和Java语法规范相反,字节码
文件中却恰恰允许存放多个方法签名相同的方法,唯一.的条件就是这些方法之间的返回值不能相同。
总结成一句话就是:
java 语言中 构成方法重载的条件不包含 返回值类型,权限修饰符以及方法名相同,形参列表不同就是方法重载
但是在 Class 字节码文件中范围会更大一些,返回值类型不一样就构成 方法重载。
methods_ count(方法计数器)
methods_ count的值表示当前class文件methods表的成员个数。使用两个字节来表示。
methods 表中每个成员都是一个method info 结构。
methods [] ( 方法表)
methods 表中的每个成员都必须是一个method_ info结构, 用于表示 当前类或接口中某个方法的完整描述。如果某个 method info结构的access_ flags项既没有设置 ACC NATIVE标志也没有设置ACC_ ABSTRACT标志,那么该结构中也应包含实现这个方法所用的Java虚拟机指令。
method_ info结构可以表示类和接口中定义的所有方法,包括实例方法、类方法、实例初始化方法和类或接口初始化方法
方法表的结 构实际跟字段表是一样的,方法表结构如下:
方法表访问标志
跟字段表一样,方法表也有访问标志,而且他们的标志有部分相同,部分则不同,方法表的具体访问标志如下:
Class 字节码信息:
通过IDEA 的 jclasslib 也可以进行验证:
属性表集合
方法表集合之后的属性表集合,指的是class文件所携带的辅助信息,比如该class 文件的源文件的名称。以及任何带有RetentionPolicy. CLASS或者RetentionPolicy. RUNTIME的注解。这类信息通常被用于Java虚拟机的验证和运行,以及Java程序的调试,一般无须深入 了解。
此外,字段表、方法表都可以有自己的属性表。用于描述某些场景专有的信息。
属性表集合的限制没有那么严格,不再要求各个属性表具有严格的顺序,并且只要不与已有的属性名重复,任何人实现的编译器都可以向属性表中写入自己定义的属性信息,但Java虚 拟机运行时会忽略掉它不认识的属性。
attributes_ count ( 属性计数器)
attributes_ count的值表示当前class文件属性表的成员个数。属性表中每一项都是 一个attribute_ info结 构。
attributes [] ( 属性表)
属性表的每个项的值必须是attribute_ info结构。属性表的结构比较灵活,各种不同的属性只要满足以下结构即可。
属性通用格式
类型 | 名称 | 数量 | 含义 |
---|---|---|---|
u2 | attribute_name_index | 1 | 属性名索引 |
u4 | attribute_length | 1 | 属性长度 |
u1 | info | attribute_length | 属性表 |
即只需说明属性的名称以及占用位数的长度即可,属性表具体的结构可以去自定义。
属性类型
属性表实际上可以有很多类型,上面看 到的Code属性只是其中一一种,Java8里面定义了23种属性。
下面这些是虚拟机中预定义的属性:
官网提供的:
通常所有的属性都有通用格式: 属性名索引、属性长度、属性表
每个属性的属性又是不同的
部分属性详解
ConstantValue 属性
ConstantValue 属性表示-一个常量字段的值。位于field_ _info结 构的属性表中。
ConstantValue_ attribute {u2 attribute_ name_ index;u4 attribute_ length;u2 constantvalue_ index;//字段值在常 量池中的索引,常量池在该索引处的项给出该属性表示的常量值。(例如,值是1ong 型的,在常量池中便是CONSTANT_ Long)
}
I
Deprecated 属性
Deprecated属性是在JDK 1.1为了支持注释中的关键词@deprecated而引入的。
Deprecated_ attribute {u2 attribute_ name_ index;u4 attribute_ length;
}
Code 属性
Code属性就是存放方法体里面的代码。但是,并非所有方法表都有Code属性。像接口或者抽象方法,他们没有具体的方法体,因此也就不会有Code属性了。
Code属性表的结构,如下图:
可以看到: Code属性表的前两项跟属性表是一致的,即Code属性表遵循属性表的结构,后面那些则是他自定义的结构。
InnerClasses 属性
为了方便说明特别定义一个表示类或接口的Class格式为C。如果C的常量池中包含某个CONSTANT_ Class_ info 成员,且这个成员所表示的类或接口不属于任何一个包,那么C的ClassFile结构的属性表中就必须含有对应的InnerClasses 属性。InnerClasses 属性是在JDK 1.1中为了支持内部类和内部接口而引入的,位于ClassFile结构的属性表。
LineNumberTable 属性
LineNumberTable属性是可选变长属性,位于Code结 构的属性表。
LineNumberTable属性是用来描述Java源码行号与字节码行号之间的对应关系。这个属性可以用来在调试的时候定位代码执行的行数。
start_ _pc,即字节码行号;
line _number, 即Java源代码行号。
LineNumberTable_ _attribute {
u2 attribute_ name_ index;
u4 attribute_ length;
u2 line_ _number_ table_ length;
{u2 start_ _pc;u2 line_ _number;
}
line_ number_ table[line_ _number_ _table_ _length] ;
}
LocalVariableTable 属性
LocalVariableTable是可选变长属性,位于Code属性的属性表中。它被调试器用于确定方法在执行过程中局部变量的信息。在Code属性的属性表中,LocalVariableTable 属性可以按照任意顺序出现。
Code属性中的每个局部变量最多只能有一个LocalVariableTable 属性。
- startpc+length 表示这个变量在字节码中的生命周期起始和结束的偏移位置(this生命周期从头0到结尾10)
- index 就是这个变量在局部变量表中的槽位(槽位可复用)
- name 就是变量名称
- Descriptor 表示局部变量类型描述
LocalVariableTabl e属性表结构:
LocalVariableTable_ attribute {
u2 attribute_ name_ index;
u4 attribute_ length;
u2 1ocal_ variable_ table_ 1ength;
{u2 start_ _pc;u2 length;u2 name_ index;u2 descriptor_ index;u2 index;
}
local_ _variable_ _table[1oca1_ variable_ table_ length];
}
Signature 属性
Signature属性是可选的定长属性,位于ClassFile,field_ info或method_ info结 构的属性表中。在Java语言中,任何类、接口、 初始化方法或成 员的泛型签名如果包含了类型变量(Type Variables)或参数化类型 ( Parameterized Types) ,则Signature 属性会为它记录泛型签名信息。
Class 字节码信息:
SourceFile属性
谷歌翻译
SourceFile_attribute 结构的attribute_length 项的值必须为2。
SourceFile_attribute {u2 attribute_name_index;u4 attribute_length;u2 sourcefile_index;
}
总结
本章主要介绍了Class文件的基本格式。
随着Java平台的不断发展,在将来,Class文件的内容也一定会做进一步的扩 充,但是其基本的格式和结构不会做重大调整。|
从Java虚拟机的角度看,通过Class文件,可以让更多的计算机语言支持Java虚拟机平台。因此,Class 文件结构不仅仅提Java虚拟机的执行入口,更是Java生态圈的基础和核心。
四、使用 javap 命令解析 Class 文件
通过反编译生成的字节码文件,我们可以深入的了解java代码的工作机制。但是,自己分析类文件结构太麻烦了!除
了使用第三方的jclasslib工具之外,oracle官方也提供了工具: javap。
javap是jdk自带的反解析工具。它的作用就是根据class字节码文件,反解析出当前类对应的code区(字节码指令)、局部变量表、异常表和代码行偏移量映射表、常量池等信息。
通过局部变量表,我们可以查看局部变量的作用域范围、所在槽位等信息,甚至可以看到槽位复用等信息。
解析字节码文件得到的信息中,有些信息( 如局部变量表、指令和代码行偏移量映射表、常量池中方法的参数名称等等)需要在使用javac编译成class文件时,指定参数才能输出。
javac xxx.java 不会显示 局部变量表
javac -g xxx.java 显示局部变量表
javap的用法格式:
javap
其中,classes 就是你要反编译的class文件。
在命令行中直接输入javap或javap -help可 以看到javap的options有如下选项:
举例演示:
package chapter01;/**** Author: YZG* Date: 2022/10/19 16:17* Description: */
public class JavapTest {private int num;boolean flag;protected char gender;public String info;public static final int COUNTS = 1;static{String url = "www.atguigu.com";}{info = "java";}public JavapTest(){}private JavapTest(boolean flag){this.flag = flag;}private void methodPrivate(){}int getNum(int i){return num + i;}protected char showGender(){return gender;}public void showInfo(){int i = 10;System.out.println(info + i);}
}
通过 javap 反编译查看字节码文件:
Classfile /C:/19_JVM/code/JvmDemo2/src/chapter01/JavapTest.class // class文件所在位置Last modified 2022-10-19; size 1140 bytes // 最后一次修改时间 MD5 checksum 6e470af9104a5ade1a8f537f0b972d61 // MD5 散列值Compiled from "JavapTest.java" // Java源文件
public class chapter01.JavapTest // 全限定类名 minor version: 0 // 副版本major version: 52 // 主版本flags: ACC_PUBLIC, ACC_SUPER // 访问标识
Constant pool: // 常量池#1 = Methodref #16.#46 // java/lang/Object."<init>":()V#2 = String #47 // java#3 = Fieldref #15.#48 // chapter01/JavapTest.info:Ljava/lang/String;#4 = Fieldref #15.#49 // chapter01/JavapTest.flag:Z#5 = Fieldref #15.#50 // chapter01/JavapTest.num:I#6 = Fieldref #15.#51 // chapter01/JavapTest.gender:C#7 = Fieldref #52.#53 // java/lang/System.out:Ljava/io/PrintStream;#8 = Class #54 // java/lang/StringBuilder#9 = Methodref #8.#46 // java/lang/StringBuilder."<init>":()V#10 = Methodref #8.#55 // java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#11 = Methodref #8.#56 // java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;#12 = Methodref #8.#57 // java/lang/StringBuilder.toString:()Ljava/lang/String;#13 = Methodref #58.#59 // java/io/PrintStream.println:(Ljava/lang/String;)V#14 = String #60 // www.atguigu.com#15 = Class #61 // chapter01/JavapTest#16 = Class #62 // java/lang/Object#17 = Utf8 num#18 = Utf8 I#19 = Utf8 flag#20 = Utf8 Z#21 = Utf8 gender#22 = Utf8 C#23 = Utf8 info#24 = Utf8 Ljava/lang/String;#25 = Utf8 COUNTS#26 = Utf8 ConstantValue#27 = Integer 1#28 = Utf8 <init>#29 = Utf8 ()V#30 = Utf8 Code#31 = Utf8 LineNumberTable#32 = Utf8 LocalVariableTable#33 = Utf8 this#34 = Utf8 Lchapter01/JavapTest;#35 = Utf8 (Z)V#36 = Utf8 methodPrivate#37 = Utf8 getNum#38 = Utf8 (I)I#39 = Utf8 i#40 = Utf8 showGender#41 = Utf8 ()C#42 = Utf8 showInfo#43 = Utf8 <clinit>#44 = Utf8 SourceFile#45 = Utf8 JavapTest.java#46 = NameAndType #28:#29 // "<init>":()V#47 = Utf8 java#48 = NameAndType #23:#24 // info:Ljava/lang/String;#49 = NameAndType #19:#20 // flag:Z#50 = NameAndType #17:#18 // num:I#51 = NameAndType #21:#22 // gender:C#52 = Class #63 // java/lang/System#53 = NameAndType #64:#65 // out:Ljava/io/PrintStream;#54 = Utf8 java/lang/StringBuilder#55 = NameAndType #66:#67 // append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#56 = NameAndType #66:#68 // append:(I)Ljava/lang/StringBuilder;#57 = NameAndType #69:#70 // toString:()Ljava/lang/String;#58 = Class #71 // java/io/PrintStream#59 = NameAndType #72:#73 // println:(Ljava/lang/String;)V#60 = Utf8 www.atguigu.com#61 = Utf8 chapter01/JavapTest#62 = Utf8 java/lang/Object#63 = Utf8 java/lang/System#64 = Utf8 out#65 = Utf8 Ljava/io/PrintStream;#66 = Utf8 append#67 = Utf8 (Ljava/lang/String;)Ljava/lang/StringBuilder;#68 = Utf8 (I)Ljava/lang/StringBuilder;#69 = Utf8 toString#70 = Utf8 ()Ljava/lang/String;#71 = Utf8 java/io/PrintStream#72 = Utf8 println#73 = Utf8 (Ljava/lang/String;)V
===============================================================================
{ // 字段表集合的信息 private int num; // 字段名descriptor: I // 描述符:字段的类型flags: ACC_PRIVATE // 访问标识boolean flag;descriptor: Zflags:protected char gender;descriptor: Cflags: ACC_PROTECTEDpublic java.lang.String info;descriptor: Ljava/lang/String;flags: ACC_PUBLICpublic static final int COUNTS;descriptor: Iflags: ACC_PUBLIC, ACC_STATIC, ACC_FINALConstantValue: int 1 // 常量字段的属性=============================================================================== 方法表集合的信息public chapter01.JavapTest(); // 无参构造器 1descriptor: ()Vflags: ACC_PUBLICCode:stack=2, locals=1, args_size=10: aload_01: invokespecial #1 // Method java/lang/Object."<init>":()V4: aload_05: ldc #2 // String java7: putfield #3 // Field info:Ljava/lang/String;10: returnLineNumberTable:line 22: 0line 20: 4line 24: 10LocalVariableTable:Start Length Slot Name Signature0 11 0 this Lchapter01/JavapTest;private chapter01.JavapTest(boolean); // 有参构造器 2descriptor: (Z)Vflags: ACC_PRIVATECode:stack=2, locals=2, args_size=20: aload_01: invokespecial #1 // Method java/lang/Object."<init>":()V4: aload_05: ldc #2 // String java7: putfield #3 // Field info:Ljava/lang/String;10: aload_011: iload_112: putfield #4 // Field flag:Z15: returnLineNumberTable:line 25: 0line 20: 4line 26: 10line 27: 15LocalVariableTable:Start Length Slot Name Signature0 16 0 this Lchapter01/JavapTest;0 16 1 flag Zprivate void methodPrivate();descriptor: ()Vflags: ACC_PRIVATECode:stack=0, locals=1, args_size=10: returnLineNumberTable:line 30: 0LocalVariableTable:Start Length Slot Name Signature0 1 0 this Lchapter01/JavapTest;int getNum(int);descriptor: (I)Iflags:Code:stack=2, locals=2, args_size=20: aload_01: getfield #5 // Field num:I4: iload_15: iadd6: ireturnLineNumberTable:line 32: 0LocalVariableTable:Start Length Slot Name Signature0 7 0 this Lchapter01/JavapTest;0 7 1 i Iprotected char showGender();descriptor: ()Cflags: ACC_PROTECTEDCode:stack=1, locals=1, args_size=10: aload_01: getfield #6 // Field gender:C4: ireturnLineNumberTable:line 35: 0LocalVariableTable:Start Length Slot Name Signature0 5 0 this Lchapter01/JavapTest;public void showInfo(); // 方法名称descriptor: ()V // 方法描述符:方法形参列表,方法返回类型flags: ACC_PUBLIC // 方法访问标识Code: // 方法中的 CODE 属性stack=3, locals=2, args_size=1 // 操作数栈的最大深度、局部变量表的长度、方法接受参数的个数//偏移量:字节码指令0: bipush 102: istore_13: getstatic #7 // Field java/lang/System.out:Ljava/io/PrintStream;6: new #8 // class java/lang/StringBuilder9: dup10: invokespecial #9 // Method java/lang/StringBuilder."<init>":()V13: aload_014: getfield #3 // Field info:Ljava/lang/String;17: invokevirtual #10 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;20: iload_121: invokevirtual #11 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;24: invokevirtual #12 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;27: invokevirtual #13 // Method java/io/PrintStream.println:(Ljava/lang/String;)V30: return// 行号表:字节码指令偏移量与 Java 源代码中的行号一一对应LineNumberTable:line 38: 0line 39: 3line 40: 30// 局部变量表: 保存方法中的局部变量LocalVariableTable:Start Length Slot Name Signature0 31 0 this Lchapter01/JavapTest;3 28 1 i Istatic {};descriptor: ()Vflags: ACC_STATICCode:stack=1, locals=1, args_size=00: ldc #14 // String www.atguigu.com2: astore_03: returnLineNumberTable:line 17: 0line 18: 3LocalVariableTable:Start Length Slot Name Signature
}
SourceFile: "JavapTest.java" // 附加的属性:当前字节码文件对应的 Java 源文件名
总结
1、通过javap命令可以查看一个java类反汇编得到的Class文件版本号、常量池、访问标识、变量表、指令代码行号表等等信息。不显示类索引、父类索引、接口索引集合、()、 ()等结构
2、通过对前面例子代码反汇编文件的简单分析,可以发现,一个方法的执行通常会涉及下面几块内存的操作:
(1) java栈中:局部变量表、操作数栈。
(2) java堆。通过对象的地址引用去操作。
(3)常量池。
(4)其他如帧数据区、方法区的剩余部分等情况,测试中没有显示出来,这里说明一下。
3、平常,我们比较关注的是java类中每个方法的反汇编中的指令操作过程,这些指令都是顺序执行的,可以参考官方文
档查看每个指令的含义,很简单:
https://docs.oracle.com/javase/specs/jvms/se7/html/jvms-6.html
各位彭于晏,如有收获点个赞不过分吧…✌✌✌
第一章:Class文件结构相关推荐
- 16第一章 ASP.Net编程基础知识
第一章 ASP.Net编程基础知识 第一章 ASP.Net编程基础知识 本章首先介绍用ASP.Net技术编制服务器端动态网页所需的网络和HTML标记语言方面的有关知识.然后 ...
- 【Nginx】第一章 快速入门
第一章 快速入门 文章目录 第一章 快速入门 一.介绍 1.引入 2.什么是 Nginx 3.Nginx 作用 二.Windows 下使用 1.启动 Nginx 2.配置监听 3.关闭 nginx 三 ...
- 《数据库系统概论》第一章笔记
本书第一章,介绍了一些数据库的基本概念,是理解后序章节的基础. 笔记基本上对这些基础概念的摘录. 做笔记的目的,一是加深记忆和理解,二是方便以后资料查找. 1.1 数据库系统概述 1.1.1 数据库系 ...
- 第一章 初识EmguCV
第一章 初识EmguCV 1.1 EmguCV的基本介绍 1.1.1 计算机视觉.OpenCV和EmguCV 计算机视觉是一门研究如何使机器"看"的科学,更进一步的说,就是是指用摄 ...
- 数据库 第一章 绪论
1 数据库系统概述 1.1 数据库的4个基本概念 1.数据(Data) 数据(Data)是数据库中存储的基本对象 数据的定义 描述事物的符号记录 2.数据库(Database) 数据库的定义 数据库( ...
- 计算机二级考试公共基础知识——第一章计算机系统
第一章计算机系统 概述 公认的第一台电子计算器ENIAC 计算机发展的四个阶段 第一阶段,1946年至20世纪50年代后期:电子管计算机时代 第二阶段,二世纪50年代后期至20世纪60年代中期:晶体管 ...
- 第一章 Windows 2000对调试技术的支持
第一章 Windows 2000对调试技术的支持 翻译:Kendiv 更新: Friday, January 14, 2005 内核调试器的命令 尽管调试器的命令已经注意了易记性,但有时总是难以回忆 ...
- 《Undocumented Windows 2000 Secrets》翻译 --- 第一章(2)
第一章 Windows 2000对调试技术的支持 翻译:Kendiv(fcczj@263.net) 更新: Friday, January 18, 2005 声明:转载请注明出处,并保证文章的完整性 ...
- 数据结构—绪论(基本知识点第一章)
第一章数据结构绪论 目录 第一章数据结构绪论 什么是数据结构? 1.3数据结构起源 1.4基本概念和术语 1.4.1数据 1.4.2数据元素 1.4.3数据项 1.4.4数据对象 1.4.5数据结构 ...
- 第一章 Oracle介绍
Oracle 10.2 概念 第一章 Oracle介绍 1.Oracle介绍 本章提供了针对Oracle数据库服务器的概述,包含以下主题 l Oracle数据库体系结构 l Oracle数据库特点 l ...
最新文章
- ArcGIS.Server.9.2.DotNet自带例子分析(一、二)
- 这些Java常用类,你必须要学会,还不快快收藏?(近两万字详细介绍)
- Leetcode738. 单调递增的数字[C++题解]:贪心,数学解法
- Python 中的黑暗角落(一):理解 yield 关键字
- canvas绘制字体-属性设置2
- 实时--1.1 日志数据分析
- 曲线拟合的线性最小二乘法
- mysql挂科了咋办_大学第一学期挂科怎么办?
- php 网上支付之易宝支付
- 云计算IaaS核心技术全景指南
- MacOS Ventura 13.0 Beta6 (22A5331f) 带 OC 0.8.4 三分区原版黑苹果镜像
- Win10配置ssh密钥免密连接Linux服务器
- 定义数字品牌资产,苏泽兰特CEO胡烜峰讲透元宇宙的价值与未来
- 5990. 找出数组中的所有孤独数字
- RSAT(Regulatory Sequence Analysis Tools)详解
- 【C#】操作局域网共享文件夹文件,将本地文件复制到共享文件夹
- 重磅!Science发表西湖大学周强实验室关于“新冠”的最新研究成果
- 雷电2接口_代替你电脑的所有接口,世界最快的雷电3了解一下
- Python将numpy(.npy文件)存储为.ply文件
- 计算机组成原理总复习文档
热门文章
- Oled实现动图显示——篮球少年
- 梦幻鸿蒙市质检,《梦幻西游》手游第十七届武神坛开辟鸿蒙VS斜月三星_
《梦幻西游》手游官网-人人都玩,无处不在...
- SQLZOO刷题记录5——SUM and COUNT
- 女生学java好找工作吗_女生学完web前端好找工作吗?
- 关于可重定位目标文件的格式与其符号表的概述
- python分析股票数据_Python股票分析系列——系列介绍和获取股票数据.p1
- live server 的使用
- 企业级信息系统开发讲课笔记3.3 基于XML配置方式SSM框架西蒙购物网
- esp32连接阿里云物联网平台进行MQTT通信
- python 实现对偶单纯形法