Class 文件中的常量池详解（上）

Class 文件中的常量池详解（上）

NO1. 常量池在 class 文件的什么位置？

​ 我的上一篇文章《Java 虚拟机原理图解》 1、class 文件基本组织结构中已经提到了 class 的文件结构，在 class 文件中的魔数、副版本号、主版本之后，紧接着就是常量池的数据区域了，如下图用红线包括的位置：

知道了常量池的位置后，然后让我们来揭秘常量池里究竟有什么东西吧～

NO2. 常量池的里面是怎么组织的？

常量池的组织很简单，前端的两个字节占有的位置叫做常量池计数器 (constant_pool_count)，它记录着常量池的组成元素 常量池项 (cp_info) 的个数。紧接着会排列着 constant_pool_count-1 个常量池项 (cp_info)。如下图所示：

NO3. 常量池项 (cp_info) 的结构是什么？

每个常量池项 (cp_info) 都会对应记录着 class 文件中的某中类型的字面量。让我们先来了解一下常量池项 (cp_info) 的结构吧：

JVM 虚拟机规定了不同的 tag 值和不同类型的字面量对应关系如下：

​ 所以根据 cp_info 中的 tag 不同的值，可以将 cp_info 更细化为以下结构体：

​ CONSTANT_Utf8_info,CONSTANT_Integer_info,CONSTANT_Float_info,CONSTANT_Long_info,
​ CONSTANT_Double_info,CONSTANT_Class_info,CONSTANT_String_info,CONSTANT_Fieldref_info,
​ CONSTANT_Methodref_info,CONSTANT_InterfaceMethodref_info,CONSTANT_NameAndType_info,CONSTANT_MethodHandle_info,
​ CONSTANT_MethodType_info,CONSTANT_InvokeDynamic_info。

​

​ 现在让我们看一下细化了的常量池的结构会是类似下图所示的样子：

​

NO4. 常量池能够表示那些信息？

NO5. int 和 float 数据类型的常量在常量池中是怎样表示和存储的？(CONSTANT_Integer_info, CONSTANT_Float_info)

Java 语言规范规定了 int 类型和 Float 类型的数据类型占用 4 个字节的空间。那么存在于 class 字节码文件中的该类型的常量是如何存储的呢？相应地，在常量池中，将 int 和 Float 类型的常量分别使用 CONSTANT_Integer_info 和 Constant_float_info 表示，他们的结构如下所示：

举例：建下面的类 IntAndFloatTest.java，在这个类中，我们声明了五个变量，但是取值就两种 int 类型的 10 和 Float 类型的 11f。

[java]view plain copy

print?

1. package com.louis.jvm;
3. public class IntAndFloatTest {
5. private final int a = 10;
6. private final int b = 10;
7. private float c = 11f;
8. private float d = 11f;
9. private float e = 11f;
11. }

然后用编译器编译成 IntAndFloatTest.class 字节码文件，我们通过 javap -v IntAndFloatTest 指令来看一下其常量池中的信息，可以看到虽然我们在代码中写了两次 10 和三次 11f，但是常量池中，就只有一个常量 10 和一个常量 11f, 如下图所示:

从结果上可以看到常量池第#8 个常量池项 (cp_info) 就是 CONSTANT_Integer_info, 值为 10；第#23 个常量池项 (cp_info) 就是 CONSTANT_Float_info, 值为 11f。(常量池中其他的东西先别纠结啦，我们会面会一一讲解的哦)。

代码中所有用到 int 类型 10 的地方，会使用指向常量池的指针值#8 定位到第#8 个常量池项 (cp_info)，即值为 10 的结构体 CONSTANT_Integer_info，而用到 float 类型的 11f 时，也会指向常量池的指针值#23 来定位到第#23 个常量池项 (cp_info) 即值为 11f 的结构体 CONSTANT_Float_info。如下图所示：

NO6. long 和 double 数据类型的常量在常量池中是怎样表示和存储的？(CONSTANT_Long_info、CONSTANT_Double_info )

Java 语言规范规定了 long 类型和 double 类型的数据类型占用 8 个字节的空间。那么存在于 class 字节码文件中的该类型的常量是如何存储的呢？相应地，在常量池中，将 long 和 double 类型的常量分别使用 CONSTANT_Long_info 和 Constant_Double_info 表示，他们的结构如下所示：

