深入内存分析String对象的创建过程

《String的特性》

1、String类是final的，不可被继承。

2、String类是的本质是字符数组char[], 并且其值不可改变。

3、String类对象有个特殊的创建的方式，就是直接指定比如String x = "abc"，"abc"就表示一个字符串对象。而x是"abc"对象的地址，也叫做"abc"对象的引用。

4、String对象可以通过“+”串联。串联后会生成新的字符串。

5、Java运行时会维护一个String Pool（String池），JavaDoc翻译很模糊“字符串缓冲区”。String池用来存放运行时中产生的各种字符串，并且池中的字符串的内容不重复。而一般对象不存在这个缓冲池，并且创建的对象仅仅存在于方法的堆栈区。

《区别==和equals》

除了String和封装器，==和equals相同。

但String和封装器重写了equals()方法，equals()指比较字符串或封装对象对应的原始值是否相同，而==比较两个对象是否为同一个对象。

《池化思想》

把需要共享的数据放到池中，用一个存储区域来存放一些公用资源以减少存储空间的开销。

《创建字符串三种方式》

其一，使用new关键字创建字符串，比如String s1 = new String("abc");

其二，直接指定。比如String s2 = "abc";

其三，使用串联生成新的字符串。比如String s3 = "ab" + "c"; 

《创建字符串的原理》

原理1：当使用任何方式来创建一个字符串对象s=X时，Java运行时（运行中JVM）会拿着这个X在String池中找是否存在内容相同  的字符串对象，如果不存在，则在池中创建一个字符串s，否则，不在池中添加。

原理2：Java中，只要使用new关键字来创建对象，则一定会（在堆区或栈区）创建一个新的对象。

原理3：使用直接指定或者使用纯字符串串联来创建String对象，则仅仅会检查维护String池中的字符串，池中没有就在池中创建一  个，有则罢了！但绝不会在堆栈区再去创建该String对象。

原理4：使用包含变量的表达式来创建String对象，则不仅会检查维护String池，而且还会在堆栈区创建一个String对象。

《定义String的堆栈问题》

1. String str1 = "abc"; 
    System.out.println(str1 == "abc");   //true

步骤： 
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");  //false

步骤： 
1) 栈中开辟一块空间存放引用str2； 
2) 检查维护串池，若串池中有"abc"，copy到堆中，若没有，在堆中创建，并添加到串池中 
3) 引用str2指向堆中的新建的String对象"abc"；
4) str2所指代的对象地址为堆中地址，而常量"abc"地址在池中，输出为false；

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

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

4. String str4 = "a" + "b"; 
    System.out.println(str4 == "ab"); //true
步骤： 
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");//true  步骤:同四

6. String s1 = "a"; 
    String s2 = "b"; 
    String str6 = s1 + s2;   //堆中
    System.out.println(str6 == "ab");  //"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) 栈中开辟一块空间存放引用str8， 
2) toUpperCase()方法还原一个新的String对象"ABC"，池中并未开辟新的空间存放String常量"ABC"， 
3) 引用str8指向堆中的新String对象

 

9.String s="abc"; 

   String s1=s; 

   System.out.println(s1=="abc");   //true都是串池中得abc

   s=s+"hello"; 

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

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

步骤：

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

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

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

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

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

public class StringTest1 {
	public static void main(String args[]) {
		String s1 = "abc";
		String s2 = "abc";
		System.out.println(s1 == s2); // true同一个对象
		System.out.println(s1.equals(s2));// true值相同
	}
}

分析：栈中s1和s2同时指向串池中得"abc"

public class StringTest2 {
	public static void main(String args[]) {
		String s1 = new String("abc");
		String s2 = new String("abc");
		System.out.println(s1 == s2);// false不同对象
		System.out.println(s1.equals(s2));// true值相同
	}
}

分析：栈中s1和s2分别指向堆中两个不同的"abc"，串池中仍有一个"abc"对象

public class StringTest3 {
	public static void main(String args[]) {
		String s1 = "abc";
		String s2 = new String("abc");
		System.out.println(s1 == s2); // false不同对象
		System.out.println(s1.equals(s2));// true值相同
	}
}

分析：s1指向串池中"abc"，s2指向堆中"abc"

public class StringTest4 {
	public static void main(String args[]) {
		String s1 = new String("abc");
		String s2 = "abc";
		System.out.println(s1 == s2); // false不同对象
		System.out.println(s1.equals(s2));// true值相同
	}
}

分析：s1指向堆中"abc",并在串池中创建"abc",s2指向串池中得"abc"

public class StringTest5 {
	public static void main(String args[]) {
		String s1 = "abc";
		String s2 = "a";
		String s3 = s2 + "bc"; 
		s2 += "bc";
		System.out.println("s1=" + s1 + "   s2=" + s2 + "   s3=" + s3 + "\n");

		System.out.println(s2 == s1);  	//false
		System.out.println(s3 == s1);   //false
	}
}

public class StringTest6 {
	public static void main(String args[]) {
		String s1 = "abc";
		final String s2 = "a";
		String s3 = s2 + "bc"; // 宏替换的问题，s2为final，所以s3可以在编译的时候确定下来，那么指向串池的“abc”
		// s2 += "bc";
		System.out.println("s1=" + s1 + "   s2=" + s2 + "   s3=" + s3 + "\n");

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

上面两段主要看字符串表达式是否能在编译时确定下来！！！