Pourquoi Go nécessite-t-il une copie explicite des variables de boucle dans les fermetures ?

Fermeture capturée dans Go (pour les variables de boucle)

Le compilateur Go ne capture pas automatiquement les variables de boucle for...range comme assignées localement variables de fermeture. Au lieu de cela, Go traite toutes les boucles for (y compris les boucles for...range) de la même manière, nécessitant une copie explicite des variables de boucle dans des fermetures locales pour garantir le comportement attendu.

Raisonnement pour la copie des variables de boucle

Ce comportement découle de la gestion cohérente des boucles for par Go. Dans tous les types de boucles for, y compris les boucles for...range, les variables de boucle sont limitées au bloc de la boucle. Une fois le bloc de la boucle terminé, la variable de boucle n'est plus accessible.

Dans les boucles for...range, la variable de boucle est initialisée à une nouvelle valeur pour chaque itération de la boucle. Cependant, la fermeture créée dans la boucle continue de faire référence à la variable de boucle d'origine. Pour garantir que la fermeture a une copie indépendante de la variable de boucle, elle doit être affectée à une variable locale dans la fermeture.

Exemple de code

Vous trouverez ci-dessous un exemple qui illustre la nécessité de copier les variables de boucle :

func main() {
    m := make(map[int32]int32)
    for i := int32(1); i <= 10; i++ {
        m[i] = i
    }

    l := make([]func() (int32, int32), 0)
    for k, v := range m {
        l = append(l, func() (int32, int32) {
            return k, v
        })
    }

    for _, f := range l {
        k, v := f()
        fmt.Println(k, v)
    }
}

Dans cet exemple, la variable de boucle k devrait changer à chaque itération de la boucle for...range. Cependant, la fermeture capture la variable de boucle originale k, qui reste la même tout au long de la boucle. En conséquence, le code imprime la même paire de valeurs (10, 10) dix fois.

Solution : copier les variables de la boucle

Pour résoudre le problème, la boucle les variables doivent être copiées dans les variables locales dans la fermeture :

func main() {
    m := make(map[int32]int32)
    for i := int32(1); i <= 10; i++ {
        m[i] = i
    }

    l := make([]func() (int32, int32), 0)
    for k, v := range m {
        kLocal, vLocal := k, v
        l = append(l, func() (int32, int32) {
            return kLocal, vLocal
        })
    }

    for _, f := range l {
        k, v := f()
        fmt.Println(k, v)
    }
}

Maintenant, la fermeture capture les variables locales kLocal et vLocal, qui conserve indépendamment les valeurs attribuées lors de chaque itération de la boucle for...range. Le code imprime correctement les paires de valeurs attendues (1, 1), (2, 2), ..., (10, 10).

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!