Comment fonctionne l'immuabilité des chaînes de Go, étant donné que les variables de chaîne peuvent être réaffectées ?

Valeurs de chaîne immuables : décodage de la spécification Go

Introduction

La spécification Go met l'accent sur l'immuabilité des chaînes, déclarant que le contenu d'une chaîne ne peut pas être modifié une fois créé. Cela peut être déroutant lorsqu'il s'agit de variables de chaîne et de pointeurs, comme le démontre le code suivant :

str := "hello"
fmt.Printf("%p\n",&str) // 0x1040c128
fmt.Printf("%v\n",str) // hello
ptr := &str
*ptr = "world"
fmt.Printf("%p\n",&str) // 0x1040c128
fmt.Printf("%v\n",str) // world  

Ici, nous réattribuons la valeur de la variable de chaîne str via un pointeur, nous amenant à remettre en question le concept de immuabilité des chaînes. Explorons les mécanismes sous-jacents pour démêler cet apparent paradoxe.

La vérité derrière l'immuabilité

L'immuabilité des chaînes fait spécifiquement référence aux valeurs des chaînes, et non leurs variables. str est une variable chaîne, pas une valeur chaîne. Ainsi, la valeur de str peut être modifiée, ce que l'on observe lors d'une réaffectation via un pointeur.

La valeur de chaîne, telle que "hello", est ce qui reste immuable. Lorsque nous attribuons « monde » à str, nous remplaçons simplement une valeur immuable par une autre. L'adresse de str reste la même car c'est une variable, pas une valeur.

L'immuabilité en pratique

Les valeurs de chaîne sont immuables sous le capot. Ils sont représentés par une structure contenant un pointeur vers le tableau d'octets codé en UTF-8 et sa longueur :

type StringHeader struct {
    Data uintptr
    Len  int
}

Ces champs sont inaccessibles au programmeur, garantissant l'immuabilité de la valeur de la chaîne.

Limitations de l'immuabilité

Bien que les valeurs de chaîne soient généralement immuables, il existe des exceptions lors de l'utilisation de colis dangereux. Ce package permet de contourner les contrôles de sécurité de type et, par conséquent, de modifier potentiellement les valeurs de chaîne. Cependant, de telles opérations ne relèvent pas des garanties fournies par la spécification Go et peuvent conduire à des comportements inattendus.

Conclusion

L'immuabilité des chaînes dans Go existe au niveau de la valeur, garantissant que le contenu des chaînes ne peut pas être modifié indirectement. Cela garantit l'intégrité et la cohérence des données de chaîne tout au long d'un programme.

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!