【Go】引数にinterface

Question

interface型を満たしている構造体はどこから探すのかという疑問です。
その構造体をどこから探せばいいのでしょうか？

宜しくお願い致します。

Comments

[maisumakun]

> interface型を満たしている構造体はどこから探すのか

「だれが」「何のために」探す、という意味合いでしょうか？

[rzz]

ありがとうございます。

結果的にinterface型を満たしている構造体が、一番最初の引数に来るので
そのinterface型を満たしている構造体はどこから探してくるのか
ということです！

[melian]

Guru コマンドの implements モード(サブコマンド)で探し出すことができるかもしれません。

guru command - golang.org/x/tools/cmd/guru - Go Packages
https://pkg.go.dev/golang.org/x/tools/cmd/guru

[maisumakun]

引数は「必要だから渡す」ものであって、「探す」という意味がわかりません。

[rzz]

そうですね！ もちろん必要だから渡すのですが
例えばint型であれば3を渡すように、
今回の場合であればinterface型を渡す必要があると思います。
interface型 ＝ そのinterfaceを実装している型になると思うので、じゃあ実際に来る型は何？（例えば構造体型）とならないでしょうか。

[rzz]

要するに今回だと

1type MessageV1 interface {
2 Reset()
3 String() string
4 ProtoMessage()
5}
このinterface型を実装している型は何かということです。

Answer 1

具体的ハード的現場依存的都合ラップ用クラス詳細は、ハード依存の基本型に最終的には投げているとしても、その個別の違いに反応「してはならない」はず……。

「詳細につっこまずに済ませる技術体系がオブジェクト指向プログラミング」なので、それに反する（それでは理解と決断が出来ない）問題と解決は「技術体系外」。

例えば「現場の技術屋さんに聞いて全面的に合わせる」しかなさそう。それが実際は自分自身・同一人物でも、誰でも代われる設計にしないとじぶんがこまりそう？

Answer 2

このinterface型を実装している型は何かということです。

実装していれば何でもかまわないのです。極論、自分で型を実装しても構いません。

…というように「インターフェースだけ見て、実際の型を気にしない」ポリモーフィズムが、オブジェクト指向では重要な概念となります。

Comments

[rzz]

ありがとうございます。
インターフェースだけ見て、実際の型を気にしない
これだと思います。
ただ今回の場合だと、
func (s *Status) WithDetails(details ...proto.Message) (*Status, error) {}
とあるので、どうしてもこのメソッドを使うにはproto.Message型を実装している型を知る必要はありませんでしょうか？
intが来たら2がくる、構造体型であればその構造体型を渡すように、interface型でもそのinterfaceを実装しているなにかの型を明確にしないと先に進めないと思うのですがいかがでしょうか？

[maisumakun]

> interface型でもそのinterfaceを実装しているなにかの型を明確にしないと先に進めないと思う

どうしてそう思うのですか？

[rzz]

func (s *Status) WithDetails(details ...proto.Message) (*Status, error) {}
をそもそも使うには、引数で求められていることを用意しなくてはいけませんよね？？
そうなるとなんの構造体型がくるのかインターフェースで求められているように用意しなくてはいけないと思いました。

[maisumakun]

> そうなるとなんの構造体型がくるのかインターフェースで求められているように用意しなくてはいけないと思いました。

だから、それは「インターフェースを満たしていれば何でもかまわない」のです。具体的な型を考える必要がありません。

[rzz]

性質はそうなのかもしれませんが、
インターフェースを満たしていれば何でもかまわないということなのであれば今回の場合
WithDetails(details ...proto.Message(details ...proto.Message）
であれば持たせる引数は具体的にどんなのが当てはまりますか？