Java字符串创建与存储的机制

在Java语言中，字符串起着非常重要的作用，字符串的声明与初始化主要有如下两种情况：

1）对于语句：

String s1 = new String("abc");
String s2 = new String("abc");

存在两个引用对象s1和s2，两个内容相同的字符串对象“abc”，它们在内存中的地址是不同的。

只要用到new，总会生成新的对象。

2）对于语句：

String s1 = "abc";
String s2 = "abc";

在JVM中存在着一个字符串池，其中保存着很多String对象，并且可以被共享使用，s1、s2引用的是同一个常量池中的对象。由于String的实现采用了Flyweight的设计模式，当创建一个字符串常量时，例如：

String s = "abc";

会首先在字符串常量池中查找是否已经有相同的字符串被定义，其判断依据是String类equals(Object obj)方法的返回值。若已经定义，则直接获取对其的引用，此时不再需要创建新的对象；若没有定义，则首先创建这个对象，然后把它加入到字符串常量池，再将它的引用返回。

由于String是不可变类，一旦创建好了就不能被修改，因此String对象可以被共享而且不会导致程序的混乱。

具体而言：

String s = "abc";				//把"abc"放到常量区中，在编译时产生

String s = "ab"+"c";			//把"ab"+"c"转换为字符串常量"abc"放到常量区中

String s = new String("abc");	//在运行时把"abc"放到堆里面

例如：

String s1 = "abc";				//在常量区里面存放了一个"abc"字符串对象
String s2 = "abc";				//s2引用常量区中的对象，因此不会创建新的对象
String s3 = new String("abc");	//在堆中创建新的对象
String s4 = new String("abc");	//在堆中又创建一个新的对象

为了便于理解，可以把：

String s = new String("abc");

语句的执行认为的分解成两个过程：

1、新建对象的过程，即new String("abc")；

2、赋值过程，即String s = 。

由于第二个过程只是定义了一个名为s的String类型的变量，将一个String类型对象的引用赋值给s，因此在这个过程中不会创建新的对象。第一个过程中new String("abc")会调用String类的构造函数：

public String(String original) {
        this.value = original.value;
        this.hash = original.hash;
    }

在调用这个构造函数时，传入了一个字符串常量，因此语句new String("abc")也就等价于"abc"和new String()两个操作了。若在常量池中不存在"abc"，则会创建一个字符串常量"abc"，并将其添加到字符串池中；若存在，则不创建，然后new String()会在堆中创建一个新的对象，所以s3与s4指向的是堆中不同的String对象，地址自然不同了，如下图所示：

引申：

对于String类型的变量s，赋值语句s=null与s=“”是否相同？

对于赋值语句s=null，其中s是一个字符串类型的引用，它不指向任何一个字符串。而赋值语句s=“”中的s是一个字符串类型的引用，它指向另外一个字符串（这个字符串的值为“”，即空字符串），因此，这二者是不同的。