举例：建下面的类 LongAndDoubleTest.java，在这个类中，我们声明了六个变量，但是取值就两种 Long 类型的 -6076574518398440533L 和 Double 类型的 10.1234567890D。

[java]view plain copy

print?

1. package com.louis.jvm;
3. public class LongAndDoubleTest {
5. private long a = -6076574518398440533L;
6. private long b = -6076574518398440533L;
7. private long c = -6076574518398440533L;
8. private double d = 10.1234567890D;
9. private double e = 10.1234567890D;
10. private double f = 10.1234567890D;
11. }

然后用编译器编译成 LongAndDoubleTest.class 字节码文件，我们通过 javap -v LongAndDoubleTest 指令来看一下其常量池中的信息，可以看到虽然我们在代码中写了三次 -6076574518398440533L 和三次 10.1234567890D，但是常量池中，就只有一个常量 -6076574518398440533L 和一个常量 10.1234567890D, 如下图所示:

从结果上可以看到常量池第 #18 个常量池项 (cp_info) 就是 CONSTANT_Long_info, 值为 -6076574518398440533L ；第 #26 个常量池项 (cp_info) 就是 CONSTANT_Double_info, 值为 10.1234567890D。(常量池中其他的东西先别纠结啦，我们会面会一一讲解的哦)。

​ 代码中所有用到 long 类型 -6076574518398440533L 的地方，会使用指向常量池的指针值#18 定位到第 #18 个常量池项 (cp_info)，即值为 -6076574518398440533L 的结构体 CONSTANT_Long_info，而用到 double 类型的 10.1234567890D 时，也会指向常量池的指针值#26 来定位到第 #26 个常量池项 (cp_info) 即值为 10.1234567890D 的结构体 CONSTANT_Double_info。如下图所示：

NO7. String 类型的字符串常量在常量池中是怎样表示和存储的？（CONSTANT_String_info、CONSTANT_Utf8_info）

对于字符串而言，JVM 会将字符串类型的字面量以 UTF-8 编码格式存储到在 class 字节码文件中。这么说可能有点摸不着北，我们先从直观的 Java 源码中中出现的用双引号 "" 括起来的字符串来看，在编译器编译的时候，都会将这些字符串转换成 CONSTANT_String_info 结构体，然后放置于常量池中。其结构如下所示：

如上图所示的结构体，CONSTANT_String_info 结构体中的 string_index 的值指向了 CONSTANT_Utf8_info 结构体，而字符串的 utf-8 编码数据就在这个结构体之中。如下图所示：

请看一例，定义一个简单的 StringTest.java 类，然后在这个类里加一个 "JVM 原理 " 字符串，然后，我们来看看它在 class 文件中是怎样组织的。

[java]view plain copy

print?

1. package com.louis.jvm;
3. public class StringTest {
4. private String s1 = "JVM 原理";
5. private String s2 = "JVM 原理";
6. private String s3 = "JVM 原理";
7. private String s4 = "JVM 原理";
8. }

将 Java 源码编译成 StringTest.class 文件后，在此文件的目录下执行 javap -v StringTest 命令，会看到如下的常量池信息的轮廓：

(PS : 使用 javap -v 指令能看到易于我们阅读的信息，查看真正的字节码文件可以使用 HEXWin、NOTEPAD++、UtraEdit 等工具。)

​ 在面的图中，我们可以看到 CONSTANT_String_info 结构体位于常量池的第#15 个索引位置。而存放 "Java 虚拟机原理" 字符串的 UTF-8 编码格式的字节数组被放到 CONSTANT_Utf8_info 结构体中，该结构体位于常量池的第#16 个索引位置。上面的图只是看了个轮廓，让我们再深入地看一下它们的组织吧。请看下图：

由上图可见：“JVM 原理” 的 UTF-8 编码的数组是：4A564D E5 8E 9FE7 90 86，并且存入了 CONSTANT_Utf8_info 结构体中。

NO8. 类文件中定义的类名和类中使用到的类在常量池中是怎样被组织和存储的？(CONSTANT_Class_info)

