Que signifie le symbole Tilde (~) dans Go Generics ?

Comprendre la signification de ~ dans les génériques Go

Dans les génériques Go, le jeton tilde (~) introduit un nouveau concept connu sous le nom de " élément d'approximation." L'expression ~T désigne l'ensemble de tous les types dont le type sous-jacent est T.

Comprendre les types sous-jacents

La définition des « types sous-jacents » est cruciale pour comprendre l'objectif de l’élément d’approximation. La spécification du langage indique que chaque type a un type sous-jacent, qui est lui-même si le type est un type prédéclaré (par exemple, int, float64, string), un type littéral ou fait référence à un type avec un identifiant lié.

Implications pratiques

L'élément d'approximation permet aux contraintes d'interface d'inclure des types au-delà de ceux avec des correspondances exactes. Par exemple, une contrainte d'interface comme ExactSigned = int | int8 | ... | int64 n'autoriserait pas un type comme MyInt8, qui est défini sur int8. Cependant, la contrainte contraints.Signed, qui inclut des éléments d'approximation comme ~int8, permet l'inclusion de MyInt8.

Utilisation d'éléments d'approximation

Les éléments d'approximation peuvent être utilisés dans les unions (par exemple, contraintes.Signed = ~int8 | ~int16 | ...), contraintes anonymes avec ou sans sucre syntaxique, et même avec des éléments d'approximation à élément unique.

Cas d'utilisation courants

Un cas d'utilisation courant des éléments d'approximation concerne les types composites (tranches, structures, etc.) qui nécessitent méthodes. En liant l'identifiant d'un type composite, vous pouvez autoriser son inclusion dans une contrainte à l'aide de l'élément d'approximation.

Remarque : Les éléments d'approximation ne peuvent pas être utilisés avec des paramètres de type dans les interfaces.

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!