Pourquoi utiliser l'identifiant vide dans les assertions de l'interface au moment de la compilation de Go ?

Objectif de l'identifiant vide dans l'affectation de variable

Lorsque vous rencontrez des affectations de variable comme celles-ci, vous vous demandez peut-être pourquoi un identifiant vide est utilisé :

var _ PropertyLoadSaver = (*Doubler)(nil)

Cet identifiant vide joue un rôle crucial dans l'exécution des assertions au moment de la compilation, garantissant qu'un type spécifique satisfait aux exigences d'un interface.

Dans cet exemple, le type *Doubler est vérifié par rapport à l'interface PropertyLoadSaver. Si *Doubler n'implémente pas toutes les méthodes nécessaires définies dans l'interface, la compilation échouera avec une erreur indiquant qu'il manque une méthode spécifique à *Doubler.

Le code attribue une valeur nulle non typée à une variable de type PropertyLoadSaver en utilisant (*Doubler)(nil). Cette affectation n'est valide que si *Doubler implémente l'interface PropertyLoadSaver. Si ce n'est pas le cas, la compilation se terminera par un message d'erreur similaire à :

prog.go:21: cannot use (*Doubler)(nil) (type *Doubler) as type PropertyLoadSaver in assignment: *Doubler does not implement PropertyLoadSaver (missing Save method)

L'identifiant vide _ est utilisé car la variable n'a pas besoin d'être référencée ailleurs dans le package. Une approche alternative utilisant un identifiant non vide est également possible :

var assertStarDoublerIsPropertyLoadSaver PropertyLoadSaver = (*Doubler)(nil)

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!