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

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

一、String类的不可改变是指什么？

String类的不可改变本质是指string的成员变量 private final char value[] value[]值不可改变。

二、分析String类可变了对java容器有什么影响

1.新建s，赋值hello。新建s2赋值gello。两者的hashcode方法得到的值不同。

2.使用反射机制对s的成员变量value[]进行改变，将hello改成gello

修改了s的成员变量value[]，将第一位h换成了g，输出s，可以看到s变成了gello。

3.对比更改后的s和s2的hashcode方法和equals方法

可以看到，更改后的s和s2的hashcode值不相同，而equals的值却相同。

4.由此可以看出，string类可变的话，将违背java设计规则

通过前三个步骤可以看出，一旦string类可改变了。将违背java设计规则，即hashcode不同，equals一定也不同。hashcode相同，equals可能相同。违背设计规则后，很多类的特性将失效。比如set集合，是不允许出现重复数据的。而强行改变s的值后，set不许出现重复数据的特性将失效。

hashset add方法调用的就是hashmap的put方法，故hashmap建不能重复的特性一样会失效。

三、分析String类可变了对字符串常量池有什么影响

1.String string="abc"和String string3=new String(“abc”)有什么区别

前者将对象abc存储于字符串常量池中，字符串常量池内重复元素只会创建一次，避免了对象反复创建销毁，下次再出现abc则不会新建对象，会将变量直接指向原有的abc。而后者会将新建的对象存储于堆内存中，下次再出现abc任然会进行新建。如图所示，==符号对引用数据类型比较的是地址值。。

可以看到，string2不会再创建新的对象

2.String类可变了将破坏字符串常量池特性

可以看到，虽然s和s2的值是一样的，但是两者在常量池中的地址却是不一样的。这破坏了常量池的特性，即同一字符串在常量池中只会创建一次

四、分析String类是如何保证成员变量 private final char value[] value[]值不可改变

这里的final只是保证value变量不能指向别的内存地址，但却无法保证value[]内的元素不被更改。而真正使value[]值不可改变的，是String类中的所有方法都写得非常仔细，不存在任何一个方法对value[]内部元素进行更改。

总结

所以，真正使string类被设计成final的原因，是因为源代码中每个方法都没有改变过value[]值，这也是保证String不可变性的关键。而一旦不是final，string被继承，而继承的类重写或新增的方法一旦改变了value[] 的元素，整个string的特性将不存在。