Pourquoi l'attribution de littéraux de valeur aux champs de structure génériques dans Go entraîne-t-elle parfois des erreurs « IncompatibleAssign » ?

Attribuer des littéraux de valeur aux champs de structure génériques : dépannage des erreurs d'affectation incompatibles

Dans Go, les types génériques peuvent être définis avec des contraintes qui restreignent les types autorisés pour leurs champs. Cependant, lors de l'attribution de valeurs littérales à de tels champs, certaines contraintes peuvent déclencher une erreur « IncompatibleAssign ».

Considérez le scénario suivant :

type constraint interface {
    ~float32 | ~float64
}

type foo[T constraint] struct {
    val T
}

func (f *foo[float64]) setValToPi() {
    f.val = 3.14
}

Ce code se compile sans erreur car l'interface de contrainte inclut à la fois ~ float32 et ~ float64. Cependant, si nous modifions la contrainte pour inclure également ~int:

type constraint interface {
    ~float32 | ~float64 | ~int
}

type foo[T constraint] struct {
    val T
}

func (f *foo[float64]) setValToPi() {
    f.val = 3.14 // IncompatibleAssign: cannot use 3.14 (untyped float constant) as float64 value in assignment
}

Nous rencontrons une erreur car la valeur littérale 3.14 (une constante à virgule flottante non typée) ne peut pas être attribuée à toutes les instances possibles de foo[T ], en particulier ceux où T est ~int.

Le problème se pose car la déclaration de méthode :

func (f *foo[float64]) setValToPi() {
    // ...
}

est simplement un déclaration. Il n'instancie pas le type générique foo. L'identifiant float64 entre crochets est un nom de paramètre de type, pas un type fixe.

Par conséquent, au sein de la méthode, la seule information connue sur le type de val est qu'il est contraint par une contrainte. Dans ce cas, la contrainte est l'union ~float32 | ~float64 | ~int, ce qui signifie que la valeur 3.14 ne peut pas être attribuée à l'instance ~int de foo[T].

Solution :

Pour résoudre ce problème, nous avons plusieurs options :

1. Déclarez la méthode comme :

func (f *foo[T]) setValToPi() {
    // ...
}

Cela entraînera dans la même erreur, mais avec T au lieu de float64.

2. Déclarez la méthode comme :

func (f *foo[T]) SetValue(val T) {
    f.val = val
}

Ceci accepte une valeur du paramètre type type, permettant au affectation de valeurs littérales comme 3.14 à n'importe quel sous-type dans la contrainte.

3. Utilisez any/interface{} comme tapez le champ et implémentez une méthode personnalisée pour vérifier et convertir la valeur attribuée dans la méthode :

type foo struct {
    val interface{}
}

func (f *foo) SetPi() {
    f.val = 3.14
}

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!