A Tour of GoのExercise:Slices

Question

Go言語の勉強としてA Tour of Goを進めており、Exercise:Slicesに取り組んでいるところで疑問が出てきました。
こちらのExerciseの回答はこちらの通りのなっており、
これを見るとPicメソッドはint型の引数を2つ受け取らないといけないと思うのですが、実際には引数なしでPicを呼び出すと期待通りの結果が表示され、むしろ引数を渡して呼び出そうとするとエラーになってしまいます。
なぜこのPicメソッドを呼び出す際に引数を渡す必要がないのでしょうか？
ご回答よろしくお願いいたします。

Answer 1

結論としては、Show 関数の引数には関数を渡すためです。

---

https://qiita.com/rock619/items/f412d1f870a022c142d0#exercise-slices

にある以下の Show 関数がポイントです。

func main() {
    pic.Show(Pic)
}

Show 関数は実際には以下のようになっています。

func Show(f func(int, int) [][]uint8) {
	const (
		dx = 256
		dy = 256
	)
	data := f(dx, dy)
	m := image.NewNRGBA(image.Rect(0, 0, dx, dy))
	for y := 0; y < dy; y++ {
		for x := 0; x < dx; x++ {
			v := data[y][x]
			i := y*m.Stride + x*4
			m.Pix[i] = v
			m.Pix[i+1] = v
			m.Pix[i+2] = 255
			m.Pix[i+3] = 255
		}
	}
	ShowImage(m)
}

https://github.com/golang/tour/blob/master/pic/pic.go#L15-L33

この関数のシグネチャを見ると分かりますが、func(int, int) [][]uint8 となっています。
実際には Show を呼び出したときにはこの Show の中で引数として渡された値(関数型です)を実行しています。

data := f(dx, dy)

の部分です。よって、

int型の引数を2つ受け取らないといけない

ではなく関数を渡しているため OK ということです。

Comments

[jgvkmea]

なるほど、
pic.Show(Pic)
は、Picメソッドを呼び出した結果をShowメソッドに渡しているのではなく、
Picメソッド自体をShowメソッドに渡していて、Showメソッド内でPicメソッドを呼び出しているのですね！
とてもわかりやすく、かつ迅速なご回答ありがとうございます！！