Java 中 String 类为什么要设计成不可变的？

String 是 Java 中不可变的类，所以一旦被实例化就无法修改。不可变类的实例一旦创建，其成员变量的值就不能被修改。本文总结下 String 类设计成不可变的原因及好处，以及 String 类是如何设计成不可变的。

String 类设计成不可变的原因及好处？

其实好处就是原因，String 设计成不可变，主要是从性能和安全两方面考虑。

1、常量池的需要

这个方面很好理解，Java 中的字符串常量池的存在就是为了性能优化。

字符串常量池（String pool）是 Java 堆内存中一个特殊的存储区域，当创建一个 String 对象时，假如此字符串已经存在于常量池中，则不会创建新的对象，而是直接引用已经存在的对象。这样做能够减少 JVM 的内存开销，提高效率。

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

比如引用 s1和 s2 都是指向常量池的同一个对象 "abc"，如果 String 是可变类，引用 s1 对 String 对象的修改，会直接导致引用 s2 获取错误的值。

所以，如果字符串是可变的，那么常量池就没有存在的意义了。

2、hashcode 缓存的需要

因为字符串不可变，所以在它创建的时候 hashcode 就被缓存了，不需要重新计算。这就使得字符串很适合作为 HashMap 中的 key，效率大大提高。

3、多线程安全

多线程中，可变对象的值很可能被其他线程改变，造成不可预期的结果。而不可变的 String 可以自由在多个线程之间共享，不需要同步处理。

String 类是如何实现不可变的？

1、私有成员变量

String 的内部很简单，有两个私有成员变量

/** The value is used for character storage. */
private final char value[];

/** Cache the hash code for the string */
private int hash; // Default to 0

而并没有对外提供可以修改这两个属性的方法。

2、Public 的方法都是复制一份数据

String 有很多 public 方法，每个方法都将创建新的 String 对象，比如 substring 方法：

public String substring(int beginIndex) {
    if (beginIndex < 0) {
        throw new StringIndexOutOfBoundsException(beginIndex);
    }
    int subLen = value.length - beginIndex;
    if (subLen < 0) {
        throw new StringIndexOutOfBoundsException(subLen);
    }
    return (beginIndex == 0) ? this : new String(value, beginIndex, subLen);
}

3、String 是 final 的

String 被 final 修饰，因此我们不可以继承 String，因此就不能通过继承来重写一些方法。

public final class String
    implements java.io.Serializable, Comparable<String>, CharSequence {
}

4、构造函数深拷贝

当传入可变数组 value[] 时，进行 copy 而不是直接将 value[] 复制给内部变量。

public String(char value[]) {
    this.value = Arrays.copyOf(value, value.length);
}

从 String 类的设计方式，我们可以总结出实现不可变类的方法：

• 将 class 自身声明为 final，这样别人就不能通过扩展来绕过限制了。
• 将所有成员变量定义为 private 和 final，并且不要实现 setter 方法。
• 通过构造对象时，成员变量使用深拷贝来初始化，而不是直接赋值，这是一种防御措施，因为你无法确定输入对象不被其他人修改。
• 如果确实需要 getter 方法，或者其他可能返回内部状态的方法，使用 copy-on-write 原则，创建私有的 copy。