java虚拟机常量池

转载

转载链接： https://blog.csdn.net/YY_xiaozhu/article/details/81751112

常量池通用格式

cp_info {
    u1 tag;
    u1 info[];
}
 
 

 
 
1
2
3
4

tag 表示常量项类型，整理如下：

常量类型	值	描述
CONSTANT_Class_info	7	表示类或接口
CONSTANT_Fieldref_info	9	字段信息表
CONSTANT_Methodref_info	10	方法
CONSTANT_InterfaceMethodref_info	11	接口方法
CONSTANT_String_info	8	java.lang.String 类型的常量对象
CONSTANT_Integer_info	3	整型字面量
CONSTANT_Float_info	4	浮点型字面量
CONSTANT_Long_info	5	长整型字面量
CONSTANT_Double_info	6	双精度型字面量
CONSTANT_NameAndType_info	12	名称和类型表
CONSTANT_Utf8_info	1	utf-8 编码的字符串
CONSTANT_MethodHandle_info	15	方法句柄表
CONSTANT_MethodType_info	16	方法类型表
CONSTANT_InvokeDynamic_info	18	动态方法调用点

对应具体类型分析如下：
1、CONSTANT_Class_info

功能： 表示类或接口
格式：

CONSTANT_Class_info {
    u1 tag;
    u2 name_index;
}
其中：tag 值为7，表示一个 CONSTANT_Class_info 类型
name_index， 必须是对常量池的一个有效索引。 常量池在该索引处的项必须是CONSTANT_Utf8_info 结构， 代表一个有效的类或接口二进制名称的内部形式。
 
 

 
 
1
2
3
4
5
6
7
8
9

2、CONSTANT_Fieldref_info

功能： 表示字段字面量
格式：

CONSTANT_Fieldref_info {
    u1 tag;     //9
    u2 class_index; //CONSTANT_Fieldref_info 结构的 class_index 项的类型既可以是类也可以是接口。
    u2 name_and_type_index;
}
class_index 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是CONSTANT_Class_info 结构，表示一个类或接口，当前字段或方法是这个类或接口的成员。
name_and_type_index: 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是 CONSTANT_NameAndType_info 结构，它表示当前字段或方法的名字和描述符。
 
 

 
 
1
2
3
4
5
6
7
8
9
10

方法符号引用 和 接口方法符号引用结构和 字段字面量 类似，如下：
3、CONSTANT_Methodref_info

功能： 表示方法符号引用
格式：
CONSTANT_Methodref_info {
    u1 tag;   //10
    u2 class_index; //CONSTANT_Methodref_info 结构的 class_index 项的类型必须是类（不能是接口）。
    u2 name_and_type_index;
}
 
 

 
 
1
2
3
4
5
6
7

4、CONSTANT_InterfaceMethodref_info

功能： 表示接口方法符号引用
格式：
CONSTANT_InterfaceMethodref_info {
    u1 tag;    //11
    u2 class_index; //CONSTANT_InterfaceMethodref_info 结构的class_index 项的类型必须是接口
（不能是类）。 
    u2 name_and_type_index;
}
 
 

 
 
1
2
3
4
5
6
7
8

5、CONSTANT_String_info

功能： 表示方法符号引用
格式：
CONSTANT_String_info {
    u1 tag;    //8
    u2 string_index;
}
string_index 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是CONSTANT_Utf8_info 结构，表示一组 Unicode 码点序列，这组 Unicode 码点序列最终会被初始化为一个 String 对象
 
 

 
 
1
2
3
4
5
6
7

6、CONSTANT_Integer_info、CONSTANT_Float_info

功能： 表示表示 4 字节的整型、浮点型字面量
格式：
CONSTANT_Integer_info {
    u1 tag;  //3
    u4 bytes; 
}
CONSTANT_Integer_info 结构的 bytes 项表示 int 常量的值，按照 Big-Endian的顺序存储。

CONSTANT_Float_info {
    u1 tag;  //4
    u4 bytes;
}
CONSTANT_Float_info 结构的 bytes 项按照 IEEE 754 单精度浮点格式.表示 float 常量的值，按照 Big-Endian 的顺序存储。
 
 

 
 
1
2
3
4
5
6
7
8
9
10
11
12
13

