Comment pouvons-nous implémenter l'un ou l'autre type dans Go, compte tenu des limites des génériques dans les méthodes d'interface ?

Mise en œuvre de l'un ou l'autre type dans Go : naviguer dans les limites des génériques

Le problème et l'objectif

Les génériques étant désormais un Dans le cadre de Go 1.18, de nombreux développeurs ont pour objectif de créer des types qui représentent avec précision des concepts complexes. Un cas classique est le type « Soit [A, B] », qui exprime la possibilité qu'une valeur soit l'un des deux types distincts, A ou B.

Obstacles à la définition de l'interface

Lors de la définition d'une interface pour un type « Soit », un obstacle apparaît en raison de la limitation du langage consistant à ne pas autoriser les paramètres de type dans les méthodes d'interface. Cette restriction nous empêche d'exprimer la méthode 'Switch', qui renvoie différents types en fonction de la variante de la valeur.

Une implémentation créative

Pour surmonter ce problème, on pourrait s'inspirer des langages de programmation fonctionnels et implémenter un type « facultatif » qui encapsule la possibilité de représenter soit une valeur spécifique, soit une absence. Sur cette base, nous pouvons définir le type « Soit » :

type Either[A, B any] interface {
    is_left() bool
    is_right() bool
    find_left() Optional[A]
    find_right() Optional[B]
}

Au lieu de s'appuyer sur une méthode « Switch », cette approche exploite les méthodes « is_left » et « is_right » pour déterminer le type du valeur contenue. Les méthodes 'find_left' et 'find_right' fournissent ensuite une valeur 'Facultative' pour le type correspondant.

Détails de mise en œuvre et utilisation

Dans les champs 'Left' et ' Les bons types concrets implémentant « Soit », nous gérons la charge utile réelle et fournissons les indicateurs booléens nécessaires. Les fonctions « gauche » et « droite » agissent comme des constructeurs, simplifiant l'instanciation.

Un exemple d'utilisation montre comment travailler avec le type « Soit » :

func main() {
    var e1 Either[int, string] = left[int, string](4143)
    var e2 Either[int, string] = right[int, string]("G4143")

    if e1.is_left() {
        if l, err := e1.find_left().get(); err == nil {
            fmt.Printf("The int is: %d\n", l)
        } else {
            fmt.Fprintln(os.Stderr, err)
        }
    }
}

Conclusion

Bien que les limitations génériques de Go posent des défis, il est possible de les contourner et de créer des abstractions puissantes comme la Tapez « l’un ou l’autre ». En tirant parti de « Facultatif » et en implémentant une interface personnalisée avec des méthodes d'assistance, les développeurs peuvent obtenir la flexibilité et l'expressivité qu'ils recherchent dans leur code Go.

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!