Comment les interfaces sont-elles implémentées dans Go ?
Lors de l'examen des interfaces dans Go, différentes perspectives peuvent conduire à des compréhensions apparemment opposées.
Représentation de schéma
Dans l'article « Lois de la réflexion », une valeur d'interface contient une paire (valeur, type). Par exemple, attribuer io.Reader à la variable r donne r = (tty, *os.File). Ici, tty est la valeur, tandis que *os.File représente le type de la valeur sous-jacente. Malgré la restriction de l'interface à la méthode Read, la valeur interne conserve toutes ses informations de type.
Dynamic Dispatch
À l'inverse, un autre article indique que l'itable pour un type implémente méthodes d'interface spécifiques. Dans le cas du type Binary implémentant Stringer, son itable inclut uniquement la méthode String. Cela implique que l'itable doit refléter le type statique de la valeur de l'interface, par opposition au type de la valeur sous-jacente.
Clarification
Ces deux perspectives se complètent. « Lois de la réflexion » examine les valeurs de l'interface vues à travers la réflexion, fournissant une représentation simplifiée. Le deuxième article se concentre sur le mécanisme de répartition dynamique qui sous-tend les interfaces, révélant l'implication de méthodes d'implémentation spécifiques.
La variable r contient en effet tty comme valeur et a le type statique io.Reader, qui est une interface wrapper donnant accès à la méthode Read. Cependant, la valeur sous-jacente tty conserve son type *os.File, y compris des méthodes supplémentaires au-delà de Read.
Dans Go, les interfaces sont implémentées via une répartition dynamique, où le runtime résout quelle implémentation de méthode appeler en fonction du concret type de la valeur enveloppée. L'itable stocke les détails d'implémentation pour chaque 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!