¿Por qué el valor del tipo String en Java no puede ser cambiado?

El valor del tipo String en Java es inmutable porque:

• Uso eficiente del pool de cadenas (String Pool): La JVM mantiene un pool de cadenas para ahorrar memoria. Las cadenas inmutables permiten que varias variables apunten al mismo objeto en el pool sin riesgo de que una modificación afecte a las otras.
• Seguridad en hilos: Dado que los objetos de cadena son inmutables, se pueden compartir de forma segura entre hilos sin necesidad de sincronización externa. Esto simplifica la programación multihilo.
• Uso como claves en colecciones: String se usa a menudo como clave en colecciones como HashMap y HashSet. La inmutabilidad garantiza que el código hash del objeto permanezca constante durante su vida, lo cual es crucial para el correcto funcionamiento de estas estructuras de datos. Modificar un objeto usado como clave rompería su estructura interna.
• Seguridad: Los objetos de cadena se usan para representar datos importantes, como nombres de archivos, direcciones de red y contraseñas. La inmutabilidad previene cambios accidentales o maliciosos en estos valores después de su creación.

Cuando parece que el valor de la cadena "cambia" (por ejemplo, al concatenar cadenas), en realidad se crea un nuevo objeto String.

// Cadena original en el pool
String s1 = "Hello";

// Se crea un nuevo objeto "Hello World", s1 sigue apuntando a "Hello"
String s2 = s1 + " World";

Para operaciones que requieren cambios frecuentes en cadenas, se usan clases mutables como StringBuilder (no seguro para hilos) o StringBuffer (seguro para hilos).