Как реализована в Java неизменяемость объектов типа String?

В Java объекты типа String являются неизменяемыми (immutable) благодаря следующим особенностям реализации:

• final класс: класс String объявлен как final, что запрещает наследование и изменение поведения.

• final поля: внутренний массив символов (char[] value) объявлен как final, и после создания объекта не меняется.

• Отсутствие методов, изменяющих состояние: все методы, которые кажутся изменяющими строку (например, concat, replace), на самом деле создают и возвращают новый объект String.

• Безопасность многопоточности: неизменяемость обеспечивает потокобезопасность без дополнительной синхронизации.

Пример:

String s = "hello";
String t = s.toUpperCase(); // создаётся новый объект, s остаётся "hello"

Таким образом, неизменяемость достигается за счёт контроля доступа к внутреннему состоянию и отсутствия методов, изменяющих его после создания.