String str1="abc"
str1是栈内变量，它的内存保存的是常量池的常量字符串对象对象"abc"的地址
这行代码被执行的时候，JAVA虚拟机首先在字符串池中查找是否已经存在了值为"abc"的这么一个对象，它的判断依据是String类equals(Object obj)方法的返回值。如果有，则不再创建新的对象，直接返回已存在对象的引用；如果没有，则先创建这个对象，然后把它加入到字符串池中，再将它的引用返回。堆里没有。
String str2=new String("abc");
str1是栈内变量，它的内存保存的是堆中的new String对象的地址，new String在堆中生成对象，引用str2指向堆中的新建的String对象"abc"，所以堆中的对象的内存的内容和常量池对象的内存的内容一样，但是是不同的两个对象
- String s1 = "a";
- String s2 = s1.concat("");
- String s3 = null;
- new String(s1);
这段代码会涉及3个String类型的变量，
1、s1，指向下面String实例的1
2、s2，指向与s1相同
3、s3，值为null，不指向任何实例
以及3个String实例，
1、"a"字面量对应的驻留的字符串常量的String实例
2、""字面量对应的驻留的字符串常量的String实例
（String.concat()是个有趣的方法，当发现传入的参数是空字符串时会返回this，所以这里不会额外创建新的String实例）
3、通过new String(String)创建的新String实例；没有任何变量指向它。
- String s1 = new String("xyz");
- String s2 = new String("xyz");
为了执行问题中的代码片段，其所在的类必然要先被加载，而且同一个类最多只会被加载一次（要注意对JVM来说“同一个类”并不是类的全限定名相同就足够了，而是<类全限定名, 定义类加载器>一对都相同才行）。 根据上文引用的规范的内容，符合规范的JVM实现应该在类加载的过程中创建并驻留一个String实例作为常量来对应"xyz"字面量；具体是在类加载的resolve阶段进行的。这个常量是全局共享的，只在先前尚未有内容相同的字符串驻留过的前提下才需要创建新的String实例。 ldc指令只是把先前在类加载过程中已经创建好的一个String对象（"xyz"）的一个引用压到操作数栈顶而已，并不新创建String对象。
每执行一次只会新创建2个String实例。
“在运行时”要分为两部分看：类加载阶段和实际执行时。
类加载对一个类只会进行一次。"xyz"在类加载时就已经创建并驻留了（如果该类被加载之前已经有"xyz"字符串被驻留过则不需要重复创建用于驻留的"xyz"实例）。驻留的字符串是放在全局共享的字符串常量池里的。
在这段代码后续被执行的时候，"xyz"字面量对应的String实例已经固定了，不会再被重复创建，所以这段代码无论执行多少次都只会在原本的基础上新创建2个String实例而已。这是从概念上的Java/JVM来说
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；