Cadenas mutables en Java

Question

Como casi todo el mundo sabe, las cadenas en Java son inmutables. Recientemente descubrí algo que podría sugerir que no siempre es verdad. Vamos a probar este código:

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); 

la salida sería:

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

¿Cómo funciona este truco? ¿Cómo sabe la JVM qué objetos se deben cambiar y cuáles no? ¿Qué mecanismo están bajo el capó de este truco? ¿Por qué la cadena beforeTest ya creada no se modificó? ¿Este truco realmente deroga el principio strings are immutable?

Answer 1

Los literales de cadena están internados en un grupo. Esto significa que cuando se escribe

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

s1 y s2 se refieren al mismo objeto String, y s3 ​​se refiere a otro, respaldado por otra matriz de caracteres.

En su código, viola las invariantes de String modificando la matriz de caracteres privada que contiene los caracteres de la instancia literal de Cadena "Original". Pero dado que beforeTest se refiere a otra instancia de cadena, no se modifica.

La inmutabilidad se logra manteniendo los campos privados en un objeto y sin proporcionar ningún método para modificar este estado privado. Al usar la reflexión, rompes todas las reglas de encapsulación, y así puedes violar la inmutabilidad.