Go のコンパイラはコンパイル時にインターフェイスの準拠をどのように確認しますか?

Golang インターフェイスのコンプライアンス コンパイル型チェック

Go では、コンパイラーは、型がインターフェイスのパブリック関数を実装していることを確認します。これはコンパイル時の型チェックとして知られています。 camlistore のコード例は、この概念を示しています。

var (
  _ blobref.StreamingFetcher = (*CachingFetcher)(nil)
  _ blobref.SeekFetcher      = (*CachingFetcher)(nil)
  _ blobref.StreamingFetcher = (*DiskCache)(nil)
  _ blobref.SeekFetcher      = (*DiskCache)(nil)
)

接頭辞 _ は、変数が作成されていないことを示します。代わりに、ステートメントは、名前付き型が対応するインターフェイスを実装することを指定するために使用されます。

右側 (RHS) 部分は、変換構文 (*T)(nil) を使用します。この構文は、型付きの nil 値を作成します。 nil 値は、値が存在しないことを表す特別な値です。型付き nil 値は、特定の型を持つ nil 値です。

この場合、(*T)(nil) は型 *T を持つ nil 値を作成します。これは、ポインター変数を宣言して nil に代入することと同じです。 nil 値を使用して、同じ型のポインターに割り当てることができます。

たとえば、次のコードは、StreamingFetcher 型のポインター変数 f を宣言します。

var f blobref.StreamingFetcher

次のコード次に、 *CachingFetcher 型の nil 値を f:

f = (*CachingFetcher)(nil)

に割り当てます。CachingFetcher 型は StreamingFetcher インターフェイスを実装しているため、この割り当ては有効です。

以上がGo のコンパイラはコンパイル時にインターフェイスの準拠をどのように確認しますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。