我真的很喜欢SCJP Sun认证程序员Java 5学习指南的解释。

为了提高Java的内存效率，JVM留出了一个特殊的内存区域，称为“字符串常量池”。当编译器遇到String字面值时，它会检查池，看看是否已经存在相同的String。如果找到匹配，则对新字面值的引用将指向现有的String，并且不会创建新的String字面值对象。

“不可变”意味着你不能改变值。如果你有一个String类的实例，你调用的任何方法，只要看起来是在修改这个值，实际上都会创建另一个String。

String foo = "Hello";
foo.substring(3);
<-- foo here still has the same value "Hello"

要保存更改，您应该这样做 Foo = Foo .sustring(3);

当您使用集合时，不可变与可变可能会很有趣。想想如果使用可变对象作为map的键，然后更改值会发生什么(提示:考虑equals和hashCode)。

不可变意味着一旦对象被创建，它的所有成员都不会改变。字符串是不可变的，因为你不能改变它的内容。 例如:

String s1 = "  abc  ";
String s2 = s1.trim();

在上面的代码中，字符串s1没有改变，使用s1创建了另一个对象(s2)。

一旦实例化，就不能更改。考虑一个类，它的实例可能用作哈希表或类似的键。查看Java最佳实践。

String s1="Hi";
String s2=s1;
s1="Bye";

System.out.println(s2); //Hi  (if String was mutable output would be: Bye)
System.out.println(s1); //Bye

s1="Hi":创建一个包含"Hi"值的对象s1。

S2 =s1:引用s1对象创建对象S2。

s1="Bye":之前的s1对象的值不会改变，因为s1有String类型，而String类型是一个不可变的类型，相反，编译器创建了一个新的String对象与"Bye"值和s1引用它。在这里，当我们打印s2值时，结果将是“Hi”而不是“Bye”，因为s2引用了前一个具有“Hi”值的s1对象。

不可变对象是不能通过编程改变的对象。它们特别适用于多线程环境或其他多个进程能够更改(突变)对象中的值的环境。

不过，澄清一下，StringBuilder实际上是一个可变对象，而不是不可变对象。常规的java String是不可变的(意味着一旦创建了它，就不能在不改变对象的情况下更改底层字符串)。

例如，假设我有一个名为ColoredString的类，它有一个String值和一个String颜色:

public class ColoredString {

    private String color;
    private String string;

    public ColoredString(String color, String string) {
        this.color  = color;
        this.string = string;
    }

    public String getColor()  { return this.color;  }
    public String getString() { return this.string; }

    public void setColor(String newColor) {
        this.color = newColor;
    }

}

在这个例子中，ColoredString被认为是可变的，因为您可以在不创建新的ColoredString类的情况下更改(突变)它的一个关键属性。这可能很糟糕的原因是，例如，假设您有一个GUI应用程序，它有多个线程，并且您正在使用ColoredStrings将数据打印到窗口。如果你有一个ColoredString的实例，它被创建为

new ColoredString("Blue", "This is a blue string!");

然后你会期望字符串总是“Blue”。然而，如果另一个线程获得了这个实例并调用

blueString.setColor("Red");

当你想要一个“蓝色”的字符串时，你会突然，很可能出乎意料地得到一个“红色”的字符串。正因为如此，在传递对象实例时，几乎总是首选不可变对象。在确实需要可变对象的情况下，通常只需从特定的控制字段传递副本来保护对象。

概括一下，在Java中，Java .lang. string是一个不可变对象(一旦创建就不能更改)，而Java .lang. stringbuilder是一个可变对象，因为它可以在不创建新实例的情况下进行更改。