为什么String类要设计成final的？

一、理解final

在分析String为什么要用final修饰，首先要理解final的用途：

final可以修饰类，方法和变量，被final修饰的类不能被继承，即它不能拥有自己的子类，被final修饰的方法不能被重写， final修饰的变量，无论是类属性、对象属性、形参还是局部变量，都需要进行初始化操作。

 

二、关于不可变

我们经常说String是不可变的这句话怎么理解？
String不可变很简单，如下图，给一个已有字符串"abcd"第二次赋值成"abcedl"，不是在原内存地址上修改数据，而是重新指向一个新对象，新地址。

查看JDK String的源码

public final class String implements java.io.Serializable, Comparable<String>, CharSequence {  
    /** String本质是个char数组. 而且用final关键字修饰.*/  
    private final char value[];  

    /** 为String生成对应的hashCode.*/
    private int hash;
    ...  
} 

首先String类是用final关键字修饰，这说明String不可继承。再看下面，String类的主力成员字段value是个char[ ]数组，而且是用final修饰的。final修饰的字段创建以后就不可改变。
有的人以为故事就这样完了，其实没有。看下图：

也就是说Array变量只是stack（栈）上的一个引用，数组的本体结构在heap堆。String类里的value用final修饰，只是说stack里的这个叫value的引用地址不可变。没有说堆里array本身数据不可变
value用final修饰，编译器不允许我把value指向堆区另一个地址。但如果我直接对数组元素动手，分分钟搞定。
或者更粗暴的反射直接改，也是可以的。

但是，private final char value[] 这一句里，private的私有访问权限的作用都比final大。而且设计师还很小心地把整个String设成final禁止继承，避免被其他人继承后破坏。所以String是不可变的关键都在底层的实现，而不是一个final。考验的是工程师构造数据类型，封装数据的功力。

 

三、String为什么要用final修饰

实现了不可变性
实现了字符串常量池 
为了线程安全
为了实现String可以创建HashCode不可变性

1、不可变性支持字符串常量池 

像下面这样字符串one和two都用字面量"something"赋值。它们其实都指向同一个堆内存地址。

String one = "someString";  
String two = "someString";  

这样在大量使用字符串的情况下，可以节省内存空间，提高效率。但之所以能实现这个特性，String的不可变性是最基本的一个必要条件。要是内存里字符串内容能改来改去，这么做就完全没有意义了

 

2、不可变性支持线程安全 

因为字符串是不可变的，所以是多线程安全的，同一个字符串实例可以被多个线程共享。这样便不用因为线程安全问题而使用同步。字符串自己便是线程安全的。

 

3、可创建不可变的hashCode

因为字符串是不可变的，所以在它创建的时候HashCode就被缓存了，不需要重新计算。这就使得字符串很适合作为Map中的键，字符串的处理速度要快过其它的键对象。这就是HashMap中的键往往都使用字符串。

 

4、其他说明

如果字符串是可变的，那么会引起很严重的安全问题。譬如，数据库的用户名、密码都是以字符串的形式传入来获得数据库的连接，或者在socket编程中，主机名和端口都是以字符串的形式传入。因为字符串是不可变的，所以它的值是不可改变的，否则黑客们可以钻到空子，改变字符串指向的对象的值，造成安全漏洞。