Comment fonctionnent les types contravariants dans les génériques Go 1.18 ?

Types contravariants dans les génériques Go 1.18

Dans Go 1.18, l'introduction des génériques a suscité un intérêt pour les types contravariants. Une question clé qui se pose est de savoir comment ils fonctionnent dans le contexte des génériques.

Comportement défavorable : types incompatibles

Considérez l'extrait de code suivant :

func Pipe[A, T1, T2 any](left func(A) T1, right func(T1) T2) func(A) T2 {
    return func(a A) T2 {
        return right(left(a))
    }
}

Lorsque vous essayez d'utiliser Pipe avec les fonctions suivantes :

func OpenFile(name string) *os.File { ... }
func ReadAll(rdr io.Reader) []byte { ... }

La compilation échoue car le compilateur traite T1 comme *os.File, ce qui n'est pas identique à io.Reader.

La cause profonde : la sémantique contravariante

Le problème découle de la nature des types contravariants. Dans ce cas, T1 devrait être un type plus spécifique que A, ce qui signifie que les fonctions qui acceptent T1 peuvent également accepter A. Cependant, les génériques Go ne prennent pas en charge les types de résultats covariants. Ainsi, les fonctions qui renvoient T1 ne peuvent pas renvoyer A, même si elles sont implicitement convertibles.

Résolution et conséquences

Il n'existe actuellement aucun moyen de modifier la signature de Pipe dans Passez à 1.18 pour permettre le comportement souhaité. Ceci n'est pas considéré comme un bug mais plutôt comme un choix de conception intentionnel.

Solution de contournement : conversion de type

Pour contourner cette limitation, on peut recourir à la conversion de type au moment de l'exécution :

func Pipe[A, T1, T2, T3 any](left func(A) T1, right func(T2) T3) func(A) T3 {
    return func(a A) T3 {
        return right(any(left(a)).(T2))
    }
}

Cependant, cette approche sacrifie la sécurité des types au moment de la compilation.

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!