Pourquoi est-ce que j'obtiens « Le type *T est un pointeur vers un paramètre de type, pas un paramètre de type » lors de l'utilisation de génériques dans Go ?

Utilisez les génériques : le type *T est un pointeur vers le paramètre de type, pas le paramètre de type

Comprendre les paramètres et les contraintes de type

Lors de l'utilisation de génériques dans Go , il est crucial de faire la distinction entre un paramètre de type et sa contrainte. Un paramètre de type est désigné par une lettre majuscule, telle que T, tandis qu'une contrainte est un type d'interface qui définit le comportement requis par le paramètre de type. Par exemple :

<code class="go">type GS interface {
    Id() string
    SetId(string)
}</code>

Dans ce cas, GS est la contrainte, qui spécifie qu'un type implémentant GS doit avoir les méthodes Id() et SetId() avec des signatures spécifiques.

Type * T vs paramètre de type

Lors de l'utilisation d'un paramètre de type comme T dans les génériques, il est essentiel de comprendre que *T est différent de T. *T représente un pointeur vers le paramètre de type T.

Explication de l'erreur

Dans votre exemple, l'erreur rencontrée est :

type *T is pointer to type parameter, not type parameter

Cette erreur se produit lorsque vous essayez d'utiliser une méthode pointeur (SetId() dans ce cas) sur le paramètre de type (T ). Cependant, les méthodes de pointeur ne sont disponibles que sur le pointeur vers le paramètre de type (*T) et non sur le paramètre de type本身.

Résoudre le problème

Pour résoudre ce problème, vous devez explicitement spécifiez la contrainte sur le pointeur vers le paramètre de type. Cela peut être fait en ajoutant une contrainte supplémentaire :

<code class="go">type GS interface {
    Id() string
    SetId(string)
}

type PT interface {
    *GS
}</code>

Vous pouvez désormais utiliser PT comme contrainte sur MyStore :

<code class="go">type MyStore[T PT] struct {
    values map[string]T
}</code>

Changer les occurrences de *T en T dans MyStore la définition de la structure et de la méthode sera également nécessaire.

Implémentation de la contrainte

Le message d'erreur indique également que le type A n'implémente pas l'interface GS car la méthode SetId() dans A a un récepteur de pointeur. Pour résoudre ce problème, vous devez vous assurer que le type A implémente correctement l'interface GS :

<code class="go">func (a *A) SetId(id string) { a.ID = id }</code>

Avec ces modifications, le code devrait être compilé avec succès.

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!