field_info 数据结构伪代码

field_info{
    u2 access_flags;
    u2 name_index;
    u2 descriptor_index;
    u2 attributes_count;
    attribute_info attributes[ attributes_count ];
}

method_info 数据结构伪代码

method_info{
    u2 access_flags;
    u2 name_index;
    u2 descriptor_index;
    u2 attributes_count;
    attribute_info attributes[ attributes_count ];
}

Class 的 access_flags

Field 的 access_flags

Method 的 access_flags

attribute_info

attribute_info 数据结构伪代码

attribute_info {
    u2 attribute_name_index;        // 属性名称，指向常量池中（constant_pool）Utf8常量项的索引。
    u4 attribute_length;            // 该属性具体内容的长度，下面info的数组长度。
    u1 info[ attribute_length ];    // 属性具体内容。这里是泛指，不同的属性，这里不一样。
}

与常量池类型不一样的是，属性是由其名称来区别的，即 attribute_info 中的 attribute_name_index 所指向的 Utf8 字符串。

attribute_name_index 字符表

属性名称和作用

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;    // pc (program counter)
        u2 end_pc;
        u2 handler_pc;
        u2 catch_type;
    } exception_table[ exception_table_length ];
    
    u2 attributes_count;
    attribute_info attributes[ attributes_count ];
    
    ......
}

attribute_name_index

指向内容为 "Code" 的 CONSTANT_Utf8_info 常量项。

attribute_length

表示接下来内容的长度。

max_stack

用于说明这个函数在执行过程中，需要最深多少栈空间（栈项）。
JVM执行一个指令的时候，该指令的操作数存储在一个名为“操作数栈（operand stack）”的地方。
每一个操作数占用一个或两个（long、double 类型操作数）栈项。
stack是一块只能进行先入后出的内容。

max_locals

表示该函数最多包括几个局部变量。

code_length

代表 code 数组的长度。

code

函数对应的指令内容，也就是函数的源码经过编译器转换后得到的 Java指令码 存储在 code数组 中。

exception_table_length

表示函数中，异常表的长度。

exception_table

异常表，一个函数可以包含多个 try/catch 语句，一个 try/catch 语句对应 exception_table 数组中的一项。

start_pc

描述 try/catch 语句从哪条指令开始。code[ code_length ] 数组中。

end_pc

表示这个 try 语句到哪条指令结束（不包括 catch）。

handler_pc

表示 catch 语句的内容从哪条指令开始。

catch_type

表示 catch 中截获的 Exception 或 Error 的名字，指向 CONSTANT_Utf8_info 常量项。
如果 catch_type 取值为0，则表示它是 final{ } 语句块。

LineNumberTable

用于调试，指明指令对应的源码行号。
主要靠其结构里面的 start_pc 和 line_number

LineNumberTable_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 line_number_table_length;
    
    {
        u2 start_pc;        // 指向 Code_attribute 中 code 数组某处指令
        u2 line_number;     // 指明 start_pc 位于源码的哪一行。
    } line_number_table[ line_number_table_length ];
    
}

LocalVariableTable

用于调试，调试时可以用于计算本地变量值。

LocalVariableTable_attribute {
    u2 attribute_name_index;
    u4 attribute_length;
    u2 local_variable_table_length;
    
    {
        u2 start_pc;            // 指向 Code_attribute 中 code 数组某处指令
        u2 length;              // 指令长度
        u2 name_index;          // 此局部变量的名称，指向 CONSTANT_Utf8_info 常量项。
        u2 descriptor_index;    // 此局部变量的类型，指向 CONSTANT_Utf8_info 常量项。内容为 Field Descriptor 字符串描述符。
        u2 index;
    } local_variable_table[ local_variable_table_length ];
}