12

几乎每个人都知道 Java 中的字符串是不可变的。最近我发现了一些可能表明它并不总是正确的东西。让我们试试这段代码：

System.out.println("-------- BEFORE MODIFICATIONS --------");
String beforeTest = new String("Original");
System.out.println(beforeTest);
java.lang.reflect.Field valueField = String.class.getDeclaredField("value");
valueField.setAccessible(true);
valueField.set("Original", "Modified".toCharArray());
System.out.println("-------- AFTER MODIFICATIONS --------");
System.out.println(beforeTest);
System.out.println("Original");
String test = new String("Original");
System.out.println(test);
String test2 = new String("Original 2");
System.out.println(test2);

输出将是：

-------- BEFORE MODIFICATIONS --------
Original
-------- AFTER MODIFICATIONS --------
Original
Modified
Modified
Original 2

这个技巧是如何工作的？JVM 如何知道哪些对象应该更改，哪些不应该更改？这个技巧的背后是什么机制？为什么已经创建beforeTest的字符串没有改变？这个把戏真的有损strings are immutable原则吗？

4

1 回答 1

18

字符串文字被嵌入到一个池中。这意味着当你写

String s1 = "Foo";
String s2 = "Foo";
String s3 = new String("Foo");

s1 和 s2 指的是同一个 String 对象，而 s3 指的是另一个，由另一个 char 数组支持。

在您的代码中，您通过修改包含“原始”字符串文字实例的字符的私有 char 数组来违反字符串的不变量。但是由于beforeTest引用了另一个 String 实例，所以它没有被修改。

不变性是通过将字段私有到对象中来实现的，并且不提供任何方法来修改此私有状态。通过使用反射，您打破了所有封装规则，因此您可以违反不变性。

于 2012-06-22T22:04:39.347 回答