Почему значение типа String в Java не может быть изменено?

Значение типа String в Java неизменяемо (immutable) потому, что:

• Эффективное использование пула строк (String Pool): JVM поддерживает пул строк для экономии памяти. Неизменяемые строки позволяют нескольким переменным ссылаться на один и тот же объект в пуле без риска, что изменение одной переменной повлияет на другие.
• Потокобезопасность: Поскольку строковые объекты неизменяемы, ими можно безопасно делиться между потоками без необходимости внешней синхронизации. Это упрощает многопоточное программирование.
• Использование в качестве ключей в коллекциях: String часто используется как ключ в коллекциях, таких как HashMap и HashSet. Неизменяемость гарантирует, что хеш-код объекта остается постоянным в течение его жизни, что критически важно для правильной работы этих структур данных. Изменение объекта, используемого как ключ, нарушило бы их внутреннюю структуру.
• Безопасность: Строковые объекты используются для представления важных данных, таких как имена файлов, сетевые адреса и пароли. Неизменяемость предотвращает случайное или злонамеренное изменение этих значений после их создания.

Когда кажется, что строковое значение "изменяется" (например, при конкатенации строк), на самом деле создается новый объект String.

// Исходная строка в пуле
String s1 = "Hello";

// Создается новый объект "Hello World", s1 продолжает ссылаться на "Hello"
String s2 = s1 + " World";

Для операций, требующих частых изменений строк, используются изменяемые классы, такие как StringBuilder (непотокобезопасный) или StringBuffer (потокобезопасный).