JVM常量池

问道玄霄

已于 2023-05-30 18:10:26 修改

阅读量233

点赞数 1

分类专栏： JVM Java基础文章标签： jvm 字符串

于 2021-05-17 17:49:10 首次发布

本文链接：https://blog.csdn.net/yaoyaochengxian/article/details/116938655

版权

Java基础同时被 2 个专栏收录

44 篇文章 2 订阅

订阅专栏

JVM

12 篇文章 0 订阅

订阅专栏

JVM常量池

Class常量池与运行时常量池
- 字面量
- 符号引用
字符串常量池

Class常量池与运行时常量池

Class常量池可以理解为Class文件中的资源仓库。Class文件中除了包含类版本，字段，方法等描述信息，还有一项就是常量池（constant pool table），用于存放编译期生成的各种字面量（例如“1”，“2”）和符号引用；

一个class文件的16进制大体结构如下图：
在这里插入图片描述
对应的含义如下，细节可以查下oracle官方文档

当然我们也不会人工解析这种16进制的字节码文件，通过使用javap,或者jclasslib生成可读性更强的JVM字节码指令文件；

javap -v Math.class
在这里插入图片描述红框标出的就是class常量池信息，常量池中主要存放两大类常量：字面量和符号引用

字面量

字面量是指字母、数字等构成的字符串或者数值常量；
字面量只可以右值出现，所谓右值是指等号右边的值，如：int a=1 这里的a为左值，1为右值。在这个例子中1就是字面量；

int a = 1; 
int b = 2; 
int c = "abcdefg";
int d = "abcdefg";

符号引用

符号引用是编译原理汇总的概念，是相对于直接引用来说的。主要包括以下三类常量：

类和接口的全限定名
字段的名称和描述符
方法和名称和描述符
上面的a,b就是字段名称，就是一种符号引用，还有Math类常量池里的Lcom/tuling/jvm/Math是类的全限定名，main和compute是方法名称，（）是一种UTF8格式的描述符，这些都是符号引用；
这些常量池现在都是静态信息，只有运行是被加载到内存后，这些符号才有对应的内存地址信息，这些常量池一旦被装入内存就变成了运行时常量池，对应的符号引用在程序加载或者运行时会被转变为被加载到内存区域的代码的直接引用，也就是动态链接。
例如，compute()这个符号引用在运行时就会被转变为compute()方法具体代码在内存中的地址，主要通过对象头里的类型指针去转换直接引用

字符串常量池

字符串常量池的设计思想：

字符串的匹配和其他的对象分配一样，耗费时间和空间为代价，作为最基础的数据类型，大量频繁的创建字符串，极大程度影响程序的性能；
JVM为了提高性能和减少内存开销，实例化字符串常量时，进行了优化：
1）为字符串开辟一块字符串常量池，类似缓存区
2）创建字符串常量时、首先查询字符串常量池是否存在该字符串
3）存在该字符串，返回引用实例，不存在，实例化该字符串进入池中；

三种字符串操作

直接赋值字符串

String s = "zhuge"; // s指向常量池中的引用

这种方式创建的字符串对象，只会在常量池中。因为有"zhuge"这个字面量，创建对象s的时候，JVM会先去常量池中通过 equals(key) 方法，判断是否有相同的对象如果有，则直接返回该对象在常量池中的引用；如果没有，则会在常量池中创建一个新对象，再返回引用

new String()

String s1 = new String("zhuge"); // s1指向内存中的对象引用

这种方式在字符串常量池和堆中都有这个对象，没有就创建，最后返回堆内存中的对象引用；
步骤大致如下：
因为有"zhuge"这个字面量，所以会先检查字符串常量池中是否存在字符串"zhuge" 不存在，先在字符串常量池里创建一个字符串对象；再去内存中创建一个字符串对象"zhuge"；存在的话，就直接去堆内存中创建一个字符串对象"zhuge"；最后，将内存中的引用返回。
在这里插入图片描述

intern方法


String s1 = new String("zhuge");
String s2 = s1.intern();
 System.out.println(s1 == s2); //false

String的intern是一个native方法，调用intern方法时、如果池中包含了一个等于此String对象的字符串，则返回池中的字符串。否则，将intern返回的引用指向当前字符串s1;
在这里插入图片描述
那么就好奇了，什么时候不存在呢？

StringBuilder s1=new StringBuilder("zhuge");
String s2 = s1.toString().intern();
 System.out.println(s1 == s2); //true

字符串常量池位置

Jdk1.6及之前：有永久代, 运行时常量池在永久代，运行时常量池包含字符串常量池 Jdk1.7：有永久代，但已经逐步“去永久代”，字符串常量池从永久代里的运行时常量池分离到堆里
Jdk1.8及之后：无永久代，运行时常量池在元空间，字符串常量池里依然在堆里

用一个程序证明下字符串常量池在哪里：

package com.jvm.jvm1;

import java.util.ArrayList;
import java.util.List;
import java.util.UUID;
/**
  * jdk6：‐Xms6M ‐Xmx6M ‐XX:PermSize=6M ‐XX:MaxPermSize=6M
  * jdk8：‐Xms6M ‐Xmx6M ‐XX:MetaspaceSize=6M ‐XX:MaxMetaspaceSize=6M
 */
