Είναι το String στις περισσότερες γλώσσες προγραμματισμού τύπος αναφοράς ή τύπος τιμής;

Στα περισσότερα γλώσσες προγραμματισμού, οι συμβολοσειρές (String) υλοποιούνται ως αναφορικός τύπος, και όχι ως τύπος τιμής.

Συγκεκριμένα, στη C# το string είναι αναφορικός τύπος που συμπεριφέρεται ως ένα αμετάβλητο (immutable) αντικείμενο. Αυτό σημαίνει:

• Η μεταβλητή τύπου string περιέχει μια αναφορά σε ένα αντικείμενο στη μνήμη.
• Όταν αλλάζει η συμβολοσειρά, δημιουργείται ένα νέο αντικείμενο, και το υπάρχον δεν αλλάζει.
• Χάρη στην αμεταβλητότητα, οι συμβολοσειρές μπορούν να χρησιμοποιηθούν με ασφάλεια σε περιβάλλοντα πολλαπλών νημάτων και μπορούν να αποθηκευτούν στην cache.

Αυτό διαφέρει από τους τύπους τιμής (π.χ., int, struct), που αποθηκεύονται άμεσα στη μεταβλητή και αντιγράφονται κατά την ανάθεση.

Παράδειγμα:

string a = "hello";
string b = a;
a = "world"; // το b εξακολουθεί να είναι "hello", επειδή οι συμβολοσειρές είναι αμετάβλητες και το a τώρα αναφέρεται σε ένα νέο αντικείμενο