Comment le jeton ~ dans Go Generics gère-t-il les types sous-jacents ?

Comprendre le jeton Tilde (~) dans Go Generics

Go a introduit le nouveau jeton ~, représentant l'ensemble des types avec le type sous-jacent T.

Définition

Le jeton ~T désigne un élément de contrainte qui spécifie l'ensemble des types dont le type sous-jacent est T.

Exemple

Considérons l'exemple suivant :

type Ordered interface {
    Integer | Float | ~string
}

Dans cet Par exemple, l'élément de contrainte ~string signifie qu'un type doit avoir un type de chaîne sous-jacent pour satisfaire l'ordre Ordered. interface.

Types sous-jacents

La définition des types sous-jacents est cruciale pour comprendre le comportement des éléments de contrainte ~T. La spécification du langage définit les types sous-jacents comme suit :

• Pour les types numériques, booléens ou chaînes prédéclarés, ou les littéraux de type, leur type sous-jacent est eux-mêmes.
• Pour les autres types, leur type sous-jacent type est le type sous-jacent du type auquel ils font référence dans leur déclaration de type.

Pratique Implications

L'implication pratique du jeton ~T est qu'il permet à vos types personnalisés d'être utilisés dans les interfaces et les contraintes, même si ces interfaces et contraintes spécifient des types exacts. Par exemple, considérons le code suivant :

type MyInt8 int8

// Cannot instantiate with MyInt8
func echoExact[T constraints.ExactSigned](t T) T { return t }

// Can instantiate with MyInt8
func echo[T constraints.Signed](t T) T { return t }

Dans cet exemple, le type contraintes.ExactSigned n'autorise pas les types personnalisés, alors que le type contraintes.Signed le permet en raison de l'utilisation de l'élément de contrainte ~T.

Conclusion

Le jeton ~T fournit un moyen flexible de spécifier des contraintes de type dans les génériques Go. Il permet l'utilisation de types personnalisés dont les types sous-jacents correspondent à la contrainte spécifiée, améliorant ainsi l'expressivité et la convivialité du code générique.

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!