灵魂拷问：为什么 Java 字符串是不可变的？
在逛 programcreek 的时候，发现了一些精妙绝伦的主题。比如说：为什么 Java 字符串是不可变的？像这类灵魂拷问的主题，非常值得深思。
对于绝大多数的初级程序员来说，往往停留在“知其然不知其所以然”的层面上——会用，但要说底层的原理，可就只能挠挠头双手一摊一张问号脸了。
很长一段时间内，我也一直处于这种层面上。导致的局面就是，我在挖一些高深点的技术方案时，往往束手无策；在读一些高深点的技术文章时，往往理解不了作者在说什么。
借此机会，我就和大家一起，对“为什么 Java 字符串是不可变的”进行一次深入地研究。注意了，准备打怪升级了！
01、图文分析
来看下面这行代码。
String alita = "阿丽塔";
这行代码在字符串常量池中创建了一个内容为“阿丽塔”的对象，并将其赋值给了字符串变量 alita（存储的是字符串对象"阿丽塔"的引用）。如下图所示。
再来看下面这行代码。
String wanger = alita;
这行代码将字符串变量 alita 赋值给了字符串变量 wanger。这时候，wanger 和 alita 存储的是同一个字符串对象的引用。如下图所示。
再来看下面这行代码。
alita = "战斗天使".concat(alita);
这行代码将字符串“战斗天使”拼接在字符串变量 alita 的前面，并重新赋值给 alita。这个过程就比之前的复杂了。我们需要先来看看 concat() 方法做了什么，源码如下所示。
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.getChars(buf, len);
return new String(buf, true);
}
可以看得出，"战斗天使".concat(alita) 这行代码会先在字符串常量池中创建一个新的字符串对象，内容为“战斗天使”，然后 concat() 方法会将其对应的字符数组和“阿丽塔”对应的字符数组复制到一个新的字符数组 buf 中，最后，再通过 new 关键字创建了一个新的字符串对象，并返回。如下图所示。
从上图中可以得出结论，alita 此时引用的是在堆中新创建的字符串对象。
02、对象和对象引用
可能有些读者看完上面的图文分析没有理解反而更疑惑了：alita 不是变了吗？从“阿丽塔”变为“战斗天使阿丽塔”？怎么还说字符串是不可变的呢？
这里需要给大家解释一下，什么是对象，什么是对象引用。
在 Java 中，由于不能直接操作对象本身，所以就有了对象引用这个概念，对象引用存储的是对象在内存中的地址。
PS：Java 虚拟机在执行程序的过程中会把内存区域划分为若干个不同的数据区域，如下图所示。
对象存储在堆（heap）中，而对象的引用存储在栈（stack）中。
我们通常所说的“字符串是不可变的”是指“字符串对象是不可变的”。alita 是字符串对象“阿丽塔”或者“战斗天使阿丽塔”的引用。这下应该明白了吧？
03、源码分析
我们来看一下 String 类的部分源码。
public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
/** The value is used for character storage. */
private final char value[];
}
可以看得出， String 类其实是通过操作字符数组 value 实现的。而 value 是 private 的，也没有提供 serValue() 这样的方法进行修改；况且 value 还是 final 的，意味着 value 一旦被初始化，就无法进行改变。
另外呢，String 类提供的方法，比如说 substring()：
public String substring(int beginIndex) {
int subLen = value.length - beginIndex;
return (beginIndex == 0) ? this : new String(value, beginIndex, subLen);
}
toLowerCase()：
public String toLowerCase(Locale locale) {
return new String(result, 0, len + resultOffset);
}
还有之前提到的 concat()，看似都能改变字符串的内容，但其实都是在方法内部使用 new 关键字重新创建的新字符串对象。
04、为什么要不可变
String 类的源码中还有一个重要的字段 hash，用来保存字符串对象的 hashCode。
public final class String
implements java.io.Serializable, Comparable<String>, CharSequence {
/** Cache the hash code for the string */
private int hash; // Default to 0
public int hashCode() {
int h = hash;
if (h == 0 && value.length > 0) {
char val[] = value;
for (int i = 0; i < value.length; i++) {
h = 31 * h + val[i];
}
hash = h;
}
return h;
}
}
因为字符串是不可变的，所以一旦被创建，它的 hash 值就不会再改变了。由此字符串非常适合作为 HashMap 的 key 值，这样可以极大地提高效率。
另外呢，不可变对象天生是线程安全的，因此字符串可以在多个线程之间共享。
举个反面的例子，假如字符串是可变的，那么数据库的用户名和密码（字符串形式获得数据库连接）将不再安全，一些高手可以随意篡改，从而导致严重的安全问题。
05、最后
总结一下，字符串一旦在内存中被创建，就无法被更改。String 类的所有方法都不会改变字符串本身，而是返回一个新的字符串对象。如果需要一个可修改的字符序列，建议使用 StringBuffer 或 StringBuilder 类代替 String 类，否则每次创建的字新符串对象会导致 Java 虚拟机花费大量的时间进行垃圾回收。
好了各位读者朋友们，以上就是本文的全部内容了。能看到这里的都是人才，二哥必须要为你点个赞👍。如果觉得不过瘾，还想看到更多，可以查看我的个人博客。另外呢，给大家一个承诺，我每周都会更新一篇《程序人生》和一篇 Java 技术栈相关的文章，敬请期待。如果你有什么问题需要我的帮助，或者想喷我了，欢迎留言哟。
养成好习惯！如果觉得这篇文章有点用的话，求点赞、求关注、求分享、求留言，这将是我写下去的最强动力！如果大家想要第一时间看到二哥更新的文章，可以扫描下方的二维码，关注我的公众号。我们下篇文章见！
