String为什么是不可变的

String不可变体现在哪？
仔细看jdk中是如何写的。
首先，string的底层存储结构为char[]数组，而且是final修饰的，这就意味着，一旦通过构造器初始化，则该数组无法重新指向新的引用。

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

这里扩展一下，final修饰类不能被继承，修饰方法不能被重写，修饰变量即为常量。这其中修饰引用数据类型（如对象或数组时），“不可变”指的是对象或数组的地址值，而对象内部的属性或数组内元素的值仍然可以修改。

但是我们都知道，string提供的方法包括增删操作。通常我们对数组的扩容需要重新指向新的数组，可这就和final冲突，究竟是如何解决的呢？
其实非常简单，通过查看concat()方法可知，将原数组和新添加数组拼接构成新数组后，直接将该数组作为形参造了一个新的string对象返回

    public String concat(String str) {
        int otherLen = str.length();
        if (otherLen == 0) {
            return this;
        }
        int len = value.length;
         //造新数组
        char buf[] = Arrays.copyOf(value, len + otherLen);
       //将str复制给buf
        str.getChars(buf, len);
        //造新的string对象，这是个default构造器，只在内部使用
        //String(char[] value)是将value复制一份，
        //而String(char[] value boolean)是直接将新造的buf数组赋值给this.value
        return new String(buf, true);
    }

    String(char[] value, boolean share) {
        // assert share : "unshared not supported";
        //直接赋值
        this.value = value;
    }
    
    public String(char value[]) {
    	//复制
        this.value = Arrays.copyOf(value, value.length);
    }

作为对比，StringBuffer，StringBuilder是可变序列，内部结构也是char[]数组，但没有final修饰。因此，数组扩容得以实现，不需要每次添加元素都重新造string对象。另外StringBuilder是线程不安全的，效率比线程安全的StringBuffer更高。
综上，如果持续添加元素，三者效率对比String << StringBuffer < StringBuilder

循环添加20000个字符的对比