Comment les génériques peuvent-ils améliorer la gestion des erreurs dans Go en utilisant l'un ou l'autre type ?

Gestion des erreurs avec un type générique de l'un ou l'autre dans Go

Dans Go 1.18, l'introduction des génériques offre la possibilité d'une gestion améliorée des erreurs. En créant un type « Soit [A,B] », il devient possible de représenter une valeur qui pourrait être soit du type A, soit du type B.

Cette approche diffère de l'idiome Go conventionnel qui consiste à renvoyer à la fois un type « normal ' et une valeur d'erreur, où une erreur nulle indique un retour réussi. Cependant, cela peut être problématique lorsque le comportement souhaité est de transmettre qu'une valeur est A ou B, plutôt que les deux.

Surmonter les limitations des méthodes d'interface

Tentatives de La définition d'une interface Soit avec des paramètres de type pour la méthode Switch a échoué en raison de la restriction selon laquelle les méthodes d'interface ne doivent avoir aucun paramètre de type. Pour contourner cela, une approche alternative consiste à introduire le concept d'optionnalité.

Optionnalité et l'un ou l'autre type

Un type facultatif peut être défini comme une interface qui a un Méthode get() qui renvoie soit une valeur et une erreur nulle, soit une erreur si aucune valeur n'est présente. Le type Soit peut alors être défini en termes du concept d'optionnalité :

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

En utilisant cette approche, le type Soit peut être implémenté sous forme de variantes Gauche et Droite, qui représentent la présence d'une valeur de type A ou B, respectivement.

type Left[A, B any] struct {
    data A
}

type Right[A, B any] struct {
    data B
}

Exemple concret

L'exemple suivant illustre le type Soit dans action :

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)
    }
}
...

Ce code capture et traite efficacement la valeur Soit, démontrant comment le concept d'optionnalité fournit un moyen flexible et expressif de gérer les erreurs ou de représenter des valeurs facultatives dans 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!