本文主要讲述三种常量池： Class 常量池、字符串常量池、还有基本类型常量池。
默认 jdk 版本：jdk 1.8
Class 常量池
Class 常量池可以理解为 Class 文件中的资源仓库， Class 文件中除了包含类的版本、字段、方法、接口等描述信息外，还有一项就是 常量池（constant pool table）, 用于存放编译期生成的各种 字面量（Literal）和符号引用（Symbolic References）
我们一般会通过 javap 命令生成可读的 JVM 字节码指令文件：
Classfile /Users/zhengsh/cqvie.edu.cn/ssm-salt/ssm-salt-jvm/src/main/java/cn/edu/cqvie/jvm/Math.class
Last modified 2021年2月4日; size 499 bytes
MD5 checksum 037cef02562301117a47bc10b250c770
Compiled from "Math.java"
public class cn.edu.cqvie.jvm.Math
minor version: 0
major version: 52
flags: (0x0021) ACC_PUBLIC, ACC_SUPER
this_class: #2 // cn/edu/cqvie/jvm/Math
super_class: #7 // java/lang/Object
interfaces: 0, fields: 0, methods: 3, attributes: 1
Constant pool:
#1 = Methodref #7.#18 // java/lang/Object."<init>":()V
#2 = Class #19 // cn/edu/cqvie/jvm/Math
#3 = Methodref #2.#18 // cn/edu/cqvie/jvm/Math."<init>":()V
#4 = Fieldref #20.#21 // java/lang/System.out:Ljava/io/PrintStream;
#5 = Methodref #2.#22 // cn/edu/cqvie/jvm/Math.compute:()I
#6 = Methodref #23.#24 // java/io/PrintStream.println:(I)V
#7 = Class #25 // java/lang/Object
#8 = Utf8 <init>
#9 = Utf8 ()V
#10 = Utf8 Code
#11 = Utf8 LineNumberTable
#12 = Utf8 compute
#13 = Utf8 ()I
#14 = Utf8 main
#15 = Utf8 ([Ljava/lang/String;)V
#16 = Utf8 SourceFile
#17 = Utf8 Math.java
#18 = NameAndType #8:#9 // "<init>":()V
#19 = Utf8 cn/edu/cqvie/jvm/Math
#20 = Class #26 // java/lang/System
#21 = NameAndType #27:#28 // out:Ljava/io/PrintStream;
#22 = NameAndType #12:#13 // compute:()I
#23 = Class #29 // java/io/PrintStream
#24 = NameAndType #30:#31 // println:(I)V
#25 = Utf8 java/lang/Object
#26 = Utf8 java/lang/System
#27 = Utf8 out
#28 = Utf8 Ljava/io/PrintStream;
#29 = Utf8 java/io/PrintStream
#30 = Utf8 println
#31 = Utf8 (I)VConstant pool: 下面的内容就是常量池，常量池中主要存放的是字面量和符号引用。
字面量
字面量就是指字母、数字等构成的字符串或者数值常量。
字面量只可以以右值出现，所谓右值是指等号右边的值，如 int a = 1, 这里的 a 是左值， 1 为右值。在这个例子中 1 就是一个字面量。
int a = 1;
int b = 2;
String str = "Hello !";符号引用
符号引用是编译原理中的概念，是相对于直接引用来说的。主要包括以下三类常量
- 类和接口的全限定名
- 字段名称和描述符
- 方法名称和描述符
对于上面的 a, b 是字段名词， 就是一个符号引用，还有类似常量池中的 Ljava/io/PrintStream 是类的权限定名， main 和 compute 是方法名称，这些都是符号引用。这些常量池现在都是静态信息，只有到运行时被加载到内存后，这些符号才有对应的内存地址信息，这些常量池一旦被装入内存就变成了 运行时常量池， 对应的符号引用在程序加载或运行时就会被转变为被加载内存区的代码的直接引用，也就是我们说的动态连接了， 例如，compute() 这个符号引用在运行时就被转换成了 compute() 方法具体代码在内存中的地址，主要是通过对象头里的类型指针去转换为直接引用。
字符串常量池
字符串常量池的设计思想
- 字符串的分配，和其他的对象分配一样，耗费高昂的时间与空间代价，作为最基础的数据类型，大量频繁的常见字符串，极大程度的影响程序的性能。
- JVM 为了提高性能和减少开销，在实例化字符串常量的时候做了一些优化
- 为字符串开辟了一个字符串常量池，类似缓冲区
- 创建字符串常量时，首先查询字符串常量池是否存在该字符串
- 存在该字符串，返回引用实例，不存在，实例化该字符串并放入常量池中
三种字符串操作（Jdk1.7 以上版本）
- 直接赋值操作
String a = "abc"; // 指向常量这个方式创建的字符串对象，只会在常量池中。
因为有 “abc” 这个字面量，在创建的时候， JVM 会先去常量池中通过 equals(key) 方法，判断是否有相同的对象如果有，则直接返返回该对象在常量池中的引用；
如果没有，则在常量池中创建一个新的对象，再返回引用。
- new 创建对象
String s1 = new String("abc"); // s1 指向内存中对象的引用这种方式会保证字符串常量池和堆中都有这个对象，没有就创建，最后返回堆内存中的对象引用。
步骤如下：
因为有 “abc” 这个字面量，所以先回去常量池中检查字符串常量池中是否存在字符串 “abc” 。
不存在，先在字符串常量池里创建一个字符串对象；再去内存中创建一个字符串对象 “abc”;
如果存在的话，直接去堆内存中创建一个字符串对象 “abc”。
最后将内存中的引用返回。
- intern 方法
String s1 = new String("abc");
String s2 = s1.intern();
System.out.println(s1 == s2) //falseString 中的 intern 方法是一个 native 的方法， 当调用 intern方法时， 如果字符串常量池已经包含一个等于此 String 对象的字符串 （用equals(object)方法确定），则返回池中的字符串。否则，将intern返回的引用指向当前字符串 s1(jdk1.6版本需要将 s1 复制到字符串常量池里)。
字符串常量池的位置
jdk1.6 以及版本之前，有永久代，运行时常量池在永久代，运行时常量次包含字符串常量池
jdk1.7： 有永久代但是已经逐步 “去永久代”， 字符串常池从永久代里的运行时常量池分离到堆中
jdk1.8 以及之后： 无永久代，运行时常量池在元空间，字符串常量池依然在堆里
案例：
/**
* VM args: -Xms10M -Xmx10M
*/
public class RuntimeConstantPoolOOM {
public static void main(String[] args) {
ArrayList<String> list = new ArrayList<>();
for (int i = 0; i < 1000000; i++) {
for (int j = 0; j < 10000000; j++) {
list.add(String.valueOf(i + j / 1000000).intern());
}
}
}
}运行结果：
jdk1.7 以及以上 Exception in thread "main"
java.lang.OutOfMemoryError: Java heap space
jdk1.6 Exception in thread "main" java.lang.OutOfMemoryError: PermGen span
字符串常量池设计原理
字符串常量池底层是hotspot的C++实现的，底层类似一个 HashTable， 保存的本质上是字符串对象的引用。
举例：
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 个对象为什么输出会有这些变化呢？主要还是字符串池从永久代中脱离、移入堆区的原因， intern() 方法也相应发生了变化：
- 在 JDK 1.6 中，调用 intern() 首先会在字符串池中寻找 equal() 相等的字符串，假如字符串存在就返回该字符串在字符串池中的引用；假如字符串不存在，虚拟机会重新在永久代上创建一个实例，将 StringTable 的一个表项指向这个新创建的实例。
- 在 JDK 1.7 (及以上版本)中，由于字符串池不在永久代了，intern() 做了一些修改，更方便地利用堆中的对象。字符串存在时和 JDK 1.6一样，但是字符串不存在时不再需要重新创建实例，可以直接指向堆上的实例。
常量池案例
常量池的几个例子
案例 1:
String s0 = "abc";
String s1 = "abc";
String s2 = "a" + "bc";
boolean b1 = s0 == s1; // true
boolean b2 = s1 == s2; // true这两个是==的，因为在编译期间，程序会帮我们优化一次，“+”会优化掉。
案例 2：
String s2="sh" + new String("en");这种因为有new存在，也不能在编译器完成，所以在运行期间会自动给“sh”加上new String。
String a = "ab";
String b = "b";
String c = "a" + b;
boolean b1 = a == c; // false这种a!=b，在字符串的"+"连接中，有字符串引用存在，而引用的值在程序编译期是无法确定的。但是底下这个是==的
**案例 3: **
String a = "ab";
final String b = "b";
String c = "a" + b;对于final修饰的变量，它在编译时被解析为常量值的一个本地拷贝存储到自己的常量池中或嵌入到它的字节码流中。
案例 4：
String a = "ab";
final String b = getB();
String c = "a" + b;
public static String getB(){
return "b";
} JVM对于字符串引用b，它的值在编译期无法确定，只有在程序运行期调用方法后，将方法的返回值和"a"来动态连接并分配地址为b，故上面程序的结果为 false。
通过以上例子我们再源码中可以找到其JVM指令码发现c的"+"操作会变成如下操作：
StringBuilder temp = new StringBuilder();
temp.append(a).append(b).append(c);
String s = temp.toString();几个特殊的例子
String str2 = new StringBuilder("计算机").append("技术").toString();
// 因为没有出现"计算机技术"字面量，只有“计算机”、“技术”，所以不会在常量池里生成"计算机技术"，在池中没有，但是在 heap 中存在，则intern 时，会直接返回该 heap 中的引用。
System.out.println(str2 == str2.intern()); // true
String str1=new StringBuilder("ja").append("va").toString();
// 这是因为java是关键字，在JVM初始化的相关类里肯定早就放进字符串常量池了。
System.out.println(str1 == str1.intern()); // false
String s1=new String("test");
System.out.println(s1==s1.intern()); // true
String s2=new StringBuilder("abc").toString();
// StringBuilder 的 toString 方法会 new String()，“abc”作为字面量是会放到常量池中的
System.out.println(s2==s2.intern()); // false基本类型常量池
java 中基本类型的包装类的大部分都实现了常量池技术(严格来说应该叫对象池，在堆上)，这些类是Byte, Short, Integer, Long, Character, Boolean, 另外两种浮点数类型的包装类则没有实现。另外 Byte, Short, Integer, Long, Character 这5种整型的包装类也只是在对应值小于等于127时才可使用对象池，也即对象不负责创建和管理大于127的这些类的对象。因为一般这种比较小的数用到的概率相对较大。
//5种整形的包装类Byte,Short,Integer,Long,Character的对象，
//在值小于127时可以使用对象池
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;Integer.java 部分源码
// valueOf 方法
public static Integer valueOf(int i) {
if (i >= IntegerCache.low && i <= IntegerCache.high)
return IntegerCache.cache[i + (-IntegerCache.low)];
return new Integer(i);
}
// IntegerCache 实现
private static class IntegerCache {
static final int low = -128;
static final int high;
static final Integer cache[];
// static 块中预先缓存 -128 ～ 127 这些数据，Long 同理
static {
// high value may be configured by property
int h = 127;
String integerCacheHighPropValue =
sun.misc.VM.getSavedProperty("java.lang.Integer.IntegerCache.high");
if (integerCacheHighPropValue != null) {
try {
int i = parseInt(integerCacheHighPropValue);
i = Math.max(i, 127);
// Maximum array size is Integer.MAX_VALUE
h = Math.min(i, Integer.MAX_VALUE - (-low) -1);
} catch( NumberFormatException nfe) {
// If the property cannot be parsed into an int, ignore it.
}
}
high = h;
cache = new Integer[(high - low) + 1];
int j = low;
for(int k = 0; k < cache.length; k++)
cache[k] = new Integer(j++);
// range [-128, 127] must be interned (JLS7 5.1.7)
assert IntegerCache.high >= 127;
}
private IntegerCache() {}
}
319
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
