深入理解Java虚拟机（4）—— 类文件结构

快来打我* 2022-05-23 03:43 200阅读 0赞

# 概述： #

Class文件结构是了解虚拟机的重要基础之一，如果想深入的了解虚拟机，Class文件结构是不能不了解的。

Class文件是一组以8位字节为基础单位的二进制流，各项数据项目严格按照顺序紧凑地排列在Class文件之中，中间没有添加任何分隔符，如果是超过8位字节以上空间的数据项，则会按照高位在前的方式（Big-Endian）分割成若干个8位字节进行存储。

Class文件中包含了Java虚拟机指令集和符号表以及若干其他辅助信息。

Class文件格式只有两种数据类型：**无符号数**和**表**。

**无符号数**属于基本的数据类型，以u1,u2,u4,u8来分别代表1个字节，2个字节，4个字节和8个字节的无符号数；可用来描述数字，索引引用，数量值或者按照UTF-8编码构成的字符串值。

**表**是由多个无符号数或者其他表作为数据项构成的复合数据类型，所有表都习惯性地以**“\_info”**结尾。表用于描述由层次关系的复合结构的数据，整个Class文件本质上就是一张表。

# Class文件格式： #

![20170923072656258][]

表现形式之横版：

![20170918181744891][]

# 魔数与Class文件的版本： #

每个Class文件的头4个字节成为魔数（Magic Number）,它唯一的作用是确定这个文件是否为一个能被虚拟机接受的Class文件。值为：0xCAFEBABE（咖啡宝贝）。

**紧接着魔数的4个字节是Class文件的版本号**：第5,6字节是次版本号（Minor Version）,第7,8字节是主版本号（Major Version）。

# 常量池： #

紧接着主次版本号之后是常量池入口，由于常量池中常量的数量是不固定的，所以在常量池的入口需要放置一个**常量池容量计数值**（**constant\_pool\_count**）,这个容量计数是从1而不是0开始的，设计者这样设计的目的是为了满足后面某些指向常量池的索引值的数据在特殊情况下需要表达“不引用任何一个常量池项目”的含义。Class文件结构中只有常量池的容量计数是从1开始的，索引集合、字段集合、方法集合、属性集合的容量计数都是从0开始的。**注意，Long和Double型占用两个计数（这样设计可能设计时没想好）。**

常量池中主要存放两大类常量：**字面量**（Literal）和符号引用。

字面量接近Java语言层面的常量概念，如文本字符串、声明为final的常量值等。

符号引用属于编译原理的概念，包括三类常量：

*  1，类和接口的全限定名；
 *  2，字段的名称和描述符；
 *  3，方法的名称和描述符。

常量池中每一项常量都是一个表，在JDK1.7之后共有14种表结构，它们有一个共同的特点，就是表开始的第一位是一个u1类型的标志位（tag，取值见下表），代表当前这个常量属于哪种常量类型。

## 常量池的项目类型： ##

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 类型 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 描述 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Utf8_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 1 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> UTF-8编码字符串 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Integer_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 3 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 整型字面量 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Float_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 4 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 浮点型字面量 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Long_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 5 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 长整型字面量 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Double_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 6 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 双精度浮点型字面量 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Class_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 7 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 类或接口的符号引用 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_String_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 8 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字符串类型字面量 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Fieldref_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 9 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段的符号引用 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_Methodref_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 10 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 类中方法的符号引用 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_InterfaceMethodref_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 11 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 接口中方法的符号引用 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_NameAndType_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 12 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段或方法的部分符号引用 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_MethodHandle_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 15 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标识方法句柄 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_MethodType_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 16 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标识方法类型 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> CONSTANT_InvokeDtnamic_info </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 18 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 表示一个动态方法调用点 </td> 
 </tr> 
 </tbody> 
</table>

这14种常量类型各自有自己的结构，下面列出每个常量项的结构及含义

## 常量池中的14种常量项的结构总表： ##

![SouthEast][]

**特别说明：**

CONSTANT\_Fieldref\_info  ---------> 9 ---------> 字段的符号引用 
类的字段都在class文件的字段表集合中存储 
只有初始化值的字段才会在class文件中产生CONSTANT\_Fieldref\_info，即为此字段的符号引用。因为初始化值会产生相应的指令在<init>或<clinit>方法中，需要持有此字段的符号引用。 
引用了其他类（包括父类）的字段时也会在class文件中产生CONSTANT\_Fieldref\_info，同理是需要持有字段的符号引用。 
CONSTANT\_Methodref\_info ---------> 10 ---------> 类中方法的符号引用 
同理，类的方法都在class文件的方法表集合中存储 
只有被调用了的方法（本类的或其它类的）才会产生CONSTANT\_Methodref\_info，因为需要持有方法的符号引用。

