Risposta.

Le strutture map e slice in Go presentano importanti caratteristiche di copia e semantica di gestione della memoria, che portano spesso a comportamenti imprevisti da parte di sviluppatori inesperti.

Storia della domanda

Sebbene Go sia considerato un linguaggio rigoroso con tipizzazione statica e senza puntatori per impostazione predefinita, map e slice hanno un modello interno speciale: entrambi i tipi sono strutture di riferimento. Questo comporta delle limitazioni e crea molte sfumature durante la copia e il passaggio di questi oggetti.

Problema

La copia di map e slice non porta a una copia profonda del contenuto, ma crea un nuovo riferimento allo stesso oggetto, il che porta a effetti collaterali inaspettati durante la modifica dei dati, il ritorno errato di valori dalle funzioni e le modifiche. Inoltre, restituire map o slice come risultato di una funzione può provocare ulteriori allocazioni o perdite di memoria.

Soluzione

Quando si copia un slice, il nuovo slice si riferisce alla stessa area di memoria se ottenuto tramite slicing (b := a[:]). Per copiare completamente gli elementi, è necessario utilizzare la funzione incorporata copy().
La copia di una map crea una copia superficiale del puntatore. Per una copia profonda è necessario iterare e copiare ogni coppia chiave-valore.
Il passaggio di slice o map a una funzione avviene per valore, ma viene passato un descrittore che punta agli stessi dati.

Esempio di copia corretta:

// Copia di un slice
a := []int{1, 2, 3}
b := make([]int, len(a))
copy(b, a) // b è ora indipendente da a

// Copia di una map
src := map[string]int{"x": 1}
dst := make(map[string]int)
for k, v := range src {
    dst[k] = v
}

Caratteristiche chiave:

slice e map sono tipi di riferimento, vengono copiati tramite descrittore, non per contenuto
Per una copia completa è necessario copiare manualmente (o tramite copy per slice) tutti i dati
Il passaggio a una funzione o il ritorno da una funzione non copia il contenuto: entrambi i partecipanti possono modificare i dati comuni

Domande trappola.

Cosa succede se assegno semplicemente una map/slice all'altra e poi modifico una delle due?

Sia la map che lo slice punteranno ai medesimi dati in memoria: la modifica influenzerà entrambi gli oggetti.

Perché quando restituiamo uno slice o una map da una funzione si dice spesso "è efficiente in termini di memoria"?

Perché viene restituita una copia del descrittore, non dell'intero contenuto; i dati nell'heap vivono fintanto che esistono riferimenti ad essi.

È possibile utilizzare la funzione copy() per effettuare una copia "profonda" di una map?

No, copy() funziona solo con slice e array; per le map è sempre necessario un ciclo.

Errori comuni e anti-pattern

Assegnare map o slice l'uno all'altro, aspettandosi indipendenza, e ricevere inaspettati effetti collaterali
Lasciare riferimenti "pendenti" su uno slice e poi modificare l'originale, violando gli invarianti
Utilizzare la funzione copy() in modo improprio, applicandola a map

Esempio dalla vita reale

Caso negativo

Uno sviluppatore copia uno slice o una map tramite assegnazione e modifica la copia per proteggersi da effetti collaterali:

Vantaggi:

Risparmio di tempo nella scrittura del codice
Meno variabili temporanee

Svantaggi:

Modifiche inaspettate in altre parti del programma
Bug difficili da trovare a causa della condivisione "invisibile"

Caso positivo

Prima di modificare i dati necessari, viene utilizzato copy() per lo slice e un ciclo per la map: