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

我们都知道

 

 

 

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   
    }   
  
}  
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无法确定二者皆来自于池，于是在堆上进行所以会有以上的结果