Μπορεί κανείς να αλλάξει με ασφάλεια το περιεχόμενο ενός slice στη μνήμη χωρίς επιπλέον ελέγχους;

Στο Go, μια λίστα (slice) είναι μια δομή που περιέχει έναν δείκτη σε έναν πίνακα, μήκος και χωρητικότητα. Είναι δυνατή η τροποποίηση του περιεχομένου της λίστας στη μνήμη, αλλά η ασφάλεια εξαρτάται από το πλαίσιο:

• Αν η λίστα δεν μοιράζεται μεταξύ goroutines, η αλλαγή των στοιχείων είναι ασφαλής χωρίς πρόσθετους ελέγχους.
• Αν η λίστα χρησιμοποιείται ταυτόχρονα σε πολλαπλές goroutines, πρέπει να συγχρονίσετε την πρόσβαση (π.χ. με mutex), διαφορετικά μπορεί να προκύψουν καταστάσεις αγώνα.
• Η αλλαγή του μήκους ή της χωρητικότητας της λίστας (μέσω append) μπορεί να οδηγήσει στην κατανομή νέου πίνακα, καθιστώντας τις αναφορές στον παλιό πίνακα μη έγκυρες.

Επομένως, είναι ασφαλές να τροποποιείτε το περιεχόμενο της λίστας χωρίς πρόσθετους ελέγχους μόνο σε περιβάλλον μονής νησίδας ή με εγγυημένο συγχρονισμό.

Παράδειγμα ασφαλούς τροποποίησης:

s := []int{1, 2, 3}
s[0] = 10  // ασφαλές αν δεν υπάρχουν ανταγωνιστικές goroutines

Για ταυτόχρονη πρόσβαση:

var mu sync.Mutex
mu.Lock()
s[0] = 10
mu.Unlock()