在猫眼的面试中被面试官问到为什么 String 的字符串是不变的。当时我的回答是因为 String 类是用 final 关键字修饰的,当被问到为什么用 final 修饰就是不可变的时候我发现自己说的并没有什么道理。之后自己专门查了一下为什么。
String 的不变性,如下图所示,当你改变了 s 的之后 s 指向了一个新的对象原对象不做改变。
看一下源码是怎么实现的:
我们看到 String 被定义为 final,所以说 String 是不可继承的,接着我们看到 String 的内部实现是一个 char 数组,并且定义为 final。这时有些人可能认为 final 修饰的字段创建以后就不可改变,所以就完了,但其实不是这样的。
因为虽然 value 是不可变,也只是 value 这个引用地址不可变。但其引用的 Array 数组是可变的。
final int[] value={1,2,3};
value[2]=100; // 这时候数组里已经是 {1,2,100}
所以根本上 String 是不可变的原因是 sun 工程师很好的封装了 value 数组,在其中所有的方法中不去更改 value 数组,并把它定义为 private,并且把整个 String 设成 final 禁止继承,避免被其他人继承后破坏。所以 String 的不可变性的关键并不是 final 的作用。
同时 Java 编写者为了避免因为 String 的不可变性导致占用大量空间,为此设计了字符串常量池
String one = “someString”;
String two = “someString”;