Dlaczego wartość typu String w Java nie może być zmieniona?

Wartość typu String w Javie jest niezmienna (immutable), ponieważ:

• Efektywne wykorzystanie puli łańcuchów (String Pool): JVM utrzymuje pulę łańcuchów, aby oszczędzać pamięć. Nie zmienialne łańcuchy pozwalają wielu zmiennym odwoływać się do tego samego obiektu w puli bez ryzyka, że zmiana jednej z nich wpłynie na inne.
• Bezpieczeństwo wątków: Ponieważ obiekty łańcuchowe są niezmienne, można je bezpiecznie dzielić między wątki bez konieczności synchronizacji zewnętrznej. Ułatwia to programowanie wielowątkowe.
• Użycie jako klucze w kolekcjach: String jest często używany jako klucz w kolekcjach takich jak HashMap i HashSet. Nie zmienialność gwarantuje, że kod hash obiektu pozostanie stały przez cały jego czas życia, co jest kluczowe dla poprawnego działania tych struktur danych. Zmiana obiektu używanego jako klucz zniszczyłaby ich wewnętrzną strukturę.
• Bezpieczeństwo: Obiekty łańcuchowe służą do reprezentowania ważnych danych, takich jak nazwy plików, adresy sieciowe i hasła. Niezmienność zapobiega przypadkowym lub złośliwym zmianom tych wartości po ich utworzeniu.

Gdy wydaje się, że wartość łańcucha "się zmienia" (np. podczas konkatenacji łańcuchów), w rzeczywistości tworzony jest nowy obiekt String.

// Źródłowy łańcuch w puli
String s1 = "Hello";

// Tworzony jest nowy obiekt "Hello World", s1 nadal wskazuje na "Hello"
String s2 = s1 + " World";

Dla operacji wymagających częstych zmian łańcuchów, używa się klas mutowalnych, takich jak StringBuilder (niebezpieczny dla wątków) lub StringBuffer (bezpieczny dla wątków).