Dans le langage GO, la structure implémente-t-elle une interface? L'implémentation de l'interface sera-t-elle vérifiée dans différents environnements de code?

Le mécanisme de mise en œuvre implicite des interfaces de langage GO est souvent déroutant. Cet article explorera en profondeur la relation entre les structures et les interfaces dans le langage Go, ainsi que le mécanisme d'inspection du compilateur pour l'implémentation d'interface dans différents environnements de code.

Question principale: comment déterminer si la structure implémente une interface dans le langage GO? Quand le compilateur vérifie-t-il?

De nombreux développeurs croient à tort qu'il est nécessaire de déclarer explicitement une structure qui implémente une interface, par exemple: type Apple struct implements Fruit { ... } Ceci est mal dans Go. La mise en œuvre de l'interface du langage Go est implicite . Tant qu'un type contient toutes les méthodes définies par l'interface, il implémente automatiquement l'interface sans aucune déclaration explicite.

Analysons le code suivant:

Exemple 1: fonction main1

 Type d'interface de fruits {
    GetName () String
}

Tapez Apple Struct {
    chaîne de noms
}

func (une pomme) getName () String {
    Retour A.Nom
}

func main1 () {
    Apple: = Apple {nom: "Apple"}
    fmt.println (Apple.getName ()) // uniquement des méthodes d'appel, aucune interface n'est impliquée}

Dans cet exemple, la fonction main1 appelle directement getname() de apple . Bien que apple implémente l'interface fruit , la fonction elle-même n'utilise pas fruit . Par conséquent, le compilateur n'effectuera pas de vérifications d'implémentation d'interface dans la fonction main1 .

Exemple 2: fonction main

 func main () {
    Var f Fruit
    Apple: = Apple {nom: "Apple"}
    F = Affectation d'Apple // Interface, déclencheur d'interface Vérifier FMT.println (f.getName ())
}

main attribue apple à la variable f du type d'interface fruit . Dans cette opération d'affectation, le compilateur vérifie avec force si apple implémente toutes les méthodes de l'interface fruit . S'il n'est pas implémenté, la compilation rapportera une erreur.

Contrôle du compilateur CHIRMING:

Le compilateur GO Language adopte une politique de vérification à la demande . Les vérifications des implémentations d'interface ne seront déclenchées que lorsque les types d'interface sont réellement utilisés dans le code (par exemple, l'attribution d'interface, le passage des paramètres d'interface, l'assertion de type, etc.). Si un type implémente une interface mais n'est jamais utilisé comme type d'interface dans le code, le compilateur ne rapportera pas d'erreur.

en conclusion:

1. Implémentation implicite: l'implémentation de l'interface du langage GO est implicite et ne nécessite pas de déclaration explicite.
2. Vérification à la demande: le compilateur effectue uniquement des vérifications de l'implémentation de l'interface lorsque le code utilise le type d'interface.
3. Exemple 1: La fonction main1 ne déclenche pas la vérification de l'interface car fruit n'est pas utilisé.
4. Exemple 2: main déclenche la vérification de l'interface car l'attribution de l'interface est effectuée.

Par conséquent, la structure apple implémente l'interface fruit , mais si le compilateur vérifie dépend de la question de savoir si la structure est utilisée dans le code comme type d'interface. Comprendre cela est essentiel pour écrire un code GO efficace et correct.

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!