关于String不可变的探究

代码上的话，因为String类使用了一个final的字符数组value[]存储值。

为什么要这么设计呢

因为JVM维护了一段特殊的内存——“字面量常量池”，用来保存字符串常量的引用，当代码中以字符串常量形式创建对象时，JVM先检查这个字符串常量的引用是否在常量池中已经存在，如果存在，就直接返回这个字符串常量对象的引用，如果不存在，就在常量区中创建一个匿名对象对象保存该字符串常量的值，并且把新创建的这个对象的引用也放到字符串常量池中，再返回这个引用。

如下面的代码

public class Test1String {
	public static void main(String[] args) {
		String aString = "testStr";
		String bString = "testStr";
		String cString = new String("testStr");
		String dString = new String("testStr");
		System.out.println(aString==bString);
		System.out.println(aString==cString);
		System.out.println(cString==dString);
	}
}

true
false
false

==比较的是地址，按照上面的描述，第3行语句执行后，常量池里存在一个“testString”对象的引用，当4行执行时，由于字面量的引用在常量池中已经存在，所以aString和bString应该指向同一个地址，所以是true，第5行在堆里开辟了新的内存，创建了新的对象，并将引用赋给cString，第六行同理，所以它们变量引用的地址不再是常量池中“testString”对象的引用而是各自new创建出的对象的地址，但是该对象的内部赋值依然是常量池中“testString”对象的引用。

综上，如果String对象被设计为可变，当多个变量被赋同一个字符串型字面量常量对象的引用时，如果一个引用操作改变了对象的值，所有的变量都会发生改变，所以String必须不可变才能保证安全性