String s1 = "abc";  和String s2 = new String("abc");的区别是：
s1在内存中有一个对象。s2在内存中有两个对象。
s2在内存中有两个对象，那么分别是哪两个对象，在内存中的存储位置

String s1 = "abc";这个语句声明的是一个指向对象的引用，名为“s1”，可以指向类型为String的任何对象，目前指向 "abc"这个String类型的对象。只是声明了一个只能指向String对象的引用变量。String s2 = new String("abc");这个语句创建两个对象:一个是字符串对象,一个是指向这个字符串的引用对象。

这是别人总结的我给复制了！对不起作者了啊！



相信你看看下面的例子，就能明白了！
String s =new String()分析堆与栈,是先定义S,还是先new string()
1. String str1 = "abc";
     System.out.println(str1 == "abc");

步骤：
1) 栈中开辟一块空间存放引用str1；
2) String池中开辟一块空间，存放String常量"abc"；
3) 引用str1指向池中String常量"abc"；
4) str1所指代的地址即常量"abc"所在地址，输出为true；



2. String str2 = new String("abc");
     System.out.println(str2 == "abc");

步骤：
1) 栈中开辟一块空间存放引用str2；
2) 堆中开辟一块空间存放一个新建的String对象"abc"；
3) 引用str2指向堆中的新建的String对象"abc"；
4) str2所指代的对象地址为堆中地址，而常量"abc"地址在池中，输出为false；



3. String str3 = new String("abc");
     System.out.println(str3 == str2);

步骤：
1) 栈中开辟一块空间存放引用str3；
2) 堆中开辟一块新空间存放另外一个(不同于str2所指)新建的String对象；
3) 引用str3指向另外新建的那个String对象 ；
4) str3和str2指向堆中不同的String对象，地址也不相同，输出为false；



4. String str4 = "a" + "b";
     System.out.println(str4 == "ab");

步骤：
1) 栈中开辟一块空间存放引用str4；
2) 根据编译器合并已知量的优化功能，池中开辟一块空间，存放合并后的String常量"ab"；
3) 引用str4指向池中常量"ab"；
4) str4所指即池中常量"ab"，输出为true；



5. final String s = "a"; //注意:这里s用final修饰，相当于一个常量
     String str5 = s + "b";
     System.out.println(str5 == "ab");

步骤：
同四



6. String s1 = "a";
     String s2 = "b";
     String str6 = s1 + s2;
     System.out.println(str6 == "ab");

步骤：
1) 栈中开辟一块中间存放引用s1，s1指向池中String常量"a"，
2) 栈中开辟一块中间存放引用s2，s2指向池中String常量"b"，
3) 栈中开辟一块中间存放引用str5，
4) s1 + s2通过StringBuilder的最后一步toString()方法还原一个新的String对象"ab"，因此堆中开辟一块空间存放此对象，
5) 引用str6指向堆中(s1 + s2)所还原的新String对象，
6) str6指向的对象在堆中，而常量"ab"在池中，输出为false



7. String str7 = "abc".substring(0, 2);   
步骤：
1) 栈中开辟一块空间存放引用str7，
2) substring()方法还原一个新的String对象"ab"（不同于str6所指），堆中开辟一块空间存放此对象，
3) 引用str7指向堆中的新String对象，



8. String str8 = "abc".toUpperCase();
步骤：
1) 栈中开辟一块空间存放引用str6，
2) toUpperCase()方法还原一个新的String对象"ABC"，池中并未开辟新的空间存放String常量"ABC"，
3) 引用str8指向堆中的新String对象



9.String s="abc";

    String s1=s;

    System.out.println(s1=="abc");

    s=s+"hello";

    System.out.println(s1=="abc");

    System.out.println(s=="abc");

步骤：

1）栈中开辟一块空间存放s；

2）Sting池中开辟一块空间用于存放"abc"，栈中开辟一块空间存放变量s1；

3）系统输出true，在堆中开辟一块空间用于存放"abchello"；

4）引用s指向堆中的"abchello"；

5）系统输出true，然后输出false；

String s2 = new String("abc");这句代码中，new就会产生一个对象，"abc"本身也是一个对象，所以这句代码中有两个对象。

String s = new String("abc");语句，这里"abc"本身就是String池中的一个对象，而在运行时执行new String()时，将String池中的对象复制一份放到堆中，并且把堆中的这个对象的引用交给s持有。ok，这条语句就创建了2个String对象。

一个是你的Class被CLassLoader加载时，你的"abc"被作为常量读入，在constant   pool里创建了一个共享的"abc"  
  然后，当调用到new   String("abc")的时候，会在heap里创建这个new   String("abc");  
  但是如果你把String   s   =   new   String("abc").intern();  
  那么具体过程变成，现在heap里创建一个String,   然后调用intern()方法，发现constant   pool里存在'xyz',然后就会返回constant   pool内对象的引用，稍后heap里的就not   reachable了，会被gc,最终VM里只有一个"abc"

其实不一定，我是看张老师视频才彻底搞清楚的   
  因为String 类型是唯一的  不变的  所以当String = “abc”，的时候abc就存放在常量池里面
  如果new对象的话这时候只有一个对象  
而 String  s = new String("abc"); 这句话的意思是   先在内存中的常量池找看是否有abc这个对象  
如果有的话 就不在常量池创建这个对象了  如果没有那么就在常量池创建abc这个对象
然后再在堆内存中创建一个对象 这个对象就是 new String("abc");
  所以说 String  s = new String("abc");   是不是创建两个对象 是有条件的   你看看张老师的高新技术视频 里面讲的很清楚的

String s = new String("abc");语句，这里"abc"本身就是String池中的一个对象，而在运行时执行new String()时，将String池中的对象复制一份放到堆中，并且把堆中的这个对象的引用交给s持有。