字符串对象都来自于字符串池吗？

编译时确认与运行时动态产生

我们都知道

String s1 = "abc";

String s2 = "abc";

String s3 = new String("abc");

s1==s2!=s3

但是好多人都不知道(s1+s2)!="abcabc"

 

看一看下面奇特的代码

public class Test { public static final String A="ab"; public static final String B="cd"; public static final String C; public static final String D; static{ C = "ab"; D = "cd"; } public static void main(String[] args) { String t = "abcd";//指向池 String s1 = "ab";//指向池 String s2 = "cd";//指向池 String s = s1+s2;//指向堆 System.out.println(s==t);//false String ss = "ab"+s2;//指向堆 System.out.println(ss==t);//false String sss = "ab"+"cd";//指向池 System.out.println(sss==t);//true String ssss = A+B;//指向池 System.out.println(ssss==t);//true System.out.println((C+D)==t);//false } }

大家可以自行执行一下，看看结果再自己想一想，再看下面的分析，如果觉得不对，请指正

 

 

 

字符串对象可以存放在两个地方，字符串池(pool)和堆
编译期确定如何给一个引用变量赋值
1)String s="abc";这种形式决定将从pool中寻找内容相同的字符串并返回地址给s，pool中没有就会在pool中新建并返回地址给s
2)String s = new String("abc");这种形式决定运行期将在堆上新建字符串对象并返回给s，但这个对象不会加入到pool中
3)String s=s1+s2;s1和s2都是变量，这种形式决定将在堆上创建s1和s2（即便s1和s2指向的对象在池中已经存在，也会将值拷贝到对象创建新对象），然后创建s1+s2并赋给s
4)String s = "ab"+"cd";同1)，都是来自于池
5)String s = "ab"+s1;类似3)
6)String s = S1+S2;S1和S2是常量，常量只能赋值一次，S1，S2如果在声明的地方就赋值，那么这个值在编译期就是确定的，后面无法更改，S1+S2在执行前可确定S1/S2已经在池中存在，当然在池中进行，所以s指向pool；但是若S1，S2如果是实例常量在构造器中赋值，或是类常量在静态块中赋值，S1+S2无法确定二者皆来自于池，于是在堆上进行

所以会有以上的结果。

基本结论，编译期可确认的字符串常量，在常量池里面产生，因为这些是类的一部分；运行时字符串在堆内产生。

String#intern

运行时也可以强制在堆上产生字符串对象，再拷贝到常量池，返回常量池中该串的引用

String s1="123";// 常量池
String s2=new String("123");//堆
s2.intern();// 拷贝时发现已存在，没必要拷贝，实际无任何影响
System.out.println(s1==s2);//false

再看这个：

    //String s1="123";
    String s2=new String("123"); // 记得这个题吗？新建多少个对象？答案两个：常量池1个，堆上一个
    // 注意常量池其实有了123
    s2.intern();// 没有任何影响
    System.out.println("123"==s2);//false

再看一例：

String s2=new String("123")+new String( "456" );
s2.intern(); // 常量池没有123456，
// [1.6]拷贝对象到常量池，返回新引用，但s2不变还是指向堆,s2.intern()!=s2
// [1.7]常量池中不需要再存储一份对象了
//拷贝引用而不是拷贝对象，也就是说s2.intern() ==s2会返回true。
//注意前提是常量池没有这个串（或其引用），如果已经有了不会发生任何拷贝，只会返回池中引用。
String s1="123456";// 使用常量池已有，得到引用
System.out.println(s1==s2);// [1.6]false [1.7]true



如果把第3行放到最前面，无论1.6还是1.7不会发生任何拷贝的事，s1指向池中对象，s2指向堆上对象，结果均为false。