字节码的整体结构

字节码整体分为10个部分

在上表中，Fields、Methods等属性均是2 + N个字节，其中固定的2个字节表示的当前分类的元素个数，如果为0则不会存在后面的N个字节，而是直接进入下一个分类的内容。

描述符

另外对于常量池中还有一部分内容需要特别强调，JVM对每种数据类型及每个方法都存在对应的描述符用来精简字节码的结构和长度，下面给出常用的描述符

8种基本类型 + void

对象类型

L+对象的权限定名称（其中的.替换成/）+ ;

如Object的对象描述符为：Ljava/lang/Object;

String的对象描述符为：Ljava/lang/String;

数组类型

以 '[' 开头后面接数组的元素类型，如果是基本类型就是 [ + 对应的基本类型的描述符，如果是对象类型数组则是 [ + 对象描述符。示例如下：

基本类型：int[] -> [I, byte[] -> [B

对象类型：Integer[] -> [Ljava/lang/Integer; , String[]

方法的描述符

方法描述符是对方法的返回值+参数进行精简，对方法名并不产生影响。其结构是(方法参数类型描述符)+返回值类型的描述符。示例如下：

// 该方法的方法描述符为 (I)V
public void test(int a ){...} 
// 该方法的方法描述符为 (ILjava/lang/Integer;)I
public int add(int a,Integer b){...}

Fields Table的结构

每个Field都是按照如下的数据结构来存储信息的。

Methods Table的结构

方法表的数据结构与字段表一样，需要额外说明的是Attribute_info的结构，从上表可以看出Attribute_info是一个长度为Attributes_count的数组，我们现在来分析数组内的数据结构。

JVM一般会内置一些属性，但是也允许编译器自定义属性写入class文件，供运行时使用。其中最重要的一个属性是Code。下面我们会详细介绍Code属性。

Method Attribute之Code Attribute

Code属性是用来保存方法的结构（指令）。其数据结构如下所示：

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];// 异常表，表示在[start_pc,end_pc)范围内如果出现catch_type类型的异常则交由handler_pc来处理，当catch_type为0是表示处理所有异常
  u2 attribute_count;           // 属性个数
  attribute_info attributes[attribute_count] // 属性信息
}

上述结构中大多数情况下attributes有2个，分别是前文提到的LineNumberTable和LocalVaribleTable。而LocalVaribleTable的长度与max_locals相等。

调用方法的指令

与上表中提到的虚方法对应的是非虚方法，他们是在编译器就能够决定的，在类加载阶段就能将符号引用转为直接应用。他们分别是：

• 静态方法
• 父类方法
• 构造方法
• 私有方法（无法被重写）

到此为止字节码模块相关内容就介绍到这里。由于本人能力有限，所表达的内容难免会有错误，欢迎大家评论或私信我指出，我们共同讨论进步。