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

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

其中一个含义与值如何存储在计算机中有关，例如，对于一个。net字符串，它意味着内存中的字符串不能被更改，当你认为你正在更改它时，你实际上是在内存中创建了一个新的字符串，并将现有的变量(这只是一个指向其他地方的实际字符集合的指针)指向新的字符串。

不可变对象是指创建后不能修改的对象。一个典型的例子是字符串字面量。

越来越流行的D编程语言通过“不变”关键字具有“不变性”的概念。查看Dr.Dobb关于它的文章http://dobbscodetalk.com/index.php?option=com_myblog&show=Invariant-Strings.html&Itemid=29。它完美地解释了这个问题。

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

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

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

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

不可改变的意思是不可改变的。字符串对象一旦创建，其数据或状态就不能更改

考虑下面的例子:

class Testimmutablestring{  
  public static void main(String args[]){  
    String s="Future";  
    s.concat(" World");//concat() method appends the string at the end  
    System.out.println(s);//will print Future because strings are immutable objects  
  }  
 }  

让我们考虑一下波纹图，

在这个图中，你可以看到一个新对象被创建为“Future World”。但不改变“未来”。因为字符串是不可变的。s，仍指“未来”。如果你需要给“未来世界”打电话，

String s="Future";  
s=s.concat(" World");  
System.out.println(s);//print Future World

为什么在java中字符串对象是不可变的?

因为Java使用了字符串字面量的概念。假设有5个引用变量，都指向一个对象“Future”。如果一个引用变量改变了对象的值，它将影响到所有的引用变量。这就是为什么字符串对象在java中是不可变的。

不可变对象是内部字段(或者至少是影响其外部行为的所有内部字段)不能被更改的对象。

不可变字符串有很多优点:

性能:执行如下操作:

String substring = fullstring.substring(x,y);

substring()方法的底层C可能是这样的:

// Assume string is stored like this:
struct String { char* characters; unsigned int length; };

// Passing pointers because Java is pass-by-reference
struct String* substring(struct String* in, unsigned int begin, unsigned int end)
{
    struct String* out = malloc(sizeof(struct String));
    out->characters = in->characters + begin;
    out->length = end - begin;
    return out;
}

注意，没有一个字符必须被复制!如果String对象是可变的(字符可以在以后更改)，那么您将不得不复制所有字符，否则对子字符串中的字符的更改将在以后反映到另一个字符串中。

并发性:如果一个不可变对象的内部结构是有效的，那么它将总是有效的。不同的线程不可能在该对象中创建无效状态。因此，不可变对象是线程安全的。

垃圾收集:垃圾收集器更容易对不可变对象做出逻辑决策。

然而，不可变性也有缺点:

性能:等等，我记得你说过性能是不变性的好处!有时候是这样，但不总是这样。取以下代码:

foo = foo.substring(0,4) + "a" + foo.substring(5);  // foo is a String
bar.replace(4,5,"a"); // bar is a StringBuilder

The two lines both replace the fourth character with the letter "a". Not only is the second piece of code more readable, it's faster. Look at how you would have to do the underlying code for foo. The substrings are easy, but now because there's already a character at space five and something else might be referencing foo, you can't just change it; you have to copy the whole string (of course some of this functionality is abstracted into functions in the real underlying C, but the point here is to show the code that gets executed all in one place).

struct String* concatenate(struct String* first, struct String* second)
{
    struct String* new = malloc(sizeof(struct String));
    new->length = first->length + second->length;

    new->characters = malloc(new->length);
    
    int i;

    for(i = 0; i < first->length; i++)
        new->characters[i] = first->characters[i];

    for(; i - first->length < second->length; i++)
        new->characters[i] = second->characters[i - first->length];

    return new;
}

// The code that executes
struct String* astring;
char a = 'a';
astring->characters = &a;
astring->length = 1;
foo = concatenate(concatenate(slice(foo,0,4),astring),slice(foo,5,foo->length));

注意，concatenate被调用两次，这意味着整个字符串必须循环!将其与bar操作的C代码进行比较:

bar->characters[4] = 'a';

可变字符串操作显然要快得多。

总结:在大多数情况下，您需要一个不可变的字符串。但是如果你需要在一个字符串中做大量的追加和插入，你就需要可变性来提高速度。如果你想要并发安全性和垃圾收集的好处，关键是保持你的可变对象本地的方法:

// This will have awful performance if you don't use mutable strings
String join(String[] strings, String separator)
{
    StringBuilder mutable;
    boolean first = true;

    for(int i = 0; i < strings.length; i++)
    {
        if(first) first = false;
        else mutable.append(separator);

        mutable.append(strings[i]);
    }

    return mutable.toString();
}

因为可变对象是一个本地引用，所以不必担心并发安全性(只有一个线程接触过它)。由于它没有在其他任何地方被引用，所以它只在堆栈上分配，所以函数调用一结束它就会被释放(您不必担心垃圾收集)。你可以同时获得可变性和不可变性的性能优势。