En quoi la sémantique des valeurs et des pointeurs diffère-t-elle dans Go, et comment les tranches présentent-elles un comportement exceptionnel ?

Comprendre la sémantique des valeurs et la sémantique des pointeurs dans Go

Dans Go, comprendre les concepts de sémantique des valeurs et de sémantique des pointeurs est crucial pour comprendre l'intérieur fonctionnement des tableaux et des tranches.

Valeur Sémantique

Lorsque des valeurs sont transmises à des fonctions ou des méthodes dans Go, des copies de ces valeurs sont créées. Ces copies sont isolées des valeurs d'origine, ce qui signifie que toute modification apportée au sein de la fonction ou de la méthode n'affectera pas les valeurs d'origine.

Par exemple, considérons le code suivant :

func double(i int) int {
    i *= 2
    return i
}

func main() {
    i := 1
    fmt.Println("double:", double(i))
    fmt.Println("original i:", i)
}

La sortie de ce code démontre la sémantique des valeurs :

double: 2
original i: 1

Même si double() modifie son paramètre i, la variable i dans la fonction appelante reste inchangée. En effet, une copie de i a été transmise à double().

Sémantique du pointeur

Contrairement à la sémantique des valeurs, la sémantique des pointeurs fait référence aux cas où un pointeur vers une valeur est transmis à la place de la valeur elle-même. Lorsqu'un pointeur est modifié dans une fonction ou une méthode, les modifications sont reflétées dans la valeur d'origine.

Considérez le code suivant :

func doublep(i *int) int {
    *i *= 2
    return *i
}

func main() {
    i := 1
    fmt.Println("double:", doublep(&i))
    fmt.Println("original i:", i)
}

La sortie de ce code démontre la sémantique du pointeur :

double: 2
original i: 2

Dans cet exemple, un pointeur vers i est passé à doublep(), permettant à la fonction de modifier la valeur originale de i directement.

Passer des tranches : une exception à la sémantique des valeurs

Bien que Go suive la sémantique des valeurs, les tableaux et les tranches présentent une sémantique de pointeur. Lorsqu'une tranche est transmise à une fonction ou une méthode, une copie de l'en-tête de la tranche (et non du tableau sous-jacent) est créée. Cependant, les tranches originales et copiées font référence au même tableau sous-jacent. Par conséquent, les modifications apportées aux éléments de la tranche au sein de la fonction ou de la méthode sont reflétées dans la tranche d'origine.

Ce comportement est évident dans le code suivant :

func doubles(is []int) []int {
    for i := range is {
        is[i] *= 2
    }
    return is
}

func main() {
    is := []int{1, 2}
    fmt.Println("double:", doubles(is))
    fmt.Println("original is:", is)
}

Sortie :

double: [2 4]
original is: [2 4]

Comprendre la sémantique des valeurs et des pointeurs est essentiel pour travailler efficacement avec les données dans Go. Il permet aux développeurs d'anticiper le comportement des fonctions et des méthodes lors de la manipulation des valeurs.

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!