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 |
Class 文件数据类型
数据类型 | 定义 | 说明 |
---|---|---|
无符号数 | 无符号数可以用来描述数字、索引引用、数量值、按照 utf-8 编码构成的字符串值 | 其中无符号数属于基本的数据类型,以 u1、u2、u4、u8 来分别代表 1 个字节、2 个字节、4 个字节、8 个字节 |
表 | 表是由多个无符号数或其他表构成的复合数据结构 | 所有的表都以 _info 结尾,由于表没有固定长度,所以通常会在其前面加上个数说明 |
魔数
1、Magic Number
2、每个 Class 文件开头的 4 个字节的无符号整数称为魔数(Magic Number)
3、唯一作用是确定这个文件,是否为一个能被虚拟机接受的、有效合法的 Class 文件,即:魔数是 Class 文件的标识符
4、魔数值固定为 0xCAFEBABE,不会改变
5、如果一个 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
6、因为文件扩展名可以随意地改动,基于安全,使用魔数,而不是扩展名,进行识别
文件版本号
1、魔数 4 个字节之后,存储的是 Class 文件的版本号(4 个字节)
(1)第 5、6 个字节:编译的副版本号 minor_version
(2)第 7、8 个字节:编译的主版本号 major_version
(3)共同构成 .class 文件的格式版本号
(4)若某个 Class 文件的主版本号为 M,副版本号为 m,则格式版本号为 M.m
2、版本号、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 |
3、Java 版本号从 45 开始,JDK 1.1 之后的每个 JDK 大版本发布主版本号向上加 1
4、不同版本 Java 编译器编译的 Class 文件对应的版本不同
(1)目前,高版本 JVM 可以执行由低版本编译器生成的 Class 文件(向下兼容)
(2)低版本 JVM 不能执行由高版本编译器生成的 Class 文件,否则 JVM 会抛出 java.lang.UnsupportedClassVersionError 异常
(3)在开发时,开发编译 JDK 版本、生产环境 JDK 版本保持一致
(4)虚拟机 JDK 版本为 1.k(k >= 2)时,对应的 class 文件格式版本号的范围为 45.0 - 44+k.0(含两端)
常量池集合
1、在版本号之后,为常量池的数量,以及若干个常量池表项
2、Class 文件使用一个前置的容量计数器(constant_pool_count),若干个连续的数据项(constant_pool)的形式来描述常量池内容,这一系列连续常量池数据称为常量池集合
类型 | 名称 | 数量 |
---|---|---|
u2(无符号数) | constant_pool_count | 1 |
cp_info(表) | constant_pool | constant_pool_count - 1 |
(1)常量池中常量的数量不固定
(2)在常量池的入口,需要放置一项 u2 类型的无符号数,代表常量池容量计数值(constant_pool_count)
(3)与 Java 中语言不同,容量计数是从 1 而不是 0 开始
(4)常量池表项中,存放编译时期生成的各种字面量、符号引用,这部分内容将在类加载后,进入方法区的运行时常量池中存放
常量池计数器
1、constant_pool_count
2、由于常量池的数量不固定,时长时短,所以需要放置两个字节来表示常量池容量计数值
3、常量池容量计数值(u2 类型)
(1)表示常量池中有多少项常量
(2)常量池从 1 开始,需要把第 0 项常量空出
(3)为了满足后面某些指向常量池的索引值的数据,在特定情况下需要表达“不引用任何一个常量池项目”的含义,这种情况可用索引值 0 来表示
常量池表
1、constant_pool
2、一种表结构,以 1 ~ constant_pool_count - 1 为索引,表明了后面有多少个常量项
3、常量池主要存放两大类常量
(1)字面量(Literal)
(2)符号引用(Symbolic References)
4、包含 .class 文件结构及其子结构中,引用的所有字符串常量、类或接口名、字段名和其他常量
(1)14 种表(常量项结构)共同点是:表开始的第一位是一个 u1 类型的标志位(tag),代表当前这个常量项使用的是哪种表结构,即哪种常量类型
(2)在常量池列表中,CONSTANT_Utf8_info 常量项,一种使用改进过的 UTF-8 编码格式,存储文字字符串、类或接口的全限定名、字段或方法的简单名称、描述符等常量字符串信息
(3)14 种常量项结构特点:其中 13 个常量项占用的字节固定,只有 CONSTANT_Utf8_info 占用字节不固定,其大小由 length 决定,因为从常量池存放的内容可知,其存放的是字面量和符号引用,最终这些内容都会是一个字符串,这些字符串的大小是在编写程序时才确定
类型 | 标志 / 标识 | 描述 |
---|---|---|
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 | 表示一个动态方法调用点 |
5、常量池可以理解为 Class 文件中的资源仓库,它是 Class 文件结构中与其他项目关联最多的数据类型,也是占用 Class 文件空间最大的数据项目之一
6、Java 代码在进行 javac 编译时,并不像 C / C++ 有连接步骤,而是在虚拟机加载 Class 文件时进行动态链接
(1)在 Class 文件中不会保存各个方法、字段的最终内存布局信息,因此这些字段、方法的符号引用不经过运行期转换,无法得到真正的内存入口地址,无法直接被虚拟机使用
(2)当虚拟机运行时,需要从常量池获得对应的符号引用,在类创建时或运行时解析、翻译到具体的内存地址之中
字面量、符号引用
常量 | 具体的常量 |
---|---|
字面量 | 文本字符串 |
声明为 final 的常量值 | |
符号引用 | 类和接口的全限定名 |
字段的名称和描述符 | |
方法的名称和描述符 |
1、全限定名:类似全类名,只是把包名的 . 替换成 / ,为了使连续的多个全限定名之间不产生混淆,在使用时最后一般会加入一个 ; 表示全限定名结束
2、简单名称:没有类型和参数修饰的方法或字段名称
3、描述符:描述字段的数据类型、方法的参数列表(包括数量、类型以及顺序)、返回值,根据描述符规则
(1)基本数据类型(byte、char、double、float、int、long、short、boolean)、代表无返回值 void 类型,都用一个大写字符来表示
(2)对象类型则用字符 L 加对象的全限定名来表示
标志符 | 含义 |
---|---|
B | 基本数据类型 byte |
C | 基本数据类型 char |
D | 基本数据类型 double |
F | 基本数据类型 float |
I | 基本数据类型 int |
J | 基本数据类型 long |
S | 基本数据类型 short |
Z | 基本数据类型 boolean |
V | 代表 void 类型 |
L | 对象类型 |
[ | 数组类型,代表一维数组 |
4、虚拟机在加载 Class 文件时,才会进行动态链接
(1)即 Class 文件中不会保存各个方法和字段的最终内存布局信息
(2)所以,字段和方法的符号引用,不经过转换是无法直接被虚拟机使用
(3)当虚拟机运行时,需要从常量池中获得对应的符号引用,在类加载过程中的解析阶段,将其替换为直接引用,并翻译到具体的内存地址中
5、符号引用、直接引用
(1)符号引用:以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可,符号引用与虚拟机实现的内存布局无关,引用的目标并不一定已经加载到内存中
(2)直接引用:直接引用可以是直接指向目标的指针、相对偏移量、一个能间接定位到目标的句柄,直接引用与虚拟机实现的内存布局相关,同一个符号引用,在不同虚拟机实例上,翻译出来的直接引用一般不会相同,如果有直接引用,说明引用目标必定已经存在于内存之中
常量类型和结构
1、常量池中每一项常量都是一个表
2、JDK 1.7 之后共有 14 种不同的表结构数据,每个类型描述常量池的内容(主要是字面量、符号引用)
(1)标志为 15、16、18 的常量项类型,用来支持动态语言调用的,JDK 1.7 时加入
(2)CONSTANT_Class_info:表示类或接口
(3)CONSTAT_Fieldref_info、CONSTAHT_Methodref_infoF、CONSTANIT_InterfaceMethodref_info:表示字段、方法、接口的符号引用
(4)CONSTANT_String_info:表示 String 类型的常量对象
(5)CONSTANT_Integer_info 和 CONSTANT_Float_info:表示 4 字节(int 和 float)的数值常量
(6)CONSTANT_Long_info 和 CONSTAT_Double_info:表示 8 字节(long 和 double)的数值常量
(7)在 .class 文件的常最池表中,首行的 a 字节常量均占两个表成员(项)的空间,如果一个 CONSTANT_Long_info、CONSTANT_Double_info 结构在常量池中的索引为 n,则常量池中一个可用的索引为 n + 2,此时常量池中索引为 n + 1 的项仍然有效,但必须视为不可用
(8)CONSTANT_NameAndType_info:用于表示字段或方法的符号引用,但与(3)不同,CONSTANT_NameAndType_info 结构没有指明该字段或方法所属的类或接口
(9)CONSTANT_Utf8_info:表示字符常量的值
(10)CONSTANT_MethodHandle_info:表示方法句柄
(11)CONSTANT_MethodType_info:表示方法类型
(12)CONSTANT_InvokeDynamic_info:表示 invokedynamic 指令所使用的引导方法、引导方法所使用的动态调用名称、参数、返回类型,并给引导方法传入一系列称为静态参数(static argument)的常量
访问标识
1、access_flag / 访问标志 / 访问标记
2、在常量池后,紧接访问标记,该标记使用 2 个字节表示
3、识别一些类或接口层次的访问信息
标志名称 | 标志值 | 含义 |
---|---|---|
ACC_PUBLIC | 0x0001 | 标志为 public 类型 |
ACC_FINAL | 0x0010 | 标志被声明为 final,只有类可以设置 |
ACC_SUPER | 0x0020 | 标志允许使用 invokespecial 字节码指令的新语义,JDK 1.0.2 之后编译出来的类的这个标志默认为真(使用增强的方法调用父类方法) |
ACC_INTERFACE | 0x0200 | 标志这是一个接口 |
ACC_ABSTRACT | 0x0400 | 是否为 abstract 类型,对于接口或者抽象类来说,次标志值为真,其他类型为假 |
ACC_SYNTHETIC | 0x1000 | 标志此类并非由用户代码产生(即:由编译器产生的类,没有源码对应) |
ACC_ANNOTATION | 0x2000 | 标志这是一个注解 |
ACC_ENUM | 0x4000 | 标志这是一个枚举 |
4、类的访问权限通常为 ACC_开头的常量
5、每一种类型的表示,都是通过设置访问标记的 32 位中的特定位来实现的
6、ACC_INTERFACE
(1)表示的是接口而不是类,反之则表示的是类而不是接口
(2)如果一个 class 文件被设置了 ACC_INTERFACE 标志,同时必须设置 ACC_ABSTRACT 标志,不能再设置 ACC_FINAL、ACC_SUPER、ACC_ENUM
(3)如果没有设置 ACC_INTERFACE 标志,则该 .class 文件可以具有上表中除 ACC_ANNOTATION 外的其他所有标志
(4)ACC_FINAL、ACC_ABSTRACT 这类互斥的标志,不得同时设置
7、ACC_SUPER
(1)确定类或接口中的 invokespecial 指令使用的是哪一种执行语义
(3)针对 JVM 指令集的编译器都应当设置这个标志,可以让类更准确地定位到父类的方法 super.method(),现代编译器都会设置并且使用这个标记
(3)对于 Java SE 8 及后续版本来说,无论 .class 文件中 ACC_SUPER 标志的实际值,也不管 .class 文件的版本号是多少,JVM 都认为每个 .class 文件均设置 ACC_SUPER 标志
(4)ACC_SUPER 标志是为了向后兼容由旧 Java 编译器所编译的代码而设计
(5)目前 ACC_SUPER 标志在由 JDK1.0.2 之前的编译器,所生成的访问标志中是没有确定含义的,如果设置了该标志,那么 Oracle 的 JVM 实现会将其忽略
8、ACC_SYNTHETIC:表示该类或接口是由编译器生成,而不是由源代码生成
9、注解类型必须设置 ACC_ANNOTATION 标志,如果设置 ACC_ANNOTATION 标志,则必须设置 ACC_INTERFACE 标志
10、ACC_ENUM:表明该类或其父类为枚举类型
类索引、父类索引、接口索引
1、在访问标记后,会指定该类的类别、父类类别以及实现的接口,格式如下
长度 | 含义 |
---|---|
u2 | this_class |
u2 | super_class |
u2 | interfaces_count |
u2 | interfaces[interfaces_count] |
2、三项数据确定这个类的继承关系
(1)类索引:确定这个类的全限定名
(2)父类索引:确定这个类的父类的全限定名,由于 Java 语言不允许多重继承,所以父类索引只有一个,除 java.lang.Object 之外,所有的 Java 类都有父类,因此除 java.lang.Object 外,所有 Java 类的父类索引都不为 0
(3)接口索引集合:描述这个类实现哪些接口,这些被实现的接口,将按 implements 语句(如果这个类本身是一个接口,则应当是 extends 语句)后的接口顺序,从左到右排列在接口索引集合中
this_class(类索引)
1、2 字节无符号整数,指向常量池的索引
2、提供类的全限定名
3、this_class 的值必须是对常量池表中某项的一个有效索引值
4、常量池在这个索引处的成员必须为 CONSTANT_Class_info 类型结构体,该结构体表示这个 .class 文件所定义的类或接口
super_class(父类索引)
1、2 字节无符号整数,指向常量池的索引
2、提供当前类的父类的全限定名
3、如果没有继承任何类,其默认继承 java/lang/object 类,同时,由于 Java 不支持多继承,所以其父类只有一个
4、super_class 指向的父类不能是 final
interfaces_count(接口计数器)
1、其值表示当前类,或接口的直接超接口数量
2、占用 2 字节
interfaces(接口索引集合)
1、指向常量池索引的集合
(1)每个成员的值必须是对常量池表中某项的有效索引值,长度为 interfaces_count
(2)每个成员必须为 CONSTANT_Class_info 结构,成员数量:0 <= i < interfaces_count
(3)各成员所表示的接口顺序,和对应的源代码中给定的接口顺序(从左至右)相同,即 interfaces[0] 对应的是源代码中最左边的接口
2、提供一个符号引用到所有已实现的接口
3、由于一个类可以实现多个接口,因此需要以数组形式保存多个接口的索引,表示接口的每个索引也是一个指向常量池的 CONSTANT_Class_info(这里表示接口,而不是类)
字段表集合
1、描述接口或类中声明的变量
2、字段(field)包括类级变量、实例级变量,但不包括方法内部、代码块内部声明的局部变量
3、字段名、字段定义的数据类型,是不固定的,只能引用常量池中的常量,来描述每个字段的完整信息
4、字段表集合中,不会列出从父类,或实现接口中继承而来的字段,但有可能列出原本 Java 代码之中不存在的字段,如:在内部类中为了保持对外部类的访问性,会自动添加指向外部类实例的字段
5、在 Java 语言中字段是无法重载的,两个字段的数据类型、修饰符不管是否相同,都必须使用不一样的名称,但是对于字节码来讲,如果两个字段的描述符不一致,则字段重名就是合法的
字段计数器
1、fields_count
2、其值表示当前 .class 文件 fields 表的成员个数
3、使用 2 个字节来表示
字段表
1、fields
2、表中每个成员都是一个 field_info 结构,表示该类或接口所声明的,所有类字段或实例字段,不包括方法内部声明的变量、从父类或父接口继承的字段
3、字段表结构
标志名称 |
标志值 |
含义 |
数量 |
---|---|---|---|
u2 |
access_flags |
访问标志 |
1 |
u2 |
name_index |
字段名索引 |
1 |
u2 |
descriptor_index |
描述符索引 |
1 |
u2 |
attributes_count |
属性计数器 |
1 |
attribute_info |
attributes |
属性集合 |
attributes_count |
4、字段表访问标识
(1)描述字段的修饰符
(2)修饰符都以布尔值表示:true 表示存在,false 表示不存在
标志名称 |
标志值 |
含义 |
---|---|---|
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 |
5、描述符索引
(1)描述字段的数据类型、方法的参数列表(包括数量、类型、顺序)、返回值
(2)根据描述符规则,基本数据类型(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 | 对象类型 |
[ | 数组类型,代表一维数组 |
6、属性表集合
(1)一个字段可能拥有一些属性,用于存储更多的额外信息,如:初始化值、一些注释信息等
(2)属性个数存放在 attribute_count 中,属性具体内容存放在 attributes 数组中
方法表集合
1、指向常量池索引的集合,完整描述每个方法的签名
(1)在字节码文件中,每一个 method_info 项都对应着一个类或接口中的方法信息,比如:方法的访问修饰符、方法的返回值类型、方法的参数信息等
(2)如果方法不是抽象,或不是 native,则会在字节码中体现
(3)方法表只描述当前类或接口中声明的方法,不包括从父类或父接口继承的方法
(4)方法表有可能会出现由编译器自动添加的方法,最典型的是编译器产生的方法信息,比如:类 / 接口的初始化方法 <clinit>()、实例初始化方法 <init>()
2、使用注意事项
(1)在 Java 中,要重载(Overload)一个方法,除了要与原方法具有相同的简单名称之外,还要求必须拥有一个与原方法不同的特征签名
(2)特征签名:一个方法中各个参数在常量池中的字段符号引用的集合
(3)因为返回值不包含在特征签名之中,因此 Java 无法仅依靠返回值的不同,来对一个已有方法进行重载
(4)在 Class 文件格式中,特征签名的范围更大一些,只要描述符不是完全一致的两个方法就可以共存,即如果两个方法有相同名称、特征签名,但返回值不同,则可以合法共存于同一个 .class 文件中
(5)尽管 Java 语法规范并不允许在一个类,或接口中声明多个方法签名相同的方法,但和 Java 语法规范相反,字节码文件中却允许存放多个方法签名相同的方法,唯一的条件就是这些方法之间的返回值不能相同
方法计数器
1、methods_count
2、其值表示当前 .class 文件方法表的成员个数,使用 2 个字节表示
方法表
1、methods
2、每个成员都是一个 method_info 结构,用于表示当前类或接口中某个方法的完整描述
(1)如果某个 method_info 结构的 access_flags 项,既没有设置 ACC_NATIVE 标志,也没有设置 ACC_ABSTRACT 标志,则该结构中应该包含实现这个方法所用的 Java 虚拟机指令
(2)method_info 结构可以表示类和接口中定义的所有方法,包括实例方法、类方法、实例初始化方法、类或接口初始化方法
(3)方法表的结构实际与字段表相同
标志名称 | 标志值 | 含义 | 数量 |
---|---|---|---|
u2 | access_flags | 访问标志 | 1 |
u2 | name_index | 方法名索引 | 1 |
u2 | descriptor_index | 描述符索引 | 1 |
u2 | attributes_count | 属性计数器 | 1 |
attribute_info | attributes | 属性集合 | attributes_count |
2、方法表访问标志
(1)方法表的访问标志,与字段表有部分相同,部分不同
标志名称 | 标志值 | 含义 |
---|---|---|
ACC_PUBLIC | 0x0001 | public,方法可以从包外访问 |
ACC_PRIVATE | 0x0002 | private,方法只能本类访问 |
ACC_PROTECTED | 0x0004 | protected,方法在自身和子类可以访问 |
ACC_STATIC | 0x0008 | static,静态方法 |
属性表集合
1、方法表集合之后为属性表集合
2、.class 文件所携带的辅助信息,比如:该 .class 文件的源文件的名称,任何带有 RetentionPolicy.CLASS 或 RetentionPolicy.RUNTIME 注解,这类信息通常被用于 JVM 验证和运行,以及 Java 程序的调试
3、字段表、方法表都可以有自己的属性表,描述某些场景专有的信息
4、属性表集合不再要求各个属性表具有严格的顺序,并且只要不与已有的属性名重复,任何编译器都可以向属性表中,写入自定义的属性信息,但 JVM 运行时会忽略不能识别的属性
属性计数器
1、attributes_count
2、其值表示当前 .class 文件属性表的成员个数,占用 2 字节
属性表
1、attributes
2、每一项都是一个 attribute_info 结构
(1)属性表的结构比较灵活,各种不同的属性只要满足以下结构即可
(2)属性的通用格式
类型 | 名称 | 数量 | 含义 |
---|---|---|---|
u2 | attribute_name_index | 1 | 属性名索引 |
u4 | attribute_length | 1 | 属性长度 |
u1 | info | attribute_length | 属性表 |
3、属性类型
(1)虚拟机中预定义的属性
属性名称 | 使用位置 | 含义 |
---|---|---|
Code | 方法表 | Java 代码编译成的字节码指令 |
ConstantValue | 字段表 | final 关键字定义的常量池 |
Deprecated | 类,方法,字段表 | 被声明为 deprecated 的方法和字段 |
Exceptions | 方法表 | 方法抛出的异常 |
EnclosingMethod | 类文件 | 仅当一个类为局部类或匿名类时才能拥有这个属性,这个属性用于标识这个类所在的外围方法 |
InnerClass | 类文件 | 内部类列表 |
LineNumberTable | Code 属性 | Java 源码的行号与字节码指令的对应关系 |
LocalVariableTable | Code 属性 | 方法的局部变量描述 |
StackMapTable | Code 属性 | JDK 1.6 中新增的属性,供新的类型检查检验器和处理目标方法的局部变量和操作数有所需要的类是否匹配 |
Signature | 类,方法表,字段表 | 用于支持泛型情况下的方法签名 |
SourceFile | 类文件 | 记录源文件名称 |
SourceDebugExtension | 类文件 | 用于存储额外的调试信息 |
Synthetic | 类,方法表,字段表 | 标志方法或字段为编译器自动生成的 |
LocalVariableTypeTable | 类 | 使用特征签名代替描述符,是为了引入泛型语法之后能描述泛型参数化类型而添加 |
RuntimeVisibleAnnotations | 类,方法表,字段表 | 为动态注解提供支持 |
RuntimeInvisibleAnnotations | 类,方法表,字段表 | 用于指明哪些注解是运行时不可见的 |
RuntimeVisibleParameterAnnotation | 方法表 | 作用与 RuntimeVisibleAnnotations 属性类似,只不过作用对象或方法 |
RuntimeInvisibleParameterAnnotation | 方法表 | 作用与 RuntimeInvisibleAnnotations 属性类似,只不过作用对象或方法 |
AnnotationDefault | 方法表 | 用于记录注解类元素的默认值 |
BootstrapMethods | 类文件 | 用于保存 invokeddynamic 指令引用的引导方法限定符 |
4、ConstantValue 属性
(1)表示一个常量字段的值
(2)位于 field_info 结构的属性表中
5、Deprecated 属性
(1)在 JDK 1.1,为了支持注释中的关键词 @deprecated 而引入
6、Code 属性
(1)存放方法体中的代码
(2)并非所有方法表都有 Code 属性,如:接口、抽象方法,没有具体的方法体
(3)Code 属性表的结构
类型 | 名称 | 数量 | 含义 |
---|---|---|---|
u2 | attribute_name_index | 1 | 属性名索引 |
u4 | attribute_length | 1 | 属性长度 |
u2 | max_stack | 1 | 操作数栈深度的最大值 |
u2 | max_locals | 1 | 局部变量表所需的存续空间 |
u4 | code_length | 1 | 字节码指令的长度 |
u1 | code | code_lenth | 存储字节码指令 |
u2 | exception_table_length | 1 | 异常表长度 |
exception_info | exception_table | exception_length | 异常表 |
u2 | attributes_count | 1 | 属性集合计数器 |
attribute_info | attributes | attributes_count | 属性集合 |
(4)Code 属性表的前两项,与属性表一致,即 Code 属性表遵循属性表的结构,后面为自定义的结构
7、InnerClasses 属性
(1)假设一个表示类或接口的 Class 格式为 C,如果 C 的常量池中,包含某个 CONSTANT_Class_info 成员,且这个成员所表示的类或接口不属于任何一个包,则 C 的 ClassFile 结构的属性表中,必须含有对应 InnerClasses 属性
(2)在 JDK 1.1 中为了支持内部类、内部接口而引入的,位于 ClassFile 结构的属性表
8、LineNumberTable 属性
(1)可选变长属性,位于 Code 结构的属性表
(2)描述 Java 源码行号与字节码行号之间的对应关系
(3)可以用来在调试时,定位代码执行的行数
(4)start_pc:字节码行号
(5)line_number:Java 源代码行号
(6)在 Code 属性的属性表中,LineNumberTable 属性可以按照任意顺序出现
(7)多个 LineNumberTable 属性可以共同表示一个行号在源文件中表示的内容,即 LineNumberTable 属性不需要与源文件的行一一对应
9、LocalVariableTable 属性
(1)可选变长属性,位于 Code 属性的属性表中
(2)它被调试器用于确定方法在执行过程中局部变量的信息
(3)在 Code 属性的属性表中,LocalVariableTable 属性可以按照任意顺序出现
(4)Code 属性中的每个局部变量最多只能有一个 LocalVariableTable 属性
(5)start pc + length:表示局部变量在字节码中的生命周期起始和结束的偏移位置(this 生命周期从头 0 到结尾 10)
(6)index:局部变量在局部变量表中的槽位(槽位可复用)
(7)name:局部变量名
(8)Descriptor:表示局部变量类型描述
10、Signature 属性
(1)可选定长属性,位于 ClassFile / field_info / method_info 结构的属性表中
(2)在 Java 中,任何类、接口、初始化方法、成员的泛型签名,如果包含类型变量(Type Variables)或参数化类型(Parameterized Types),则 Signature 属性会为它记录泛型签名信息
11、SourceFile 属性
(1)固定 8 字节
(2)结构
类型 | 名称 | 数量 | 含义 |
---|---|---|---|
u2 | attribute_name_index | 1 | 属性名索引 |
u4 | attribute_length | 1 | 属性长度 |
u2 | sourcefile index | 1 | 源码文件素引 |
【推荐】编程新体验,更懂你的AI,立即体验豆包MarsCode编程助手
【推荐】凌霞软件回馈社区,博客园 & 1Panel & Halo 联合会员上线
【推荐】抖音旗下AI助手豆包,你的智能百科全书,全免费不限次数
【推荐】博客园社区专享云产品让利特惠,阿里云新客6.5折上折
【推荐】轻量又高性能的 SSH 工具 IShell:AI 加持,快人一步
· 微软正式发布.NET 10 Preview 1:开启下一代开发框架新篇章
· 没有源码,如何修改代码逻辑?
· PowerShell开发游戏 · 打蜜蜂
· 在鹅厂做java开发是什么体验
· WPF到Web的无缝过渡:英雄联盟客户端的OpenSilver迁移实战