Γιατί η τιμή του τύπου 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 (με ασφάλεια νημάτων).