# 访问标志： #

紧接着常量池之后的两个字节代表访问标志（access\_flags），用于识别一些类或者接口层次的访问信息，包括：这个Class是类还是接口、是否为public类型、是否为abstract类型、类是否声明为final等。标志位及其含义如下表：

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志名称 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志值 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 含义 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PUBLIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0001 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 是否为public类型 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_FINAL </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0010 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 是否被声明为final，只有类可以设置 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_SUPER </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0020 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 是否允许使用invokespecial字节码指令的新语意，invokespecial指令的语意在JDK1.0.2发生过改变，为了区别这条指令使用哪种语意，JDK1.0.2之后编译 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_INTERFACE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0200 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志这是一个接口 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_ABSTRACT </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0400 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 是否为abstract类型，对于接口或者抽象类来说，此标志值为真，其他类为假 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_SYNTHETIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X1000 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志这个类并非由用户代码产生的 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_ANNOTATION </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X2000 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志这是一个注解 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_ENUM </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X4000 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志这是一个枚举 </td> 
 </tr> 
 </tbody> 
</table>

access\_flags中一共有16个标志位可以使用，当前只定义了其中8个，没用使用到的标志位要求一律为0。 access\_flages的值即为类满足上表中的值做或运算得到的值；

# 类索引、父类索引与接口索引集合： #

Class文件中由这三项数据来确定这个类的继承关系。**类索引**用于确定这个类的全限定名，**父类索引**用于确定这个类的父类的全限定名。**接口索引集合**用来描述这个类实现了哪些接口。

**访问标志之后顺序排列类索引、父类索引、接口索引集合。**

**接口索引集合**入口第一项是u2类型的接口计数器（interfaces\_count）表示索引表的容量（即实现了几个接口）。如果该类没用实现任何接口，则计数器值为0，后面的接口索引表不再占用任何字节。

图例：类索引查找全限定名的过程

![SouthEast 1][]

# 字段表集合： #

**排在接口索引集合后边的是字段计数器**：用于标识有多少个字段；接着就是字段表集合。

**字段表**（field\_info）用于描述接口或者类中声明的变量。

字段包括**类级变量**以及**实例级变量**。可以包括的信息有：

1.  字段的作用域（public、private、protected修饰符）
2.  实例变量还是类变量（static修饰符）
3.  可变性（final）
4.  并发可见性（volatile）
5.  可否被序列化（transient）
6.  字段数据类型（基本类型，对象，数组）
7.  字段名称

## 字段表结构： ##

字段修饰符放在access\_flags项目中，它与类中的access\_flags项目非常相似，都是一个u2的数据类型，可以设值的标志位和含义见下表

## 字段访问标志 ##

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志名称 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志值 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 含义 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PUBLIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0001 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否public </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PRIVATE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0002 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否private </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PROTECTED </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0004 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否protected </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_STATIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0008 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否static </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_FINAL </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0010 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否final </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_VOLATILE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0040 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否volatile </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_TRANSIENT </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0080 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否transient </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_SYNTHETIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0100 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否由编译器自动产生的 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_ENUM </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0400 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 字段是否enum </td> 
 </tr> 
 </tbody> 
</table>

跟随access\_flags标志的是两项索引值：**name\_index**和**descriptor\_index**。它们都是对常量池的引用，分别代表**字段的简单名称**以及**字段和方法的描述符**。 描述符的作用是描述字段的数据类型、方法的参数列表（包括数量、类型及顺序）和返回值。根据描述符的规则，基本数据类型以及代表无返回值的void类型都用一个大写字符来表示，而对象类型则用字符L加对象的全限定名表示，见下表

## 描述符标识字符含义 ##

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标识字符 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 含义 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> B </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型byte </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> C </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型char </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> D </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型double </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> F </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型float </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> I </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型int </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> J </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型long </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> S </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型short </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> Z </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 基本类型boolean </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> V </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 特殊类型void </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> L </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 对象类型。如Ljava/lang/Object </td> 
 </tr> 
 </tbody> 
