Goquiz 1
twitterで出したクイズのうちの1つが好評だったのと、自分としても面白いところだったので解説を書いておくことにしました。
問題
次のGo言語のコードを実行するとどうなるでしょうか?(正解は記事の一番下に書きます)
package main
import (
"fmt"
)
type X struct {
v *int
}
func main() {
var p *X = &X{}
fmt.Println(*p.v)
}
- https://play.golang.org/p/EGRcWB_GBN4 で実際に動かすことができます
選択肢
-
nil
と表示される build(compile) error
panic
簡潔な解説
var p *X = &X{}
と書いたとき、composite literal X{}
で指定されていないフィールドv
はゼロ値で初期化されますので、*int
型のゼロ値であるnil
が入っています。つまり、この行は次のコードと等価です。
var p *X = &X{
v: nil,
}
ここまでを前提として、次の行が問題です。*p.v
という式をみると、次のどちらを意味するのか曖昧に思えるのではないでしょうか。
-
p
をdereferenceしてから、v
というフィールドにアクセスする。つまり、(*p).v
と同じ意味。 -
p.v
を評価してから、そのあとdereferenceする。つまり*(p.v)
と同じ意味。
1.と解釈すると答えはnil
になりますが、正しい解釈は2.です。
ポインタ型*X
の変数を表す識別子p
に対してp.v
という式は(型X
に定義された)フィールドv
を表します(※)。その値は*int
型のゼロ値であるnil
でしたから、これをdereferenceするとnil pointer dereferenceとなりpanic
が起こります。
Go言語仕様書に興味のある人向けの解説
さて、*p.v
が以上のように解釈されることは私も以前に見たこと(ハマったこと)がありましたが、その理由は知りませんでした。なんとなくプログラミングでよくある「演算子の優先順位」がここでも定義されていて、*
よりも.
のほうが優先されるのかな、というように理解していました。同じような方は多いのではないでしょうか?
ところがこれは違うようだ、ということが最近わかりました。正しい説明をすると、そもそも*p
という式は、x.y
という式(セレクタ式、selector expressionといいます)の左側のパーツx
になる資格がないのです。言い換えると、上記の解釈1と解釈2に「曖昧性があるので別なルールを設けてどちらかに決めている」のではありません。そうではなく、解釈1はGo言語の仕様として認められないがゆえに、もともと曖昧さはなかったのです!
これを理解するためには、いくつかのEBNFによる定義式を仕様書から引用する必要があります。
PrimaryExpr =
Operand |
Conversion |
MethodExpr |
PrimaryExpr Selector |
PrimaryExpr Index |
PrimaryExpr Slice |
PrimaryExpr TypeAssertion |
PrimaryExpr Arguments .
Selector = "." identifier .
ここにはprimary expressionのありうる形が列挙されていて、そのうちの1つがselector expressionと呼ばれる形です。わかりやすく書き下すと次のようになります。
SelectorExpr = PrimaryExpr "." identifier .
たとえばx
がprimary expressionであれば、x.v
のような式はselector expressionと認められることになります。このselector expressionというのが、普段フィールドへのアクセスやメソッドへのアクセスに用いている式ということです。
ということは、*p.v
という式を(*p).v
と同じ意味に解釈できるためには、*p
という式がprimary expressionでなければなりません。(※なお話が前後しますが、式(*p)
はprimary Expressionです。)ところが、仕様書を読んでいくと*p
はprimary expressionではないことがわかるのです。それゆえに、*p.v
はselector expressionではないということが言えて、先ほどの「解釈1」が成り立たないことがわかります。
それでは*p
の正体を調べてみましょう。まず、p
は識別子(identifier)だということは既知としましょう。つぎに仕様書の記述を見てみます。
Operand = Literal | OperandName | "(" Expression ")" .
OperandName = identifier | QualifiedIdent .
identifierはOperandNameであり、OperandNameはOperandなので、pはOperandだとわかりました。さきほど
PrimaryExpr =
Operand |
Conversion |
MethodExpr |
PrimaryExpr Selector |
PrimaryExpr Index |
PrimaryExpr Slice |
PrimaryExpr TypeAssertion |
PrimaryExpr Arguments .
Selector = "." identifier .
とありましたから、Operandであるp
はPrimaryExpr(primary expression)でもあることがわかりました。
それでは*p
とは何なのでしょう?
Expression = UnaryExpr | Expression binary_op Expression .
UnaryExpr = PrimaryExpr | unary_op UnaryExpr .
unary_op = "+" | "-" | "!" | "^" | "*" | "&" | "<-" .
*
はunary_op(unary operator, 単項演算子)です。unary operator*
とprimary expressionp
を結合した式である*p
はprimary expressionになるのでしょうか?もう一度primary expressionの定義を見ます。
PrimaryExpr =
Operand |
Conversion |
MethodExpr |
PrimaryExpr Selector |
PrimaryExpr Index |
PrimaryExpr Slice |
PrimaryExpr TypeAssertion |
PrimaryExpr Arguments .
Selector = "." identifier .
primary expressionの可能な形はこれで尽くされています。式*p
はどれにも該当しません(たとえばOperandにも該当しません)から、primary expressionではないことがわかりました。よって*p.v
はselector expression(セレクタ式)ではありません。
更に興味のある方へ
Go言語の仕様書をじっくり和気あいあいと読んでいく読書会があります!
途中からの参加も歓迎とのことです!いかがでしょうか?
(※) これについては仕様書に以下の記述があります。
For a value x of type T or *T where T is not a pointer or interface type, x.f denotes the field or method at the shallowest depth in T where there is such an f. If there is not exactly one f with shallowest depth, the selector expression is illegal.
正解
(3) panic
Discussion