深入源码剖析String类为什么不可变？（还不明白就来打我）

青旅半醒 2023-10-01 22:51 37阅读 0赞

**一、什么是不可变？**

String不可变其实很简单，如下图所示，对一个已有字符串s=“abcd”,把它第二次赋值成"abcdel"，这个操作并不会在原内存地址（即“abcd”的内存地址）上修改数据，而是重新指向一个新的内存地址（即“abcdel”）。所以并不是我们一般会认为的鸠占鹊巢——“abcdel”替换了“abcd”，占据了“abcd”的内存位置，导致“abcd”无家可归，从这个世界上消失。  
![在这里插入图片描述][7faff64b27ff43eda033c1bcaa1ec1d9.png]  
**二、String不可变的本质**

查看以下jdk中String类的源码：  
（这里只列出了前三行，大家有兴趣可以自行去查看完整源码）  
![在这里插入图片描述][8e72d63a90e84e9ea7346175dec31cec.png]

我们发现  
**（一）String类是一个final类。**  
String类由final修饰，我们都知道当final修饰一个类时，该类不可以被其他类继承，自然String类就没有子类，也更没有方法被子类重写的说法了，所以这就保证了**外界无法通过继承String类，来实现对String不可变性的破坏。**  
**（二）String底层是通过一个char\[\]来存储数据的，且该char\[\]由private final修饰。**  
该value数组被final修饰，我们知道**被final修饰的引用类型的变量就不能再指向其他对象了**，也就是说value数组只能指向堆中属于自己的那一个数组，不可以再指向其他数组了。但是这不妨碍我们可以改变它指向的这个数组里面的内容啊，比如咱们随便举个例子：

![在这里插入图片描述][89f410c27b5049bbaa8dfbb2d53af76b.png]  
那外部的破坏者可能就想了，既然你不让我改变value数组的指向，那我修改它里面的内容不就行了，嘿嘿  
然后他就想着通过访问这个value数组来修改里面的值，但是操作的时候他发现，他.不出来这个value数组，这他就纳闷了，怎么会访问不到呢？

**其实这个时候就是private起作用了，有了private外界自然就访问不到我这个value数组，自然也就修改不了我里面的数据了。**  
好了，现在外部想要破坏我们String类不可变性的路都被堵死了，那也得保证内部不能出“奸细”啊，不能闹笑话不是！

**（三）String类内部没有向外界提供或者暴露任何可以更改value数组的方法。**  
纵观源码，我们发现String类内部也没有向外界提供或者暴露任何可以更改value数组内容的方法，所以内部的安全也就保证了，这样一来外部内部都无懈可击。这就达到了我们String类不可变性的最终目的了！

**三、总结**

保证String类不可变靠的就是以下三点：  
（一）String 类被 final 修饰导致其不能被继承，进而避免了子类破坏 String 不可变性。  
（二）保存字符串的value数组被 final 修饰且为私有的。  
（三）String 类里没有提供或暴露修改这个value数组的方法。

[7faff64b27ff43eda033c1bcaa1ec1d9.png]: https://img-blog.csdnimg.cn/7faff64b27ff43eda033c1bcaa1ec1d9.png
[8e72d63a90e84e9ea7346175dec31cec.png]: https://img-blog.csdnimg.cn/8e72d63a90e84e9ea7346175dec31cec.png
[89f410c27b5049bbaa8dfbb2d53af76b.png]: https://img-blog.csdnimg.cn/89f410c27b5049bbaa8dfbb2d53af76b.png