常量池解析

程序运行过程中,会把一些常量放在一块区域中,以便下次使用时不用创建之间使用该区域的值,该区域就是常量池,常量池主要用于存放编译期生成的各种字面量和符号引用。常量池在jdk1.6及之前是放在永久代中,即方法区(元空间)中,在1.7中,常量池仍在永久代中,但字符串常量池移到了堆中,在1.8,永久代被移除,常量池就被放在了方法区中。字符串常量池在堆中。

字符串常量池

字符串对象的创建方式有三种:

String s1 = “asd”;

String s2 = new String(“asd”);

String s3 = s1.intern();

第一种:
未命名文件.png

        String a1 = "asd";
        String a2 = "asd";
        String a3 = "a"+"sd";
        String a4 = "a";
        String a5 = a4 +"sd";
        System.out.println(a1==a2);//true
        System.out.println(a1==a3);//true
        System.out.println(a1==a5);//false

String a1 = “asd”;

这种方式,jvm会直接在堆中的常量池中创建一个“asd”字符串对象(前提是原来没有),然后返回该对象的引用,如果下次有使用该字符串,则不用创建,直接返回该引用。

情况如下:

String a2 = “asd”;a2返回的与a1是同一个对象引用,a1与a2是相等的。

String a3=“a”+”s”+”d”;程序在运行过程中在静态编译阶段,虚拟机就会对代码进行优化,对于那些可以确定的变量值会直接优化使用,也就是等价于a3=“asd”;所以是与a1和a2相等的,。

String a4 = “a”;

String a5 = a4+“sd”,这时,a5=“asd”,但是a5与上述a1、a2、a3不相等,因为a5在创建的时候,存在a4的引用,而引用的值在编译期是无法确定的,只有在程序运行期来动态分配并将连接后的新地址赋给a5。所以无法进行优化,即在字符串常量池中又产生了一条新的字符串。其运行原理如下

StringBuilder temp = new StringBuilder();

temp.append(a).append(sd);

String a5 = temp.toString();

会返回一个新的引用。

第二种:
未命名文件.png

        String b1 = new String("asd2");
        String b2 = new String("asd2");
        String b3 = new String("a")+new String("sd2");
        System.out.println(b1==b2);  //false
        System.out.println(b1==b3);  //false

String b1 = new String (“asd”);

这种方式,jvm首先会去字符串常量池中去创建一个“asd“字符串对象1(前提是原来没有),然后再去常量池外堆内创建一个“asd”的对象2,然后把对象2的引用返回。

String b2 = new String(“asd”),这时常量池中已经存在,就不进行创建,直接在常量池外堆内创建一个新的“asd”对象3,并返回对象3,此时b1和b2指向的不是一个对象,所以并不相等。

第三种

String c1 = new String("asd");

String c2 = c1.intern();

        String c1 = new String("asd3");
        String c2 = c1.intern();
        String c3 = c1.intern();
        System.out.println(c1==c2);//false
        System.out.println(c2==c3);//true

        String d1 = new StringBuffer("a").append("sd4").toString();
        String d2 = d1.intern();
        System.out.println(d1==d2);//true(1.7及之后),false(1.6及之前)

1.png
2.png
在jdk1.6及之前,创建c2的时候,会判断字符串常量池中是否有“asd”字符串对象1,如果有,就直接返回该对象1的引用,如果没有,会根据c1在堆中创建的字符串对象2在字符串常量池中也创建一个“asd”对象3(此时字符串常量池在永久代方法区中)。然后返回常量池中的对象3的引用。
4.png
3.png
在jdk1.6之后,如果字符串常量池没有,则直接返回c1在堆中创建的对象2的引用。
特殊情况:

        String e1 = new StringBuffer("ja").append("va").toString();
        String e2 = e1.intern();
        System.out.println(e1==e2);//false

在1.7之后返回false是因为java为关键字,程序在运行到这之前,肯定已经加载过java到常量池中。
判断一共创建了几个对象

        String f1 = new String("a")+new String("sd5");
        String f2 = f1.intern();
        System.out.println(f1==f2);//true(1.7及之后),false(1.6及之前)

6.png
5.png

其他常量池

Byte,Short,Integer,Long,Character,Boolean都有自己的常量(对象)池

其中Byte,Short,Integer,Long,Character这5种整型的包装类也只是在对应值在-128与+127(包括)之间才用常量池,因为这些数用到的概率相对较大。

        Integer i1 = 127;
        Integer i2 = 127;
        System.out.println(i1 == i2);//true

        Integer i11 = -127;
        Integer i22 = -127;
        System.out.println(i11 == i22);//true

        Integer i3 = 128;
        Integer i4 = 128;
        System.out.println(i3 == i4);//false

        Integer i33 = -128;
        Integer i44 = -128;
        System.out.println(i33 == i44);//true

        Integer i339 = -129;
        Integer i449 = -129;
        System.out.println(i339 == i449);//false

用new关键字为新建对象,所以为false

        Integer aa = new Integer(127);
        Integer bb = new Integer(127);
        System.out.println(aa == bb);//false

boolean使用了常量池

        Boolean bool1 = true;
        Boolean bool2 = true;
        System.out.println(bool1 == bool2);//true

double、float类型的包装类没有实现对象池技术

        Double d11 = 1.0;
        Double d22 = 1.0;
        System.out.println(d11 == d22);//false
        Float d13 = 1.0f;
        Float d24 = 1.0f;
        System.out.println(d13 == d24);//false
阅读 151

推荐阅读