class常量池
java文件在编译成class文件后,在class文件中会生成一个常量池,用于存放代码的字面量、符号引用,如static、void、public等等。这个常量池称为class常量池。用javap命令可生成一个可阅读的JVM字节码指令文件:
javap -v ScheduledBlockChainTask.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()方法具体代码在内存中的 地址,主要通过对象头里的类型指针去转换直接引用。
字符串常量池
字符串常量池的设计思想
1. 字符串的分配,和其他的对象分配一样,耗费高昂的时间与空间代价,作为最基础的数据类型,大量频繁的创建字符串,极大程度地影响程序的性能
2. JVM为了提高性能和减少内存开销,在实例化字符串常量的时候进行了一些优化
- 为字符串开辟一个字符串常量池,类似于缓存区
- 创建字符串常量时,首先查询字符串常量池是否存在该字符串
- 存在该字符串,返回引用实例,不存在,实例化该字符串并放入池中
字符串常量池位置
- Jdk1.6及之前: 有永久代, 运行时常量池在永久代,运行时常量池包含字符串常量池
- Jdk1.7:有永久代,但已经逐步“去永久代”,字符串常量池从永久代里的运行时常量池分离到堆里
- Jdk1.8及之后: 无永久代,运行时常量池在元空间,字符串常量池里依然在堆里
三种字符串操作
- 直接赋值字符串
String s = "lamu"; // s指向常量池中的引用
这种方式创建的字符串对象,只会在常量池中。
因为有"lamu"这个字面量,创建对象s的时候,JVM会先去常量池中通过 equals(key) 方法,判断是否有相同的对象;如果有,则直接返回该对象在常量池中的引用; 如果没有,则会在常量池中创建一个新对象,再返回引用。
- new String();
String s1 = new String("zhuge"); // s1指向内存中的对象引用
这种方式会保证字符串常量池和堆中都有这个对象,没有就创建,最后返回堆内存中的对象引用。
步骤大致如下:
因为有"lamu"这个字面量,所以会先检查字符串常量池中是否存在字符串"lamu"
不存在,先在字符串常量池里创建一个字符串对象;再去内存中创建一个字符串对象"lamu";
存在的话,就直接去堆内存中创建一个字符串对象"lamu";
最后,将内存中的引用返回。
- intern方法
String s1 = new String("zhuge"); String s2 = s1.intern(); System.out.println(s1 == s2); //false
intern方法返回的是对象在字符串常量池中的引用。在jdk6及以下的版本中,如果字符串常量池中存在该对象,则返回字符串常量池中对象的引用。如果没有,则将该对象添加到字符串常量池中,返回字符串常量池中该对象的引用。在jdk6以上的版本中,如果字符串常量池中存在该对象,则返回字符串常量池中对象的引用。如果没有,则在堆中查看是否存在该对象,如果有,将堆中该对象的引用放入字符串常量池中并返回。
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,但这些对象确实存在或存在 // 注意:常量池是否有相应的对象取决于字面量,字面量不存在的对象不会出现在常量池 String s0="hello"; String s1="hello"; String s2="he" + "llo"; System.out.println( s0==s1 ); //true System.out.println( s0==s2 ); //true s2会在编译期被优化成"hello"。 String s0="hello"; String s1=new String("hello"); String s2="he" + new String("llo"); System.out.println( s0==s1 ); // false s0在常量池,s1在堆中 System.out.println( s0==s2 ); // false new String("llo")没法在编译期优化,所以s2最终在堆中生成 System.out.println( s1==s2 ); // false s1和s2都在堆中,但它们是new出来的两个不同对象 String a = "ab"; String bb = "b"; String b = "a" + bb; System.out.println(a == b); // false 变量bb在编译期不可知,无法优化 String a = "ab"; final String bb = "b"; String b = "a" + bb; System.out.println(a == b); // true bb用final修饰,编译期可知,b在编译期可被优化成"ab" String a = "ab"; final String bb = getBB(); String b = "a" + bb; System.out.println(a == b); // false 方法即使用final修饰,它也要到运行期来生成动态链接执行代码,因此编译期不可知,无法优化 private static String getBB() { return "b"; } String str2 = new StringBuilder("计算机").append("技术").toString(); System.out.println(str2 == str2.intern()); //true // str2等于堆中的对象"计算机技术",因为没有出现字面量"计算机技术",所以常量池不存在这个对象。 // str2.intern()返回的字符串常量池中对堆对象的引用,所以是同一个对象 String str1 = new StringBuilder("ja").append("va").toString(); System.out.println(str1 == str1.intern()); //false // java是关键字,在JVM初始化的相关类里放进字符串常量池了。 String s1=new String("test"); System.out.println(s1==s1.intern()); //false // new出来的对象在常量池中已存在,s1.intern()返回的是常量池中的对象。
八种基本类型的包装类和对象池
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); Integer i7 = 127; System.out.println(i5 == i6);//输出false System.out.println(i5 == i7);//输出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