Pourquoi les méthodes d'interface Go ne peuvent-elles pas avoir de paramètres de type ?

Comprendre les paramètres de type de méthode d'interface dans Go

Dans les génériques Go, les méthodes d'interface ne sont pas autorisées à avoir des paramètres de type. Cette restriction découle de considérations de conception fondamentales décrites dans la proposition de paramètres de type.

Pourquoi les paramètres de type sont-ils interdits dans les interfaces ?

• Ambiguïté : Les paramètres de type dans les méthodes d'interface peuvent conduire à de multiples interprétations, impactant la compatibilité de l'implémentation et le code. exactitude.
• Performance : Autoriser les paramètres de type peut nécessiter une traversée approfondie de l'arborescence au moment de la compilation ou introduire une réflexion d'exécution gourmande en performances.
• Cohérence : Paramétrée les méthodes ne seraient pas en mesure d'implémenter les interfaces de manière cohérente, ce qui entraînerait une confusion et des risques potentiels. erreurs.

Implémentation d'abstractions génériques

Bien que les paramètres de type ne soient pas autorisés dans les méthodes d'interface, le langage propose une approche alternative. Vous pouvez déplacer le paramètre de type dans la définition du type d'interface elle-même, comme démontré ci-dessous :

type Reader[V Unmarshaler] interface {
    Read(bucket []byte, k ...[]byte) ([][]byte, error)
    ReadDoc(bucket []byte, factory func() (V, error), k ...[]byte) ([]V, error)
}

type Unmarshaler interface {
    UnmarshalKV(v []byte) error
}

Cette approche préserve l'abstraction générique souhaitée sans violer la restriction du paramètre de type de méthode d'interface.

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!