7、CONSTANT_Long_info 、CONSTANT_Double_info

功能：表示 8 字节（long 和 double）的数值常量
注1
    在Class 文件的常量池中，所有的 8 字节的常量都占两个表成员（项）的空间。如果一个 CONSTANT_Long_info 或 CONSTANT_Double_info 结构的项在常量池中的索引为 n，则常量池中下一个有效的项的索引为 n+2， 此时常量池中索引为 n+1 的项有效但必须被认为不可用。

格式：
CONSTANT_Long_info {
    u1 tag;   //5
    u4 high_bytes;
    u4 low_bytes;
}
CONSTANT_Long_info 结构中的无符号的 high_bytes 和 low_bytes 项用于共同表
示 long 型常量，构造形式为((long) high_bytes << 32) + low_bytes，high_bytes 和 low_bytes 都按照 Big-Endian 顺序存储。


CONSTANT_Double_info {
    u1 tag;   //6
    u4 high_bytes;
    u4 low_bytes;
}
CONSTANT_Double_info 结构中的 high_bytes 和 low_bytes 共同按照 IEEE 754
双精度浮点格式 表示 double 常量的值。 high_bytes 和 low_bytes 都按照 Big-Endian 顺序存储。
 
 

 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

8、CONSTANT_NameAndType_info

功能：表示字段或方法(描述其名称和类型)
格式：
CONSTANT_NameAndType_info {
    u1 tag;  //12
    u2 name_index;
    u2 descriptor_index;
}

name_index 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是CONSTANT_Utf8_info 结构，这个结构要么表示特殊的方法名<init>，要么表示一个有效的字段或方法的非限定名（Unqualified Name）。

descriptor_index 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是CONSTANT_Utf8_info 结构，这个结构表示一个有效的字段描述符 或方法描述符。
 
 

 
 
1
2
3
4
5
6
7
8
9
10
11

9、CONSTANT_Utf8_info

功能：表示字段或方法
格式：
CONSTANT_Utf8_info {
    u1 tag;  //1
    u2 length;
    u1 bytes[length];
}
length 项的值指明了 bytes[]数组的长度（注意，不能等同于当前结构所表示的String 对象的长度）， CONSTANT_Utf8_info 结构中的内容是以 length 属性确定长度而不是以 null 作为字符串的终结符。
如果 length 的值为 0x00, 则没有 bytes[length]。

bytes[]是表示字符串值的byte数组， bytes[]数组中每个成员的byte值都不会是0，
也不在 0xf0 至 0xff 范围内。
 
 

 
 
1
2
3
4
5
6
7
8
9
10
11
12

10、CONSTANT_MethodHandle_info

功能：表示方法句柄
格式：
CONSTANT_MethodHandle_info {
    u1 tag;  //15
    u1 reference_kind;
    u2 reference_index;
}
reference_kind 项的值必须在 1 至 9 之间（包括 1 和 9），它决定了方法句柄的类型。方法句柄类型的值表示方法句柄的字节码行为。
 
 

 
 
1
2
3
4
5
6
7
8

11、CONSTANT_MethodType_info

功能：表示方法类型
格式：
CONSTANT_MethodType_info {
    u1 tag;   //16
    u2 descriptor_index;
}
descriptor_index 项的值必须是对常量池的有效索引， 常量池在该索引处的项必须是CONSTANT_Utf8_info 结构，表示方法的描述符。
 
 

 
 
1
2
3
4
5
6
7

12、CONSTANT_InvokeDynamic_info

功能：表示方法类型
格式：
CONSTANT_InvokeDynamic_info {
    u1 tag;  //18
    u2 bootstrap_method_attr_index;
    u2 name_and_type_index;
}

bootstrap_method_attr_index  项的值必须是对当前 Class 文件中引导方法表的 bootstrap_methods[]数组的有效索引。

name_and_type_index  项的值必须是对当前常量池的有效索引， 常量池在该索引处的项必须是 CONSTANT_NameAndType_info 结构，表示方法名和方法描述。
 
 

 
 
1
2
3
4
5
6
7
8
9
10
11

            <link href="https://csdnimg.cn/release/phoenix/mdeditor/markdown_views-e44c3c0e64.css" rel="stylesheet">
                </div>