public class OOMTest {
    public static List<Object> list=new ArrayList<>();

    public static void main(String[] args) {
        List<Object> list=new ArrayList<>();
        int i=0;
        while (true){
            String str=String.valueOf(i++).intern();
            list.add(str);
        }
    }
}
 运行结果： 
 jdk7及以上：Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
 jdk6：Exception in thread "main" java.lang.OutOfMemoryError: PermGen space

字符串常量池设计原理

字符串常量池底层是hotspot的C++实现的，底层类似一个 HashTable， 保存的本质上是字符串对象的引用。看一道比较常见的面试题，下面的代码创建了多少个 String 对象？

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

// 在 JDK 1.6 下输出是 false，创建了 6 个对象 
// 在 JDK 1.7 及以上的版本输出是 true，创建了 5 个对象
// 当然我们这里没有考虑GC，但这些对象确实存在或存在过

PS：根据StringBuilder.toString()方法，会创建一个String对象，进而返回。所以JDK1.7之后，创建的应该是6个对象。图如下所示
在这里插入图片描述

1. tringBuilder temp = new StringBuilder(); 
2. temp.append("he");
3. temp.append("llo");
4. temp.toString(){
return new String(value);
}

JDK1.8里，存储数据的value，该类型是一个char[]数组，JDK1.9，该类型是byte[]数组

为什么输出会有这些变化呢？
主要还是字符串池从永久代中脱离、移入堆区的原因， intern() 方法也相应发生了变化：1、在 JDK 1.6 中，调用 intern() 首先会在字符串池中寻找 equal() 相等的字符串，假如字符串存在就返回该字符串在字符串池中的引用；假如字符串不存在，虚拟机会重新在永久代上创建一个实例，将 StringTable 的一个表项指向这个新创建的实例。
在这里插入图片描述
2、在 JDK 1.7 (及以上版本)中，由于字符串池不在永久代了，intern() 做了一些修改，更方便地利用堆中的对象。字符串存在时和 JDK 1.6一样，但是字符串不存在时不再需要重新创建实例，可以直接指向堆上的实例。
在这里插入图片描述
由上面两个图，也不难理解为什么 JDK 1.6 字符串池溢出会抛出 OutOfMemoryError: PermGen space ，而在 JDK 1.7 及以上版本抛出 OutOfMemoryError: Java heap space 。

String常量池问题的几个例子

示例1：

String s0="zhuge"; 
String s1="zhuge";
String s2="zhu" + "ge";
System.out.println( s0==s1 ); //true 
System.out.println( s0==s2 ); //true

分析：因为例子中的 s0和s1中的”zhuge”都是字符串常量，它们在编译期就被确定了，所以s0s1为true；而”zhu”和”ge”也都是字符串常量，当一个字符串由多个字符串常量连接而成时，它自己肯定也是字符串常量，所以s2也同样在编译期就被优化为一个字符串常量"zhuge"，所以s2也是常量池中” zhuge”的一个引用。所以我们得出 s0s1==s2；

为什么是字符串常量？
String被final修饰
示例2：

String s0="zhuge";
String s1=new String("zhuge"); 
String s2="zhu" + new String("ge");
System.out.println( s0==s1 ); // false 
System.out.println( s0==s2 )； // false 
System.out.println( s1==s2 ); // false

分析：用new String() 创建的字符串不是常量，不能在编译期就确定，所以new String() 创建的字符串不放入常量池中，它们有自己的地址空间。 s0还是常量池中"zhuge”的引用，s1因为无法在编译期确定，所以是运行时创建的新对象”zhuge”的引用，s2因为有后半部分 new String(”ge”)所以也无法在编译期确定，所以也是一个新创建对象”zhuge”的引用;明白了这些也就知道为何得出此结果了。

本质：JVM在编译这个源文件时，字符串拼接只要出现了变量，那么JVM底层字节码会创建一个StringBuilder对象，调用StringBuilder的append方法，将每个字符串插入StringBuilder里面。

示例3：

String a = "a1"; 
String b = "a" + 1;
System.out.println(a == b); // true 
String a = "atrue"; 
String b = "a" + "true"; 
System.out.println(a == b); // true  
String a = "a3.4";  
String b = "a" + 3.4;  
System.out.println(a == b) //true

分析：JVM对于字符串常量的"+“号连接，将在程序编译期，JVM就将常量字符串的”+“连接优化为连接后的值，拿"a” + 1来说，经编译器优化后在class中就已经是a1。在编译期其字符串常量的值就确定下来，故上面程序最终的结果都为 true。

示例4：

String a = "ab"; 
String bb = "b"; 
String b = "a" + bb; 
System.out.println(a == b); // false

分析：JVM对于字符串引用，由于在字符串的"+“连接中，有字符串引用存在，而引用的值在程序编译期是无法确定的，即"a” + bb无法被编译器优化，只有在程序运行期来动态分配并将连接后的新地址赋给b。所以上面程序的结果也就为 false。

