彻底理解JVM常量池

文章目录

java 复制代码

	int a = 10;
	String b = "张三";

字面量指的是由字母，数字构成的字符串，或者数字常量。只有可能出现在赋值语句 = 的右侧。

符号引用中的符号，指的是

类和接口的全限定名。
字段的名称和描述符。
方法的名称和描述符。

而常量池的概念，可细分为常量池、运行时常量池、字符串常量池三块。

常量池存在于字节码文件中（静态，不属于JVM的任何一块） 运行时常量池是C++中的结构体（动态），也就是说，常量池加载到方法区后成为运行时常量池。

在JDK1.6 字符串常量池是运行时常量池的一部分，都存放于方法区：
在JDK7及以后的版本，字符串常量池从方法区的运行时常量池，移动到了堆空间中：
JVM在实例化字符串时，做了一些优化：

为字符串开辟一个字符串常量池，类似于缓存区。
创建字符串常量时，首先查询字符串常量池是否存在该字符串。
存在该字符串，返回引用实例，不存在，实例化该字符串并放入池中。

字符串常量池，底层是一个table，存放的是k,v结构，k是引用，v是实际的值。返回的是k（引用）。

假设都是第一次实例化字符串对象：

java 复制代码

	String s = "a";

会向堆中的字符串常量池存放一个a字符串，然后返回引用指向s：

java 复制代码

	String s = new String("a");

会向堆中的字符串常量池存放一个a字符串，还会在堆中创建一个字符串对象，并且返回它的引用指向s。也就是说，会创建两个对象。

java 复制代码

	String s1 = new String("a");
	String s2 = s1.intern();
	System.out.println(s1 == s2);

首先s1会向堆中的字符串常量池存放一个a字符串，还会在堆中创建一个字符串对象，并且返回它的引用指向s1。然后调用s1的intern()方法，会从字符串常量池中取出a字符串的引用，指向s2。最后的输出是false。因为s1指向的是堆中new String出的实例，而s2指向的是堆中字符串常量池中的a的引用。

intern()方法，优先去字符串常量池找目标，如果能找到就直接返回字符串常量池中字符串的引用，此时的s1.intern指向的是字符串常量池中的a的引用。

找不到目标，就放一个在字符串常量池中，然后返回调用intern方法者的引用，此时的s1.intern指向的是堆中s1指向的a（s1.intern和s1指向同一个对象）

再补充一个案例：

java 复制代码

	String s1 = new String("he") + new String("llo");
	String s2 = s1.intern();
	System.out.println(s1 == s2);

创建了几个对象？输出的结果如何？具体要根据不同的版本进行分析：

JDK1.6，在执行第一行代码时，内存图如下所示，s1指向堆中hello的引用。这里的hello是从哪来的？+底层实际调用的是append方法，append调用toString最后会new 一个新的字符串对象

在执行第二行代码时，位于方法区运行时常量池的字符串常量池中，并没有hello的字面量，于是会在字符串常量池中新创建一个hello对象，指向s2。
s2和s1指向不是同一个实例，所以输出false。

JDK1.7及以上，在执行第一行代码时，内存图如下所示：
在执行第二行代码时，位于堆空间的字符串常量池中，并没有hello字面量，会将hello的引用放入字符串常量池中，并且返回调用intern方法者的引用。