空港ロボット

メソッドの集まりとしてのインターフェース

最も単純な形では、インターフェース型はメソッドのシグネチャの集まりです。 次は、AddとValueという2つのメソッドを含むインターフェース定義の例です。

type Counter interface {
    Add(increment int)
    Value() int
}

incrementのような仮引数の名前は、インターフェース定義から省略できますが、書いておくと読みやすくなることがよくあります。

Goのインターフェース名には、InterfaceやIという語は含めません。 その代わり、ReaderやStringerのように、erで終わることがよくあります。

インターフェースを実装する

インターフェースのメソッドを定義している型は、自動的に、暗黙のうちにそのインターフェースを「実装」します。 Goにはimplementsというキーワードはありません。

次の型は、上で見たCounterインターフェースを実装しています。

type Stats struct {
    value int
    // ...
}

func (s Stats) Add(v int) {
    s.value += v
}

func (s Stats) Value() int {
    return s.value
}

func (s Stats) SomeOtherMethod() {
    // The type can have additional methods not mentioned in the interface.
}

インターフェースを実装するうえでは、メソッドが値レシーバーを持つかポインターレシーバーを持つかは関係ありません。 （これらについて自信がなければ、メソッドのコンセプトをもう一度見てみましょう。）

インターフェース型の値には、それらのメソッドを実装している任意の値を入れることができます。 [^1]

つまりStatsは、Counterインターフェースを期待するすべての場所で使えるようになりました。

func SetUpAnalytics(counter Counter) {
    // ...
}

stats := Stats{}
SetUpAnalytics(stats)
// works because Stats implements Counter

インターフェースは暗黙のうちに実装されるので、1つの型が複数のインターフェースを簡単に実装できます。 必要なメソッドがすべて定義されていればよいのです。

空のインターフェース

Goには、とても特別なインターフェース型が1つあります。メソッドを1つも持たない空のインターフェース型です。 空のインターフェースはinterface{}のように書きます。 anyはinterface{}のエイリアスで、よりよく使われます。

空のインターフェースにはメソッドがないので、どの型も暗黙のうちにこれを実装しています。 これは、あらゆる値を汎用的に受け取る関数を定義するのに役立ちます。 その場合、関数の仮引数に空のインターフェース型を使います。