JVM 会将某个 Java 类中所有使用到了的类的完全限定名 以二进制形式的完全限定名 封装成 CONSTANT_Class_info 结构体中，然后将其放置到常量池里。CONSTANT_Class_info 的 tag 值为 7 。其结构如下：

Tips：类的完全限定名和二进制形式的完全限定名

在某个 Java 源码中，我们会使用很多个类，比如我们定义了一个 ClassTest 的类，并把它放到 com.louis.jvm 包下，则 ClassTest 类的完全限定名为 com.louis.jvm.ClassTest，将 JVM 编译器将类编译成class 文件后，此完全限定名在 class 文件中，是以二进制形式的完全限定名存储的，即它会把完全限定符的 "." 换成 "*/*" ，即在 class 文件中存储的 ClassTest 类的完全限定名称是 "com/louis/jvm/ClassTest"。因为这种形式的完全限定名是放在了 class 二进制形式的字节码文件中，所以就称之为 二进制形式的完全限定名。

举例，我们定义一个很简单的 ClassTest 类，来看一下常量池是怎么对类的完全限定名进行存储的。

[java]view plain copy

print?

1. package com.jvm;
2. import java.util.Date;
3. public class ClassTest {
4. private Date date =new Date();
5. }

将 Java 源码编译成 ClassTest.class 文件后，在此文件的目录下执行 javap -v ClassTest 命令，会看到如下的常量池信息的轮廓：

如上图所示，在 ClassTest.class 文件的常量池中，共有 3 个 CONSTANT_Class_info 结构体，分别表示 ClassTest 中用到的 Class 信息。 我们就看其中一个表示 com/jvm.ClassTest 的 CONSTANT_Class_info 结构体。它在常量池中的位置是#1，它的 name_index 值为#2，它指向了常量池的第 2 个常量池项，如下所示:

注意：

对于某个类而言，其 class 文件中至少要有两个 CONSTANT_Class_info 常量池项，用来表示自己的类信息和其父类信息。(除了 java.lang.Object 类除外，其他的任何类都会默认继承自 java.lang.Object）如果类声明实现了某些接口，那么接口的信息也会生成对应的 CONSTANT_Class_info 常量池项。

除此之外，如果在类中使用到了其他的类，只有真正使用到了相应的类，JDK 编译器才会将类的信息组成 CONSTANT_Class_info 常量池项放置到常量池中。如下图：

[java]view plain copy

print?

1. package com.louis.jvm;
3. import java.util.Date;
5. public class Other{
6. private Date date;
8. public Other()
9. {
10. ​ Date da;
11. }
12. }

上述的 Other 的类，在 JDK 将其编译成 class 文件时，常量池中并没有 java.util.Date 对应的 CONSTANT_Class_info 常量池项，为什么呢?

在 Other 类中虽然定义了 Date 类型的两个变量 date、da，但是 JDK 编译的时候，认为你只是声明了 “Ljava/util/Date” 类型的变量，并没有实际使用到 Ljava/util/Date 类。将类信息放置到常量池中的目的，是为了在后续的代码中有可能会反复用到它。很显然，JDK 在编译 Other 类的时候，会解析到 Date 类有没有用到，发现该类在代码中就没有用到过，所以就认为没有必要将它的信息放置到常量池中了。

将上述的 Other 类改写一下，仅使用 new Date()，如下图所示：

[java]view plain copy

print?

1. package com.louis.jvm;
3. import java.util.Date;
5. public class Other{
6. public Other()
7. {
8. ​ new Date();
9. }
10. }

这时候使用 javap -v Other ，可以查看到常量池中有表示 java/util/Date 的常量池项：

总结：

\1. 对于某个类或接口而言，其自身、父类和继承或实现的接口的信息会被直接组装成 CONSTANT_Class_info 常量池项放置到常量池中；

\2. 类中或接口中使用到了其他的类，只有在类中实际使用到了该类时，该类的信息才会在常量池中有对应的 CONSTANT_Class_info 常量池项；

\3. 类中或接口中仅仅定义某种类型的变量，JDK 只会将变量的类型描述信息以 UTF-8 字符串组成 CONSTANT_Utf8_info 常量池项放置到常量池中，上面在类中的 private Date date;JDK 编译器只会将表示 date 的数据类型的 “Ljava/util/Date” 字符串放置到常量池中。