示例5：

String a = "ab"; 
final String bb = "b";
String b = "a" + bb;
System.out.println(a == b); // true

分析：和示例4中唯一不同的是bb字符串加了final修饰，对于final修饰的变量，它在编译时被解析为常量值的一个本地拷贝存储到自己的常量池中或嵌入到它的字节码流中。所以此时的"a" + bb和"a" + "b"效果是一样的。故上面程序的结果为true。

示例6：

String a = "ab";
final String bb = getBB();
String b = "a" + bb;
System.out.println(a == b); // false 
private static String getBB() 
{
 return "b"; 
}

分析：JVM对于字符串引用bb，它的值在编译期无法确定，只有在程序运行期调用方法后，将方法的返回值和"a"来动态连接并分配地址为b，故上面程序的结果为false

关于String是不可变的

通过上面例子可以得出得知：

String s = "a" + "b" + "c"; //就等价于String s = "abc"; 
String a = "a";
String b = "b"; 
String c = "c";
String s1 = a + b + c;

s1 这个就不一样了，可以通过观察其JVM指令码发现s1的"+"操作会变成如下操作：

StringBuilder temp = new StringBuilder(); 
temp.append(a).append(b).append(c); 
String s = temp.toString();

最后再看一个例子：

 //字符串常量池："计算机"和"技术" 堆内存：str1引用的对象"计算机技术" 
 //堆内存中还有个StringBuilder的对象，但是会被gc回收，StringBuilder的toString方法会new String()，这个String才是真正返回的对 象引用
 String str2 = new StringBuilder("计算机").append("技术").toString(); 
  //没有出现"计算机技术"字面量，所以不会在常量池里生 成"计算机技术"对象
 System.out.println(str2 == str2.intern()); //true
  //"计算机技术" 在池中没有，但是在heap中存在，则intern时，会直接返回该heap中的引用 
  //字符串常量池："ja"和"va" 堆内存：str1引用的对象"java" 
  //堆内存中还有个StringBuilder的对象，但是会被gc回收，StringBuilder的toString方法会new String()，这个String才是真正返回的对 象引用
  String str1 = new StringBuilder("ja").append("va").toString(); 
  //没有出现"java"字面量，所以不会在常量池里生成"java"对象 
 System.out.println(str1 == str1.intern());  //false 
 //java是关键字，在JVM初始化的相关类里肯定早就放进字符串常量池了 
 String s1=new String("test"); 
 System.out.println(s1==s1.intern()); //false 
  //"test"作为字面量，放入了池中，而new时s1指向的是heap中新生成的string对象，s1.intern()指向的是"test"字面量之前在池中生成的 字符串对象
String s2=new StringBuilder("abc").toString();
System.out.println(s2==s2.intern()); //false 19 //同上

八种基本类型的包装类和对象池

java中基本类型的包装类的大部分都实现了常量池技术(严格来说应该叫对象池，在堆上)，这些类是 Byte,Short,Integer,Long,Character,Boolean,另外两种浮点数类型的包装类则没有实现。另外 Byte,Short,Integer,Long,Character这5种整型的包装类也只是在对应值小于等于127时才可使用对象池，也即对象不负责创建和管理大于127的这些类的对象。因为一般这种比较小的数用到的概率相对较大。

 public class Test {
  public static void main(String[] args) {
  //5种整形的包装类Byte,Short,Integer,Long,Character的对象，
  //在值小于127时可以使用对象池 6 Integer i1 = 127; 
  //这种调用底层实际是执行的Integer.valueOf(127)，里面用到了IntegerCache对象池 
  Integer i2 = 127; 
  System.out.println(i1 == i2);//输出true 
  //值大于127时，不会从对象池中取对象 
  Integer i3 = 128;
  Integer i4 = 128;
  System.out.println(i3 == i4);//输出false 
  //用new关键词新生成对象不会使用对象池 
  Integer i5 = new Integer(127); 
  Integer i6 = new Integer(127); 
  System.out.println(i5 == i6);//输出false 
  //Boolean类也实现了对象池技术
  Boolean bool1 = true;
  Boolean bool2 = true; 
  System.out.println(bool1 == bool2);//输出true 
  //浮点类型的包装类没有实现对象池技术 
  Double d1 = 1.0;
  Double d2 = 1.0; 
  System.out.println(d1 == d2);//输出false
  } 
  }

问道玄霄

关注

1
点赞
踩
0

收藏

觉得还不错? 一键收藏
0
评论
JVM常量池

JVM常量池Class常量池与运行时常量池字面量符号引用字符串常量池三种字符串操作直接赋值字符串new String()intern方法字符串常量池位置字符串常量池设计原理String常量池问题的几个例子关于String是不可变的八种基本类型的包装类和对象池Class常量池与运行时常量池Class常量池可以理解为Class文件中的资源仓库。Class文件中除了包含类版本，字段，方法等描述信息，还有一项就是常量池（constant pool table），用于存放编译期生成的各种字面量（例如“1”，“2”
复制链接

扫一扫

专栏目录