1.爲了實現字符串池
2.爲了線程安全
3.爲了實現String可以創建HashCode不可變性
首先你要理解final的用途，在分析String爲什麼要用final修飾，final可以修飾類，方法和變量，並且被修飾的類或方法，被final修飾的類不能被繼承，即它不能擁有自己的子類，被final修飾的方法不能被重寫， final修飾的變量，無論是類屬性、對象屬性、形參還是局部變量，都需要進行初始化操作。
在瞭解final的用途後，在看String爲什麼要被final修飾：主要是爲了”安全性“和”效率“的緣故。
查看JDK String的源碼
final修飾的String，代表了String的不可繼承性，final修飾的char[]代表了被存儲的數據不可更改性。但是：雖然final代表了不可變，但僅僅是引用地址不可變，並不代表了數組本身不會變,請看下面圖片。
final也可以將數組本身改變的，這個時候，起作用的還有private，正是因爲兩者保證了String的不可變性。
那麼爲什麼保證String不可變呢,因爲只有當字符串是不可變的，字符串池纔有可能實現。字符串池的實現可以在運行時節約很多heap空間，因爲不同的字符串變量都指向池中的同一個字符串。但如果字符串是可變的，那麼String interning將不能實現，因爲這樣的話，如果變量改變了它的值，那麼其它指向這個值的變量的值也會一起改變。
如果字符串是可變的，那麼會引起很嚴重的安全問題。譬如，數據庫的用戶名、密碼都是以字符串的形式傳入來獲得數據庫的連接，或者在socket編程中，主機名和端口都是以字符串的形式傳入。因爲字符串是不可變的，所以它的值是不可改變的，否則黑客們可以鑽到空子，改變字符串指向的對象的值，造成安全漏洞。
因爲字符串是不可變的，所以是多線程安全的，同一個字符串實例可以被多個線程共享。這樣便不用因爲線程安全問題而使用同步。字符串自己便是線程安全的。
因爲字符串是不可變的，所以在它創建的時候HashCode就被緩存了，不需要重新計算。這就使得字符串很適合作爲Map中的鍵，字符串的處理速度要快過其它的鍵對象。這就是HashMap中的鍵往往都使用字符串。