仕様：変数割り当ての空白の識別子の目的は何ですか？

Question

私はこの変数宣言var _ PropertyLoadSaver = (*Doubler)(nil)を見つけました。その目的は何か不思議です。それは何も初期化していないように見えるし、空の識別子を使用するので、あなたはそれにアクセスすることはできませんね。

Answer 1

*DoublerタイプがPropertyLoadSaverインターフェイスを満たすコンパイルアサーションです。

*Doublerタイプがインタフェースをsatisifyていない場合は、コンパイルのようなエラーで終了します：それはどのように動作するか

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

がここにあります。コードvar _ PropertyLoadSaverは、タイプがPropertyLoadSaverの名前のない変数を宣言します。式(*Doubler)(nil)は、タイプ*Doublerの値に評価されます。 *Doublerは、がPropertyLoadSaverインターフェイスを実装する場合にのみタイプProperytLoadSaverの変数に割り当てることができます。

ブランクの識別子_が使用されます。これは、変数をパッケージの別の場所で参照する必要がないためです。

var assertStarDoublerIsPropertyLoadSaver PropertyLoadSaver = (*Doubler)(nil)