nil の型はなにか？

Question

Go 言語の nil について疑問があります。

package main

import (
	"fmt"
	"reflect"
)

func main() {
	fmt.Println(nil)
	fmt.Println(reflect.TypeOf(nil))
}

が

<nil>
<nil>

となるのはなぜですか？ nil の型は nil なのですか？
私がよく分からないと感じているのは、Go の nil を C++ の nullptr と同じようなものだと思っていたのですが、C++ だと nullptr の型は std::nullptr_t なので、それでは一体 Go の nil はなんなんのだ？となってしまいました。

Answer 1

Goの言語仕様によるため、です。というのが簡潔な回答になりますが、少し補足します。

以下は ゼロ値(Zero value) が表示されています。

fmt.Println(reflect.TypeOf(nil))

Goのinterfaceはtypeとvalueで構成されます。
https://research.swtch.com/interfaces

interface値の型としての値がないため、ゼロ値としてnilが表示されています。nilは型ではありません。
https://golang.org/ref/spec#Predeclared_identifiers

Comments

[Paalon]

例えば、`(*float64)(nil)` の型は `*float64` ですが、`nil` の型は何なのですか？

[d_tutuz]

(*float64)(nil) は型が (*float64) でその値が nil ということです(ポインタのゼロ値はnilです)
https://play.golang.org/p/1yp5_e_GIT9

nil は「ない」ということを示していて、結局 fmt.Println(reflect.TypeOf(nil)) は型がない、という意味で nil です