String为何被设计为不可变的

1. 首先我们先要理解final的用途：

final表示最终的意思

    用final修饰符既可以修饰类、方法，也可以修饰变量
    用final修饰的类不能被继承
    用final修饰的方法不可重写
    用final修饰的变量最多只能赋值一次 值不可变

什么是不可变类？

    不可变类是指,一旦一个类的对象被创建出来,在其整个生命周期中,它的成员变量就不能被修改

2. String为什么要用final修饰？

源码中对String为什么设计成final的解释：

    Strings are constant; their values cannot be changed after they are created. String buffers support mutable strings. Because String objects are immutable they can be shared.
字符串是恒定的，创建之后它们的值不能被改变。StringBuffer是可变的strings.字符串对象不可变让它们可以被共享。

    看源代码第一行，String类是用final关键字修饰，这说明String不可继承。再看下面，字段value是个char[ ]数组，而且是用final修饰的。final修饰的字段创建以后就不可改变。但是：虽然final代表了不可变，但仅仅是引用地址不可变，并不代表了数组本身不会变,请看下面代码。

final int[] value={1,2,3}
int[] another={4,5,6};
value=another;    //编译器报错，final不可变

    value用final修饰，编译器不允许我把value指向堆区另一个地址。但如果我直接对数组元素动手，分分钟搞定。

final int[] value={1,2,3};
value[2]=100;  //这时候数组里已经是{1,2,100}

    或者更粗暴的反射直接改，也是可以的。

final int[] array={1,2,3};
Array.set(array,2,100); //数组也被改成{1,2,100}

3.String设计为不可变的好处：

    final也可以将数组本身改变的，这个时候，起作用的还有private，正是因为两者保证了String的不可变性。
     那么为什么保证String不可变呢,因为只有当字符串是不可变的，字符串池才有可能实现。字符串池的实现可以在运行时节约很多heap空间，因为不同的字符串变量都指向池中的同一个字符串。但如果字符串是可变的，那么String interning将不能实现，因为这样的话，如果变量改变了它的值，那么其它指向这个值的变量的值也会一起改变。
     如果字符串是可变的，那么会引起很严重的安全问题。譬如，数据库的用户名、密码都是以字符串的形式传入来获得数据库的连接，或者在socket编程中，主机名和端口都是以字符串的形式传入。因为字符串是不可变的，所以它的值是不可改变的，否则黑客们可以钻到空子，改变字符串指向的对象的值，造成安全漏洞。
     因为字符串是不可变的，所以是多线程安全的，同一个字符串实例可以被多个线程共享。这样便不用因为线程安全问题而使用同步。字符串自己便是线程安全的。
     因为字符串是不可变的，所以在它创建的时候HashCode就被缓存了，不需要重新计算。这就使得字符串很适合作为Map中的键，字符串的处理速度要快过其它的键对象。这就是HashMap中的键往往都使用字符串。
     类加载器要用到字符串，不可变性提供了安全性,以便正确的类被加载譬如你想加载java.sql.Connection类，而这个值被改成了myhacked.Connection，那么会对你的数据库造成不可知的破坏。