</table>

对于数组类型，每一维度将使用一个前置的**“\[”**字符来描述，如“**String\[\]\[\]**”,会被记录为"**\[\[Ljava/lang/String**","**int\[\]**"被记录为“**\[I**”。

描述符描述方法时，按照先参数列表，后返回值的顺序描述。参数列表按照参数的严格顺序放置一组小括号“()”内，如void inc()的描述符为“()V”,“viod main(String\[\] args)”的描述符为“(\[Ljava/lang/String;)V”,“int indexOf(char\[\] source,int sourceOffset,int sourceCount,char\[\] target,int targetOffset,int targetCount,int fromIndex)”的描述符为“(\[CII\[CIII)I”。

**字段表都包含的固定数据项到descriptor\_index为止就结束**了，不过在descriptor\_index之后跟随着一个**属性表集合**用于存储一些额外的信息，字段都可以在属性表中描述零至多项的额外信息。有关属性表的介绍会在后边具体讲解。

**字段表集合中不会列出从超类或者父类接口中继承而来的字段，但有可能列出原本Java代码之中不存在的字段。**

# 方法表集合： #

**跟在字段表集合后的是方法计算器：用于标识有多少个方法；紧接着的就是放发表集合。**

Class文件存储格式中对方法的描述与对字段的描述几乎采用完全一致的方式。

## 方法表的结构： ##

方法表所包含的数据项目的含义也和字段表集合的非常的类似，仅在访问标志和属性表集合的可选项中有所区别。由于**volatile，transient**关键字不能修饰方法，同时**synchronized、native、strictfp**和**abstract**关键字可以修饰方法。对于方法表，所有标志位及其取值如下

## 方法访问标志： ##

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志名称 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 标志值 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 含义 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PUBLIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0001 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否public </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PRIVATE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0002 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否private </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_PROTECTED </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0004 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否protected </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_STATIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0008 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否static </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_FINAL </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0010 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否final </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_SYNCHRONIZED </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0020 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否synchronized </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_BRIDGE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0040 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否由编译器产生的桥接方法 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_VARARGS </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0080 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否接受不定参数 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_NATIVE </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0100 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否为native </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_ABSTRACT </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0400 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否为abstract </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_STRICTFP </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X0800 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 方法是否为strictfp </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> ACC_SYNTHETIC </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 0X1000 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 防范是否由编译器自动产生 </td> 
 </tr> 
 </tbody> 
</table>

通过访问标志、名称索引、描述符索引可清楚的表达方法的定义。那方法里面的代码去哪里了呢？方法里的Java代码经过编译器编译成字节码指令后，存放在**方法属性表**集合中属性表中；这个属性表的名称为“Code”。属性表是Class文件格式中最具扩展性的一种数据项目，将在下边讲解。

与字段表集合相对应的，如果父类方法在子类中没有被重写（Override），方法表集合中就不会出现来自父类的方法信息，但可能出现编译器自动添加的方法，最典型的便是类构造器“<clinit>”方法和实例构造器"<init>"方法。

在Java语言中，**重载（Overload）一个方法，1、要与原方法具有相同的简单名称。2、要与原方法有不同的特征签名。**Java代码的方法特征签名只包括方法名称、参数顺序及参数类型；而字节码的特征签名还包括方法返回值以及受查异常表。

# 属性表集合： #

属性表（attribute\_info）在前面的讲解中已经出现多次，在**Class文件、字段表、方法表、属性表**都可以携带自己的属性表集合，用于描述某些场景专有的信息。与Class文件中其他的数据项目要求严格的顺序、长度和内容不同，属性表集合的限制稍微宽松了一些，不再要求各个属性表具有严格顺序，并且只要不与已有属性名重复，任何人实现的编译器都可以想属性表中写入自己定义的属性信息，Java虚拟机运行时会忽略掉它不认识的属性。最新的《Java虚拟机规范（Java SE 7）》版中，属性项已经增加到21项。下边将介绍一些关键常用的属性。

## 虚拟机规范预定义的属性： ##

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 属性名称 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 使用位置 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 含义 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> Code </td> 
 <td style="border-color:#c0c0c0;"> 方法表 </td> 
 <td style="border-color:#c0c0c0;"> Java代码编译成的字节码指令 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> ConstantValue </td> 
 <td style="border-color:#c0c0c0;"> 字段表 </td> 
 <td style="border-color:#c0c0c0;"> final关键字定义的常量值 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> Deprecated </td> 
 <td style="border-color:#c0c0c0;"> 类、方法表、字段表 </td> 
 <td style="border-color:#c0c0c0;"> 被声明为deprecated的方法和字段 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> Exceptions </td> 
 <td style="border-color:#c0c0c0;"> 方法表 </td> 
 <td style="border-color:#c0c0c0;"> 方法抛出的异常 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> EnclosingMethod </td> 
 <td style="border-color:#c0c0c0;"> 类文件 </td> 
 <td style="border-color:#c0c0c0;"> 仅当一个类为局部类或者匿名类时才能拥有这个属性，这个属性用于标识这个类所在的外围方法 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> InnerClasses </td> 
 <td style="border-color:#c0c0c0;"> 类文件 </td> 
 <td style="border-color:#c0c0c0;"> 内部类列表 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> LineNumberTable </td> 
 <td style="border-color:#c0c0c0;"> Code属性 </td> 
 <td style="border-color:#c0c0c0;"> Java源码的行号与字节码指令的对应关系 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> LocalVariableTable </td> 
 <td style="border-color:#c0c0c0;"> Code属性 </td> 
 <td style="border-color:#c0c0c0;"> 方法的局部变量描述 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> StackMapTable </td> 
 <td style="border-color:#c0c0c0;"> Code属性 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.6中新增的属性，供新的类型检查验证器（Type Checker）检查和处理目标方法的局部变量和操作数栈所需要的类型是否匹配 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> Signature </td> 
 <td style="border-color:#c0c0c0;"> 类、方法表、字段表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5中新增的属性，这个属性用于支持泛型情况下的方法签名，在Java语言中，任何类、接口、初始化方法或成员的泛型签名如果包含了类型变量（Type Variables）或参数化类型（Parameterized Types），则Signature属性会为它记录泛型签名信息。由于Java的泛型采用擦除法实现，在为了避免类型信息被擦除后导致签名混乱，需要这个属性记录泛型中的相关信息 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> SourceFile </td> 
 <td style="border-color:#c0c0c0;"> 类文件 </td> 
 <td style="border-color:#c0c0c0;"> 记录源文件名称 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> SourceDebugExtension </td> 
 <td style="border-color:#c0c0c0;"> 类文件 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.6中新增的属性，SourceDebugExtension属性用于存储额外的调试信息。譬如在进行JSP文件调试时，无法通过Java堆栈来定位JSP文件的行号，JSR-45规范为这些非Java语言编写，却需要编译成字节码并运行在Java虚拟机中的程序提供了一个进行调试的标准机制，使用SourceDebugExtension属性就可以用于存储这个标准所新加入的调试信息 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> Synthetic </td> 
 <td style="border-color:#c0c0c0;"> 类、方法表、字段表 </td> 
 <td style="border-color:#c0c0c0;"> 标识方法或字段为编译器自动生成的 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> LocalVariableTypeTable </td> 
 <td style="border-color:#c0c0c0;"> 类 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5中新增的属性，它使用特征签名代替描述符，是为了引入泛型语法之后能描述泛型参数化类型而添加 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> RuntimeVisibleAnnotations </td> 
 <td style="border-color:#c0c0c0;"> 类、方法表、字段表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5新增的属性，为动态注解提供支持。RuntimeVisibleAnnotations属性用于注明哪些注解是运行时（实际上运行时就是进行反射调用）可见的 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> RuntimeInvisibleAnnotations </td> 
 <td style="border-color:#c0c0c0;"> 类、方法表、字段表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5新增的属性，与RuntimeVisibleAnnotations属性作用刚好相反，用于指明哪些注解是运行时不可见的 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> RuntimeVisibleParameterAnnotations </td> 
 <td style="border-color:#c0c0c0;"> 方法表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5新增的属性，作用与RuntimeVisibleAnnotations属性类似，只不过作用对象为方法参数 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> RuntimeInvisibleParameterAnnotations </td> 
 <td style="border-color:#c0c0c0;"> 方法表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5新增的属性，作用与RuntimeInvisibleAnnotations属性类似，只不过作用对象为方法参数 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> AnnotationDefault </td> 
 <td style="border-color:#c0c0c0;"> 方法表 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.5新增的属性，用于记录注解类元素的默认值 </td> 
 </tr> 
 <tr> 
 <td style="border-color:#c0c0c0;"> BootstrapMethods </td> 
 <td style="border-color:#c0c0c0;"> 类文件 </td> 
 <td style="border-color:#c0c0c0;"> JDK1.7中新增的属性，用于保存invokedynamic指令引用的引导方法限定符 </td> 
 </tr> 
 </tbody> 
</table>

对于每个属性，它的名称需要从常量池引用一个CONSTANT\_Utf8\_info类型的常量来表示，而属性值的结构则完全自定义的，只需要通过一个u4的长度属性去说明属性值所占用的位数即可。一个符合规则的属性表应该满足以下定义结构

## 属性表结构： ##

**attribute\_name\_index是指向CONSTANT\_Utf8\_info类型常量的索引，CONSTANT\_Utf8\_info类型常量记录着属性的名称；attribute\_length标识属性值所占用的位数。**

# 属性表集合之Code属性 #

**Java程序方法体中的代码经过Javac编译处理后，最终变为字节码指令存储在Code属性中**，Code属性出现在方法表的属性集合之中。但并非所有方法表都有Code属性，例如抽象类或接口。

## Code属性表的结构： ##

attribute\_name\_index所指向的CONSTANT\_Utf8\_info类型常量的值固定为“Code”。

attribute\_length标识属性值的总长度。

**max\_stack**代表了**操作数栈（Operand Stacks）**深度的最大值。

**max\_locals**代表了**局部变量**所表示的存储空间（单位是Slot），一个Slot占用32个字节，double或long这种64位的数据类型则需要两个Slot来存放。**方法参数、局部变量、异常变量都需要使用局部变量表来存放**。Javac编译器会根据变量的作用域来分配Slot，每个Slot在整个线程周期可以重复使用，然后根据变量数和作用域计算出max\_locals的大小。

**code\_length和code是用来存储Java源程序编译后产生的字节码指令**，code\_length代表字节码长度，既然叫字节码，每个指令就是一个u1类型的单字节，**当虚拟机读取到code中的一个字节码时，就可以找出这个字节码代表的是什么指令，并且可以知道这条指令后面是否需要跟随参数，以及参数应当如何理解**。一个字节取值范围为0~255，所以字节码指令肯定不会超过256个指令，目前Java虚拟机规范定义了其中约200条编码值对应指令的含义。

因为code\_length是一个u4类型，所以理论上每个方法的字节长度不能超过2^23-1，但是虚拟机规范中明确限定了一个方法不能超过65535条字节码指令，即实际只用到了u2的长度。关于虚拟机字节码执行的讲解将在下一篇博客中详解。

在**字节码指令之后的是这个方法的显式异常处理表**（下文简称异常表）集合，异常表对于Code属性来说并不是必须存在的。

## 异常表的结构： ##

这些字段的含义是如果当字节码在第start\_pc行到end\_pc行之间（不含第end\_pc行）出现了类型为catch\_type或其子类异常（catch\_type为指向一个CONSTANT\_Class\_info型常量的索引），则转到第handler\_pc行继续处理。当catch\_type的值为0时，代表任意异常情况都需要转向到handler\_pc处进行处理。

编译器使用异常表而不是简单的跳转命令来实现Java异常及finally处理机制；在JDK1.4.2之前的Javac编译器采用了jsr和ret指令实现finally语句，但在1.4.2之后已经改为编译器自动在每段可能的分支路径之后都将finally语句块的内容冗余生成一遍来实现finally语义；在1.7中已经完全禁止jsr和ret指令，如果遇到这两条指令，虚拟机会在类加载的字节码校验阶段抛出异常。

下面举一个异常表的例子（出自深入理解Java虚拟机一书）：

\[html\] [view plain][] [copy][view plain]

1.  package org.fenixsoft.clazz;  
2.    
3.  public class TestClass \{  
4.        
5.      public int inc() \{  
6.            
7.          int x;  
8.            
9.          try\{  
10.             x = 1;  
11.             return x;  
12.         \}catch(Exception e)\{  
13.             x = 2;  
14.             return x;  
15.         \}finally\{  
16.             x = 3;  
17.         \}  
18.           
19.     \}  
20.   
21. \}

编译后的字节码及异常表：

\[html\] [view plain][] [copy][view plain]

1.  Code:  
2.     Stack=1, Locals=5, Args\_size=1  
3.      
4.     0:   iconst\_1  //try块中的x=1  
5.     1:   istore\_1    
6.     2:   iload\_1   //保存x到returnValue中，此时x=1  
7.     3:   istore  4    
8.     5:   iconst\_3  //finaly块中的x=3  
9.     6:   istore\_1    
10.    7:   iload   4 //将returnValue中的值放到栈顶，准备给ireturn返回  
11.    9:   ireturn  //返回方法的int元素（返回栈顶元素1）  
12.    10:  astore\_2  //给catch中定义的Exception e赋值，存储在Slot 2中  
13.    11:  iconst\_2  //catch块中的x=2  
14.    12:  istore\_1    
15.    13:  iload\_1  //保存x到returnValue中，此时x=2  
16.    14:  istore  4   
17.    16:  iconst\_3 //finally块中的x=3  
18.    17:  istore\_1   
19.    18:  iload   4 //将returnValue中的值放到栈顶，准备给ireturn返回  
20.    20:  ireturn  //返回方法的int元素（返回栈顶元素2）  
21.   
22.    21:  astore\_3 //如果出现了不属于Exception及其子类的异常才会走到这里  
23.    22:  iconst\_3 //finally块中的x=3  
24.    23:  istore\_1   
25.    24:  aload\_3 //将异常放置到栈顶  
26.    25:  athrow //抛出异常  
27.   Exception table:  
28.    from   to  target type  
29.     5    10   Class java/lang/Exception   //第0到第5行如果抛出Exception异常则跳转到第10行  
30.     5    21   any  //第0到第5行如果抛出任何异常则跳转到第21行  
31.    16    21   any  //第10到第16行如果抛出任何异常则跳转到第21行

编译器为这段Java源码生成了3条异常表记录，对应3条可能出现的代码执行路径。从Java代码的语义上讲，这3条执行路径分别为：

*  如果try语句块中出现属于Exception或其子类的异常，则转到catch语句块处理。
 *  如果try语句块中出现不属于Exception或其子类的异常，则转到finally语句块处理。
 *  如果catch语句块中出现任何异常，则转到finally语句块处理。

字节码0~4行所做的操作数就是将整数1赋值给变量x，并将此时x的值复制一份到最后一个本地变量表的Slot中（这个Slot里面的值在ireturn指令执行前将会被重新读到栈顶，作为方法返回值使用，这里暂且就记为returnValue）。如果这时没有出现异常，则会继续走到第5~9行，将变量x赋值为3，然后将之前保存到returnValue中的整数1读入到操作栈顶，最后ireturn指令会以int形式放回操作栈顶中的值，方法结束。如果出现了异常，PC寄存器指针转到第10行，第10~20行所做的事情是将2赋值给变量x，然后将变量x此时的赋值给returnValue，最后再将变量x的值改为3。方法返回前同样将returnValue中保留的整数2读到操作栈顶。从第21行开始的代码，作用是将变量x的值赋为3，并将栈顶的异常抛出，方法结束。

# 属性表集合之Exception属性 #

这里的Exception属性是在方法表中与Code属性平级的一项属性，不要与前面刚刚讲解完的异常表产生混淆。Exception属性的作用是列举出方法中可能抛出的受查异常（Checked Exceptions）, 也就是方法描述时在throws关键字后面列举的异常。

## Exception属性表结构： ##

number\_of\_exceptions表示方法可能抛出number\_of\_exceptions种受查异常，每一种受查异常使用一个exception\_index\_table项表示，exception\_index\_table是一个指向常量池中CONSTANT\_Class\_info型常量的索引，代表该受查异常的类型。

# 属性表集合之LineNumberTable属性 #

LineNumberTable属性用于描述Java源码行号与字节码行号（字节码的偏移量）之间的对应关系。

## LineNumberTable属性表结构： ##

line\_number\_table是一个数量为line\_number\_table\_length，类型为line\_number\_info的集合，line\_number\_info表包括了start\_pc和line\_number两个u2类型的数据项，前者是字节码行号，后者是Java源码行号。

# 属性表集合之LocalVariableTable属性 #

LocalVariableTable属性用于描述栈帧中局部变量表中的变量与Java源码中定义的变量之间的关系。

## LocalVariableTable属性结构： ##

local\_variable\_info项目代表了一个栈帧与源码中的局部变量的关联，结构见下表：

<table> 
 <tbody> 
 <tr> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> u2 </td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> index</td> 
 <td style="border-color:#c0c0c0;vertical-align:top;"> 1 </td> 
 </tr> 
 </tbody> 
</table>

start\_pc和length属性分别代表了这个局部变量的生命周期开始的字节码偏移量及其作用范围覆盖的长度，两者结合起来就是这个局部变量在字节码之中的作用域范围。

name\_index和descriptor\_index都是指向常量池中CONSTANT\_Utf8\_info型常量的索引，分别代表了局部变量的名称及这个局部变量的描述符。

index是这个局部变量在栈帧局部变量表中Slot的位置。当这个变量数据类型是64位类型时（double和long），它占用的Slot为index和index+1两个

在JDK1.5引入泛型之后，LocalVariableTable属性增加了一个“姐妹属性”：LocalVariableTypeTable，这个新增属性的结构与LocalVariableTable非常相似，仅仅是把记录的字段描述符的descriptor\_index替换成了字段的特征签名（Signature），对于非泛型来说，描述符和特征签名能描述的信息是基本一致的。

# 属性表集合之SourceFile属性 #

SourceFile属性用于记录生成这个Class文件的源码文件名称。

## sourceFile属性结构： ##

sourcefile\_index数据项是指向常量池中CONSTANT\_Utf8\_info型常量的索引，常量值是源码文件的文件名。

# 属性表集合之ConstantValue属性 #

ConstantValue属性的作用是通知虚拟机自动为静态变量赋值。只有被static关键字修饰的常量（类变量）才可以使用这项属性。目前Sun Javac编译器的选择是：如果同时使用final和static来修饰一个变量，并且这个变量的数据类型是基本类型或者java.lang.String的话，就生成ConstantValue属性来进行初始化，如果这个变量没有被final修饰，或者并非基本类型及字符串，则将会选择在<clinit>方法中进行初始化。

对ConstantValue的属性值只能限于基本类型和String。

## ConstantValue属性结构： ##

# 属性表集合之InnerClasses属性 #

InnerClasses属性用于记录内部类与宿主类之间的关联。

## InnerClasses属性结构： ##

number\_of\_classes代表需要记录多少个内部类信息。

inner\_classes\_info表的结构：

inner\_class\_info\_index和outer\_class\_info\_index分别代表了内部类和宿主类的符号引用。inner\_name\_index代表内部类的名称，inner\_class\_access\_flags是内部类的访问标志。

# 属性表集合之Deprecated及Synthetic属性 #

两个属性都属于标志类型的布尔属性，只存在有和没有的区别，没有属性值的概念。Synthetic代表字段或者方法并不是有Java源码直接产生的，而是由编译器自行添加的。

# 属性表集合之StackMapTable属性 #

StackMapTable属性在JDK1.6发布后增加到了Class文件规范中，它是一个复杂的变长属性，位于Code属性的属性表中。会在虚拟机类加载的字节码验证阶段被新类型检查验证器（Type Checker）使用，目的在于代替以前比较消耗性能的基于数据流分析的类型推导验证器。一个方法的Code属性最多只能有一个StackMapTable属性。

# 属性表集合之Signature属性 #

Signature属性在JDK1.5增加到Class文件规范之中，用于记录泛型签名信息。Java语言的泛型采用的是擦除法实现的伪泛型，缺点就是运行期做反射时无法获得到泛型信息，Signature属性就是为了弥补这个缺陷而增设的。

## Signature属性的结构： ##

signature\_index的值必须是一个对常量池的有效索引。常量池在该索引处的项必须是CONSTANT\_Utf8\_info结构，表示类签名、方法类型签名或字段类型签名。

# 属性表集合之BootstrapMethods属性 #

BootstrapMethods属性在JDK1.7增加到Class文件规范之中的。它是一个复杂的变长属性，位于类文件的属性表中。用于保存invokedynamic指令引用的引导方法限定符。

[20170923072656258]: /images/20220523/688e6543b2074fb7bd1fe73075804246.png
[20170918181744891]: /images/20220523/d2673bb32d134c7daf811764840ccdaa.png
[SouthEast]: /images/20220523/6e4408911c5a4ff9b3ea368b4c167698.png
[SouthEast 1]: /images/20220523/96c175bc2f274365a082284b6854bcfb.png
[view plain]: https://blog.csdn.net/A_zhenzhen/article/details/77977345#