Почему класс String является неизменяемым и помечен как финализированный?

Неизменяемость (immutable) класса String и его финализация (final) обеспечивают:

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

Пример:

String s1 = "Hello"; // Создается объект "Hello" в пуле строк
String s2 = "Hello"; // Возвращается ссылка на тот же объект из пула

s1 = s1 + " World"; // Не изменяет исходный объект "Hello", а создает новый объект "Hello World"

System.out.println(s1); // "Hello World"
System.out.println(s2); // "Hello" - s2 по-прежнему ссылается на исходный объект