Goのアンダースコアはどんな意味なのでしょうか？

Question

コード見ていたら以下のような記述があったのですが、これはどのような意味なのでしょうか？

var _ Foo = &Bar{}

Answer 1

確認しましたが、コンパイルエラーになりました。そのような書き方はありません。
写し間違えてませんか？

golangでは複数の値を戻り値として受け取ることができます。

b, err := ioutil.ReadAll(con) // con読み取り
if err != nil{  // エラーハンドリング
  fmt.Println("エラーが発生しました。プログラムを終了します。エラーメッセージ:" + err)
  return
}
fmt.Println(b) // 出力

例えば、確実にエラーが出ない場合に、エラーハンドリングを省略したいことがあります。
ですが、golangでは宣言した変数を使わないとコンパイルエラーになりますよね？

b, err := ioutil.ReadAll(con) // !!!errを使ってないのでコンパイルエラー!!!
fmt.Println(b)

そのようなときに下のように書くことができます。

b, _ := ioutil.ReadAll(con) // con読み取り
fmt.Println(b) // 出力

更には、表示も一時的にさせたくないときに

b, _ := ioutil.ReadAll(con) // con読み取り
_ = b

のように、bを無理やり使用してコンパイルエラーを出さないようにすることも可能です。

つまりアンダースコアは、変数を受け取らない、何もしないという目的で使うものです。
質問したかったものはこれのことでしょうか。
ちなみにvar a = bとa := bは同じです。

追記

https://github.com/gin-gonic/gin/blob/master/gin.go
こちらから引用var _ IRouter = &RouterGroup{}

下の２つを見比べてください。

var str string = "あい"
var _ IRouter = &RouterGroup{}

_は受け取らないための変数名、IRouterは型名で有ることがわかるかと思います。
正確にはIRouterは同パッケージ別ファイル内で宣言されたインタフェースでした。
例えば

var str int = "いあ"

とすると型と値の不整合でコンパイルエラーになりますよね？

インターフェースでは、メソッドの実装が代入の要件になります。
つまり、RouterGroup構造体の型がIRouterインターフェースのメソッドを実装していればコンパイルでき、そうでなければコンパイルエラーなる。
それがvar _ IRouter = &RouterGroup{}の目的です。

また、このパッケージのソースを見た人がvar _ IRouter = &RouterGroup{}という一文を見れば、「RouterGroupは常にIRouterインターフェースを実装しているんだな」ということが一目瞭然です。

正直このソースを見るまでこんな書き方があるなんて思いつきもしませんでした。勉強になります。
今後使っていきたいテクニックですね

Comments

[yoppy0066]

https://github.com/gin-gonic/gin/blob/master/gin.go
こちらの84行目を見て疑問に思いました

[yoppy0066]

あ、すみません。戻り値が同じ型なのですかね
EngineはRouterGroupを継承しているから。。。ということなのでしょうか。。。

[intelf___]

追記する形で修正しておきます。

[yoppy0066]

ありがとうございました！理解できました！