在逛 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 此时引用的是在堆中新创建的字符串对象。
