Чи безпечно видаляти вибрані ключі з карти в циклі діапазону?

Як можна видалити вибрані ключі з карти? Чи безпечно поєднувати delete()з дальністю, як у наведеному нижче коді?

package main

import "fmt"

type Info struct {
    value string
}

func main() {
    table := make(map[string]*Info)

    for i := 0; i < 10; i++ {
        str := fmt.Sprintf("%v", i)
        table[str] = &Info{str}
    }

    for key, value := range table {
        fmt.Printf("deleting %v=>%v\n", key, value.value)
        delete(table, key)
    }
}

https://play.golang.org/p/u1vufvEjSw

Це безпечно! Ви також можете знайти подібний зразок у програмі Effective Go :

for key := range m {
    if key.expired() {
        delete(m, key)
    }
}

І мовна специфікація :

Порядок ітерації карт не вказаний і не гарантується, що він буде однаковим від однієї ітерації до іншої. Якщо під час ітерації буде видалено записи, які ще не були досягнуті , відповідні значення ітерації не виробляться. Якщо записи карт створені під час ітерації , цей запис може бути зроблений під час ітерації або може бути пропущений. Вибір може відрізнятися для кожної створеної записи та від однієї ітерації до наступної. Якщо карта нульова, кількість ітерацій дорівнює 0.

Відповідь Себастьяна точна, але я хотів дізнатися, чому це безпечно, тому я трохи перекопався у вихідному коді карти . Це виглядає як під час виклику до delete(k, v), він в основному просто встановлює прапор (а також змінює значення підрахунку), а не фактично видаляє значення:

b->tophash[i] = Empty;

(Порожня - константа для значення 0)

Насправді карта, що насправді робить, - це виділення заданої кількості відра залежно від розміру карти, яка зростає під час виконання вставок зі швидкістю 2^B(з цього вихідного коду ):

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

Тому майже завжди виділяється більше відра, ніж ви використовуєте, і коли ви робите rangeнад картою, вона перевіряє це tophashзначення кожного відра, 2^Bщоб побачити, чи може він пропустити його.

Підводячи підсумок, deleteінтервал a rangeє безпечним, оскільки дані технічно все ще є, але коли він перевіряє, tophashвін бачить, що він може просто пропустити його і не включати його в будь-яку rangeоперацію, яку ви виконуєте. Вихідний код навіть включає TODO:

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

Це пояснює, чому використання delete(k,v)функції насправді не звільняє пам’ять, а просто видаляє її зі списку відер, до яких ви можете отримати доступ. Якщо ви хочете звільнити фактичну пам'ять, вам потрібно зробити всю карту недоступною, щоб збирати сміття. Ви можете це зробити, використовуючи такий рядок, як

map = nil

Мені було цікаво, чи може статися витік пам'яті. Тому я написав тестову програму:

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)
}

Схоже, GC дійсно звільняє пам'ять. Так це гаразд.

Словом, так. Дивіться попередні відповіді.

А також це, звідси :

ianlancetaylor прокоментував 18 лютого 2015 р.
Я думаю, що ключовим для розуміння цього є усвідомлення того, що під час виконання тілом оператора для / діапазону не існує поточної ітерації. Є набір значень, які були помічені, і набір значень, які не були помічені. Виконуючи тіло, одній із розглянутих пар ключів / значень - останню пару - присвоювали змінну (и) оператора діапазону. У цій парі ключ / значення немає нічого особливого, це лише одна з тих, які вже були помічені під час ітерації.

Питання, на яке він відповідає, стосується зміни елементів карти на місці під час rangeоперації, саме тому він згадує про "поточну ітерацію". Але це також актуально і тут: ви можете видаляти ключі під час діапазону, а це просто означає, що ви їх більше не побачите в діапазоні (і якщо ви вже бачили їх, це нормально).