JVM 常量池
Class常量池
Class常量池可以理解为是Class文件中的资源仓库。 Class文件中除了包含类的版本、字段、方法、接口等描述信息外, 还有一项信息就是常量池(constant pool table),用于存放编译器生成的各种字面量(Literal)和符号引用(Symbolic References)。
一个class文件的16进制大体结构如下图:
对应的含义如下,细节可以查下oracle官方文档
当然我们一般不会去人工解析这种16进制的字节码文件,我们一般可以通过javap命令生成更可读的JVM字节码指令文 件:
javap -v Math.class
红框标出的就是class常量池信息,常量池中主要存放两大类常量:字面量和符号引用。
字面量
字面量就是指由字母、数字等构成的字符串或者数值常量 字面量只可以右值出现,所谓右值是指等号右边的值,如:int a=1 这里的a为左值,1为右值。在这个例子中1就是字面 量。
int a = 1;
int b = 2;
int c = "abcdefg";
符号引用
符号引用是编译原理中的概念,是相对于直接引用来说的。主要包括了以下三类常量:
- 类和接口的全限定名
- 字段的名称和描述符
- 方法的名称和描述符
上面的a,b就是字段名称,就是一种符号引用,还有Math类常量池里的 Lcom/tuling/jvm/Math 是类的全限定名, main和compute是方法名称,()是一种UTF8格式的描述符,这些都是符号引用。 这些常量池现在是静态信息,只有到运行时被加载到内存后,这些符号才有对应的内存地址信息,这些常量池一旦被装 入内存就变成运行时常量池了,对应的符号引用在程序加载或运行时会被转变为被加载到内存区域的代码的直接引用, 也就是我们说的动态链接了。
例如,compute()这个符号引用在运行时就会被转变为compute()方法具体代码在内存中 的地址,主要通过对象头里的类型指针去转换直接引用。
Jdk1.6及之前: 有永久代, 常量池在方法区 。
Jdk1.7:有永久代,但已经逐步“去永久代”,常量池在堆 。
Jdk1.8及之后: 无永久代,常量池在元空间。
字符串常量池
字符串常量池的设计思想
- 字符串的分配,和其他的对象分配一样,耗费高昂的时间与空间代价,作为最基础的数据类型,大量频繁的创建 字符串,极大程度地影响程序的性能
- JVM为了提高性能和减少内存开销,在实例化字符串常量的时候进行了一些优化
- 为字符串开辟一个字符串常量池,类似于缓存区
- 创建字符串常量时,首先坚持字符串常量池是否存在该字符串
- 存在该字符串,返回引用实例,不存在,实例化该字符串并放入池中 代码示例,一些字符串局部变量操作
String str1 = "abc";
String str2 = "abc";
String str3 = "abc";
String str4 = new String("abc");
String str5 = new String("abc");
String str6 = new String("abc");
面试题:
String str4 = new String(“abc”) 创建多少个对象?
- 在常量池中查找是否有“abc”对象
-有则返回对应的引用实例
-没有则在常量池中创建对应的实例对象 - 在堆中 new 一个 String(“abc”) 对象
- 将对象地址赋值给str4,创建一个引用
所以,常量池中没有“abc”字面量则创建两个对象,否则创建一个对象,以及创建一个引用 根据字面量,往往会提出这样的变式题:
String str1 = new String(“A”+“B”) ; 会创建多少个对象?
String str2 = new String(“ABC”) + “ABC” ; 会创建多少个对象?
str1:
字符串常量池:“A”,“B”,“AB” : 3个
堆:new String(“AB”) :1个
引用: str1 :1个
总共 : 5个
str2 :
字符串常量池:“ABC” : 1个
堆:new String(“ABC”) :1个
引用: str2 :1个
总共 : 3个
操作字符串常量池的方式
- JVM实例化字符串常量池时
String str1 = "hello";
String str2 = "hello";
System.out.println("str1 == str2" : str1 == str2) //true
- String.intern()
通过new操作符创建的字符串对象不指向字符串常量池中的任何对象,但是可以通过使用字符串的intern()方法来指向其 中的某一个。java.lang.String.intern()返回一个常量池里面的字符串,就是一个在字符串常量池中有了一个入口。如果 以前没有在字符串常量池中,那么它就会被添加到里面。
String s1 = "hello";
String s2 = new String("Hello");
String s3 = s2.intern();
System.out.println("s1 == s2? " + (s1 == s2)); // false
System.out.println("s1 == s3? " + (s1 == s3)); // true
八种基本类型的包装类和对象池
java中基本类型的包装类的大部分都实现了常量池技术,这些类是Byte,Short,Integer,Long,Character,Boolean,另外两 种浮点数类型的包装类则没有实现。另外Byte,Short,Integer,Long,Character这5种整型的包装类也只是在对应值小于等 于127时才可使用对象池,也即对象不负责创建和管理大于127的这些类的对象。
public class BaseTypeTest {
public static void main(String[] args) {
//5种整形的包装类Byte,Short,Integer,Long,Character的对象,
// 在值小于127时可以使用常量池
Integer i1 = 127;
Integer i2 = 127;
System.out.println(i1==i2);//输出true
Integer i3 = 128;
Integer i4 = 128;
System.out.println(i3==i4);//输出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
}
}