Warum den leeren Bezeichner in Gos Schnittstellenbehauptungen zur Kompilierungszeit verwenden?

Zweck des leeren Bezeichners bei der Variablenzuweisung

Wenn Sie auf Variablenzuweisungen wie die folgenden stoßen, fragen Sie sich vielleicht, warum ein leerer Bezeichner verwendet wird:

var _ PropertyLoadSaver = (*Doubler)(nil)

Dieser leere Bezeichner dient einem entscheidenden Zweck bei der Durchführung von Assertionen zur Kompilierungszeit und stellt sicher, dass ein bestimmter Typ die Anforderungen erfüllt Anforderungen einer Schnittstelle.

In diesem Beispiel wird der Typ *Doubler gegen die PropertyLoadSaver-Schnittstelle geprüft. Wenn *Doubler nicht alle in der Schnittstelle definierten erforderlichen Methoden implementiert, schlägt die Kompilierung mit der Fehlermeldung fehl, dass *Doubler eine bestimmte Methode fehlt.

Der Code weist einer Variablen vom Typ PropertyLoadSaver einen untypisierten Nullwert zu mit (*Doubler)(nil). Diese Zuweisung ist nur gültig, wenn *Doubler die PropertyLoadSaver-Schnittstelle implementiert. Ist dies nicht der Fall, endet die Kompilierung mit einer Fehlermeldung ähnlich der folgenden:

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

Der leere Bezeichner _ wird verwendet, da auf die Variable nirgendwo anders im Paket verwiesen werden muss. Ein alternativer Ansatz mit einem nicht leeren Bezeichner ist ebenfalls möglich:

var assertStarDoublerIsPropertyLoadSaver PropertyLoadSaver = (*Doubler)(nil)

Das obige ist der detaillierte Inhalt vonWarum den leeren Bezeichner in Gos Schnittstellenbehauptungen zur Kompilierungszeit verwenden?. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!