Czy usuwanie wybranych klawiszy z mapy w pętli zasięgu jest bezpieczne?

Odpowiedź Sebastiana jest dokładna, ale chciałem wiedzieć dlaczego było bezpiecznie, więc trochę poszperałem w kod źródłowy Mapy. Wygląda na to, że podczas wywołania delete(k, v), w zasadzie ustawia flagę (a także zmienia wartość count) zamiast faktycznie usuwać wartość:

b->tophash[i] = Empty;

(Empty jest stałą dla wartości 0)

To, co wydaje się faktycznie robić, to przydzielanie określonej liczby wiader w zależności od wielkości mapy, która rośnie jako wstawiania wykonujesz w tempie 2^B (z tego kodu źródłowego):

byte    *buckets;     // array of 2^B Buckets. may be nil if count==0.

Więc prawie zawsze jest więcej wiadrów przydzielonych niż używasz, a kiedy robisz range nad mapą, sprawdza ona tophash wartość każdego wiadra w tym 2^B, aby zobaczyć, czy może go przeskoczyć.

Podsumowując, delete wewnątrz range jest bezpieczny, ponieważ dane są technicznie nadal tam, ale kiedy sprawdza tophash widzi, że może po prostu pominąć go i nie zawierać go w cokolwiek range operacja, którą wykonujesz. Kod źródłowy zawiera nawet TODO:

 // TODO: consolidate buckets if they are mostly empty
 // can only consolidate if there are no live iterators at this size.

To wyjaśnia, dlaczego funkcja delete(k,v) nie zwalnia pamięci, po prostu usuwa ją z listy wiader, do których masz dostęp. Jeśli chcesz zwolnić rzeczywistą pamięć, musisz sprawić, że cała mapa będzie niedostępna, aby wkraczał w nią Śmieciarz. Możesz to zrobić używając linii

map = nil

Zastanawiałem się, czy może dojść do wycieku pamięci. Więc napisałem program testowy:

package main

import (
    log "github.com/Sirupsen/logrus"
    "os/signal"
    "os"
    "math/rand"
    "time"
)

func main() {
    log.Info("=== START ===")
    defer func() { log.Info("=== DONE ===") }()

    go func() {
        m := make(map[string]string)
        for {
            k := GenerateRandStr(1024)
            m[k] = GenerateRandStr(1024*1024)

            for k2, _ := range m {
                delete(m, k2)
                break
            }
        }
    }()

    osSignals := make(chan os.Signal, 1)
    signal.Notify(osSignals, os.Interrupt)
    for {
        select {
        case <-osSignals:
            log.Info("Recieved ^C command. Exit")
            return
        }
    }
}

func GenerateRandStr(n int) string {
    rand.Seed(time.Now().UnixNano())
    const letterBytes = "0123456789abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ"
    b := make([]byte, n)
    for i := range b {
        b[i] = letterBytes[rand.Int63() % int64(len(letterBytes))]
    }
    return string(b)
}

Krótko mówiąc, tak. Zobacz poprzednie odpowiedzi.

I jeszcze to, z tutaj :

Ianlancetaylor skomentował 18 lutego 2015
Myślę, że kluczem do zrozumienia tego jest uświadomienie sobie, że podczas wykonywania instrukcji for/range, nie ma bieżącej iteracji. Istnieje zbiór wartości, które zostały zaobserwowane, oraz zbiór wartości, które nie zostały zaobserwowane. Podczas wykonywania ciała przypisano jedną z widocznych par klucz / wartość-ostatnią parę- do zmiennej(s) instrukcji range. Nie ma nic specjalnego w tej parze klucz/wartość, to tylko jedna z tych, które były już widoczne podczas iteracji.

Pytanie, na które odpowiada, dotyczy modyfikacji elementów mapy w czasie operacji range, dlatego wspomina o "bieżącej iteracji". Ale jest to również istotne tutaj: możesz usunąć klucze w zakresie, a to oznacza, że nie zobaczysz ich później w zakresie (a jeśli już je widziałeś, w porządku).