В чем преимущество неизменности строки

Неизменяемость (для строк или других типов) может иметь множество преимуществ:

• Это упрощает рассуждение о коде, поскольку вы можете делать предположения о переменных и аргументах, которые вы не можете в противном случае сделайте.
• Это упрощает многопоточное программирование, поскольку чтение из типа, который не может изменить, всегда безопасно выполнять одновременно.
• Это позволяет уменьшить использование памяти, позволяя объединять идентичные значения и ссылаться на них из разных мест. И Java, и C # выполняют интернирование строк, чтобы уменьшить затраты памяти на литеральные строки, встроенные в код.
• Это упрощает разработку и реализацию определенных алгоритмов (например, алгоритмов, использующих отслеживание с возвратом или разделение пространства значений), поскольку ранее вычисленное состояние можно повторно использовать позже.
• Неизменяемость является основополагающим принципом во многих языках функционального программирования - она ​​позволяет рассматривать код как серию преобразований от одного представления к другому, а не как последовательность мутаций.

Неизменяемые строки также помогают избежать соблазна использовать строки в качестве буферов. Многие дефекты в программах на C / C ++ связаны с проблемами переполнения буфера, возникающими в результате использования массивов незащищенных символов для составления или изменения строковых значений. Рассмотрение строк как изменяемых типов поощряет использование типов, более подходящих для работы с буфером (см. StringBuilder в .NET или Java).

Рассмотрим альтернативу. В Java нет квалификатора const. Если бы объекты String были изменяемыми, то любой метод, которому вы передаете ссылку на строку, мог бы иметь побочный эффект изменения строки. Неизменяемые строки устраняют необходимость в защитных копиях и снижают риск ошибки программы.

Неизменяемые строки копировать дешево, потому что вам не нужно копировать все данные - просто скопируйте ссылку или указатель на данные.

С неизменяемыми классами любого типа легче работать в нескольких потоках, единственная необходимая синхронизация - это их уничтожение.