Goでinterface型の返り値に、interfaceを満たすstructを指定できない理由について

Question

下記のプログラムがエラーになる理由を知りたいと思っています。
（Go Playground => https://play.golang.org/p/6vEfSxyiIy8）

package main

type InterfaceA interface {
	Child() InterfaceA
}

type StructA struct {
	child *StructA
}

func (s *StructA) Child() *StructA {
	return s.child
}

func main() {
	var _ InterfaceA = &StructA{}
}

エラー内容はこちらです。

./prog.go:16:6: cannot use &StructA literal (type *StructA) as type InterfaceA in assignment:
*StructA does not implement InterfaceA (wrong type for Child method)
have Child() *StructA
want Child() InterfaceA

*StructAのChild()関数の戻り値型を InterfaceA に変更すれば動くということは分かっていますが、
なぜ戻り値型が *StructA の場合にエラーとなる仕様なのか、背景を知りたいと思っています。

よろしくお願い致します。

Answer 1

インターフェースの定義に書くサポートメソッドは

• メソッド名
• 引数の数・型
• 返値の数・型

以上の全てが一致して初めてそのメソッドをサポートしてる扱いになるといのが原則です。
受け渡しされるものが同じ型かどうかは関係ありません。

----追記----

挙動自体は把握されてるとのことなので
あとからこの質問を参照する人のために補足だけ追記しておきます。

あくまで「InterfaceA」と「*StructA」は異なる値をもつ型です。
（前者は値と型を値として格納されており、後者は値のみです）
ある構造体をあるインターフェースの値に代入する時、互換がある場合は
暗黙（自動）で型変換されるという機能があるだけです。

仮に例示のメソッドの返値の型が「InterfaceA」と「*StructA」のどちらを記述しても
インターフェースとしての互換性があると判定できるようになっていたとしても思い当たるようなメリットがありません。

その判定を行うためには「あくまで異なる型」を一度互換がとれていると仮定して
互換が取れているのかを確認する必要が出てきます。

これではインターフェース型と非インターフェース型の互換性チェックがむやみに複雑になるし、
あとから定義を見直したときにも互換が取れているのかが読み取りにくくなります。

なのでインターフェースの互換チェックではメソッドのシグネチャ（メソッド名や入出力パラメータの数や型）が合致するかどうかというシンプルなルールだけで判定されます。

Comments

[退会済みユーザー]

ご回答ありがとうございます。
ただ、今回の質問は、interfaceを戻り値型に指定した場合に、そのinterfaceを満たすstructが戻り値型に指定できない仕様の背景について知りたいというものでして、挙動については理解しております。

[nobonobo]

満たさないです。原則のところをお読みください

[退会済みユーザー]

重ねてのご回答ありがとうございます。

先程も記載させて頂きましたが、その背景を知りたいという質問でして、満たしていないという点については理解しております。

背景の部分についてご回答いただけない場合は、以降の返信は控えさせて頂きます。

[nobonobo]

InterfaceAと*StructAは同じ型ではないからインターフェースとの互換条件を満たさないのであって、結果として違う型でかつ互換も無いものを代入しようとしているので当然としか言えないですね。背景をお探しになってもインターフェースとダックタイプをそういう風にした以上の情報はおそらく無いと思います。