字符串常量池SCP

jdk1.6是放在永久代(8中叫方法区或叫元空间)中;

jdk1.7+中,字符串常量池放入了堆中,注意运行时常量依然存放在方法区,例如,Integer a = 40；Java在编译的时候会直接将代码封装成Integer a =Integer.valueOf(40);从而使用常量池中的对象。

字符串常量池中的元素是唯一的

jdk1.7+为了节省内存,对象的真实数据实际上只会有一份,要么在scp中,要么在scp外的堆中,然后scp中引用堆中的地址

intern函数

查询字符串常量池中是否存在当前字符串;

如果字符串常量池中存在此字符串,返回常量池中的字符串的地址;如果常量池中不存在,在常量池中添加此字符串,并返回地址

创建字符串到字符串常量池

String s0 = "abc"; 这种方式创建的字符串直接存放到字符串常量池中

通过new的方式创建的字符串,需要调用intern()方法,就可以存放到字符串常量池中

创建对象个数

可以通过字节码文件查看

String s2 = new String("abc");

上面这行代码实际创建了2个对象,一个是字符串常量池外部的堆空间的abc,另一个是常量池中引用堆空间中abc的地址,s2本体是存放在scp外的堆中,常量池引用了这个地址

String s5 = new String("a") + new String("b") + new String("c");

上面这行代码,字符串常量池中没有存放"abc",会单独存放"a","b","c";

变量之间使用+号,实际会创建一个StringBuilder,然后调用append(),最后调用toString()方法

创建方式

使用字面量(引号)创建

String s1= "abc";

String s2= "abc";

当我们第一次执行String s1 =“abc”时，JVM将在常量池中创建一个新对象，s1将引用该对象，即“abc”。

当我们第二次执行String s2 =“abc”时，JVM将检查字符串常量池中是否存在任何值为“abc”的对象。截至现在是的，我们已经在“字符串常量”池中存在“abc”，因此它不会创建新对象，只是s2引用变量将指向现有的“abc”对象。

使用new关键字

String s2 = new String("abc");

jvm会第一步检查常量池是否有"abc", 发现没有,创建一个新对象在常量池中.

然后因为有new关键词,所以会在堆中创建对象,然后将这个对象的地址引用返回

组合创建

String st1 ="abc";

String st2 = new String("abc");

当我们执行String st1 ="abc";时，JVM将在字符串常量池中创建一个对象

执行第二步的时候,JVM将检查字符串常量池中是否有任何可用的名称为“abc”的对象，现在是有，我们已经在字符串常量池中使用了“abc”，因此JVM不会在字符串常量池中创建任何对象。

因为有new关键词,它将在堆中创建一个对象，st2将指向该对象。

intern验证

以下代码运行环境为jdk1.8

情景一

String str = "aa";

String str2 = new String("aa");

System.out.println(str == str2); //false

String str3 = str2.intern();

System.out.println(str == str3); //true

String str = “aa”;在scp创建了一个对象"aa",

而String str2 = new String(“aa”);这里其实有两步

第一步java去scp找"aa",发现scp有"aa"

第二步,在堆中创建对象.所以两者地址不一样,str == str2 为false.

第二个,在经过 String str3 = str2.intern();后,intern发现scp已经有"aa"了, 所以直接将scp的地址返回给str3, 所以str == str3都是scp的地址,所以为true.

情景二

String s = new String("a") + new String("b");

String s1 = "ab" + "cd";

String s2 = s.intern();

String s3 = "ab";

System.out.println(s == s2); //true

System.out.println(s3 == s2);//true

这是因为第一行代码, 据上面所知,不管"a"和"b",只会在堆中创建"ab"对象

第二行代码,我们用两个声明字符串相加,可知jvm会优化,直接在scp中创建"abcd"

第三行代码,s调用intern方法,发现scp没有"ab",将s在堆中的引用地址给s2

第四行代码,java先去scp找"ab",发现有,直接将其地址返回给s3

所以s指向堆中的地址,s2也是这个地址,所以相同. s3==s2同理,相同

情景三

如果将String s3 = "ab"放到前面

String s = new String("a") + new String("b");

String s1 = "ab" + "cd";

String s3 = "ab";

String s2 = s.intern();

System.out.println(s == s2); //false

System.out.println(s3 == s2); //true

第一行代码和第二行代码如上

第三行代码,java发现scp没有"ab",在scp创建新对象,然后返回地址给s3

第四行代码,s调用intern方法,发现scp有"ab",将s在scp中的引用地址给s2

所以s是堆中的地址,s2和s3是scp的地址,所以结果是false和true

情景四

这次不调整代码顺序,而是将"ab" + “cd”,两个声明式相加,变成其中一个是变量

String s = new String("a") + new String("b");

String s1 = "ab" + s;

String s2 = s.intern();

String s3 = "ab";

System.out.println(s == s2); //false

System.out.println(s3 == s2); //true

因为s1不再是两个声明式相加,编译器无法得知结果,所以将String s1 = "ab" + s变成:String var = "ab";String s1 = var + s;

所以"ab"会在scp中,s2拿到的也会是var的地址,所以s == s2 为false