はじめに
皆さんはgoパッケージを使ったことはありますか?私は、Go!Go!言いながら、恥ずかしながら、あまりまともに使ったことがありませんでした。最近は、仕事でもAST(抽象構文木)を弄り倒すことがあるので、今回はgo
パッケージに触れたいと思います。
ここでは、簡単な四則演算などを評価し、結果を返すREPLを作ってみます。一見難しそうですが、ほとんどgo
パッケージの機能を使うので、非常に簡単です。
ASTへパースする
まずは入力された文字列をパースし、ASTを生成してみます。ここでは、式の評価なので式単位でパースします。パースには、parser.ParseExpr
を用います。
たとえば、以下のように使用できます。
expr, err := parser.ParseExpr("1+1")
if err != nil {
panic(err)
}
ast.Inspect(expr, func(n ast.Node) bool {
if n != nil {
fmt.Printf("%[1]v(%[1]T)\n", n)
}
return true
})
なお、ast.Inspect
はASTのノードをトラバースする関数です。この場合、1+1
をパースすると、以下のようなASTが取得できます。
*ast.BinaryExpr (+)
├── *ast.BasicLit (1)
└── *ast.BasicLit (1)
このASTを評価することで、式の評価を実現します。さて、具体的に評価とはどうすれば良いのでしょうか?
1+1
の評価
上記の例でみたとおり、2項演算を行う式は、ast.BinaryExpr
で表されます。まずは2項演算式である1+1
を評価してみましょう。
func eval1pls1(expr *ast.BinaryExpr) (int64, error) {
xLit, ok := expr.X.(*ast.BasicLit)
if !ok {
return 0, errors.New("left operand is not BasicLit")
}
yLit, ok := expr.Y.(*ast.BasicLit)
if !ok {
return 0, errors.New("right operand is not BasicLit")
}
if expr.Op != token.ADD {
return 0, errors.New("operator is not +")
}
x, err := strconv.ParseInt(xLit.Value, 10, 64)
if err != nil {
return 0, err
}
y, err := strconv.ParseInt(yLit.Value, 10, 64)
if err != nil {
return 0, err
}
return x + y, nil
}
func main() {
expr, err := parser.ParseExpr("1+1")
if err != nil {
panic(err)
}
if be, ok := expr.(*ast.BinaryExpr); ok {
if v, err := eval1pls1(be); err == nil {
fmt.Println(v)
} else {
fmt.Println("Error:", err)
}
}
}
parser.Parse
が返すast.Expr
は式であることを表すインタフェースであるため、具体的に「何の」式なのかという値は型アサーション(まはた型スイッチ)しないと手にはいりません。そのため、今回必要なast.BinaryExpr
とその右辺と左辺に設定されているast.BasicLit
を取得するために、各々型アサーションを行っています。
ast.BasicLit
は基本型のリテラルを表す型で、1
や"hoge"
などはこの型で表されます。
一方で、true
とfalse
については、識別子であるためast.BasicLit
ではなく、ast.Ident
として表されるので注意してください。ちなみに、true
とfalse
は識別子として使用できます。
BasicLit.Value
はそのリテラルを文字列で表したもので、 42, 0x7f, 3.14, 1e-9, 2.4i, 'a', "foo"
などです。なお、文字列には"
などで括られているという点に注意してください。これらを除去するには、strconv.Unquote
が使えます。
2項演算式とリテラルの評価
さて、1+1
は評価できるようになったものの、ここで作りたいのは2項演算式の評価です。そのため、もう少し汎用化が必要そうです。オペランドが数値であるという点とオペレータが+
であるという点をどうにか汎用化しないといけません。
そこで、2項演算子を簡単に評価するために、go/constant
パッケージにあるBinaryOp
関数を使いましょう。
BinaryOp
関数は以下のようなシグニチャを持っています。
func BinaryOp(x Value, op token.Token, y Value) Value
op
はtoken.ADD
などの演算子のトークンを表すもので、これはast.BinaryExpr
のOp
フィールドから取得できそうです。x
とy
に関しては、Value
フィールドからconstant.MakeFromLiteral
を使って取得できます。
constant.MakeFromLiteral
は以下のような定義になっています。
func MakeFromLiteral(lit string, tok token.Token, zero uint) Value
第1引数はast.BasicLit
のValue
フィールドを第2引数をast.BasicLit
のKind
フィールドを渡せば良さそうです。なお、第3引数は常に0
を渡す必要があるようです。
まとめると、上記のコードは以下のように変更することができます。
func evalBinaryExpr(expr *ast.BinaryExpr) (constant.Value, error) {
xLit, ok := expr.X.(*ast.BasicLit)
if !ok {
return constant.MakeUnknown(), errors.New("left operand is not BasicLit")
}
yLit, ok := expr.Y.(*ast.BasicLit)
if !ok {
return constant.MakeUnknown(), errors.New("right operand is not BasicLit")
}
x := evalBasicLit(xLit)
y := evalBasicLit(yLit)
return constant.BinaryOp(x, expr.Op, y), nil
}
func evalBasicLit(expr *ast.BasicLit) constant.Value {
return constant.MakeFromLiteral(expr.Value, expr.Kind, 0)
}
func main() {
expr, err := parser.ParseExpr("1+1")
if err != nil {
panic(err)
}
if be, ok := expr.(*ast.BinaryExpr); ok {
if v, err := evalBinaryExpr(be); err == nil {
fmt.Println(v)
} else {
fmt.Println("Error:", err)
}
}
}
なお、2項演算式を評価する関数をevalBinaryExpr
とし、リテラルの評価をする関数をevalBasicLit
としました。1-1
が実行できるかチェックしてみましょう。また、"hoge"+"hoge"
などもちゃんと動くことが分かると思います。
constant.MakeUnknown
関数は、エラー時に使われる値を作る関数です。演算が失敗した場合にこの値になるため、ここではエラーが発生した際に返しています。なお、戻り値をconstant.Value
にしている点が重要で、後述のeval
関数を作る際に効果が出ます。
式の評価
2項演算式を評価する関数を作りました。しかし、本当にやりたいのは式の評価です。式には-1
などの単項演算式もありますし、1
などのリテラル、(1+1)*2
などの括弧付きの式もあります。もちろん、Goの文法には関数呼び出しとかもありますが、ここでは四則演算などができれば十分でしょう。
どういう種類の式なのかは、ast.Expr
を具体的な型に変換することで取得することができ、その種類によって処理を分けてやれば良さそうです。
上記の2項演算式だけをやる関数を少しだけ汎用化してみましょう。
まずは式(ast.Expr
)を評価する関数を作りましょう。
func evalExpr(expr ast.Expr) (v constant.Value, rerr error) {
defer func() {
if r := recover(); r != nil {
v, rerr = constant.MakeUnknown(), fmt.Errorf("%v", r)
}
}()
switch e := expr.(type) {
case *ast.BinaryExpr:
return evalBinaryExpr(e)
case *ast.BasicLit:
return constant.MakeFromLiteral(e.Value, e.Kind, 0), nil
}
return constant.MakeUnknown(), errors.New("unkown node")
}
evalExpr
関数では、ast.Expr
を受取り、型によって処理を分岐しています。
ここでは、2項演算式とリテラルだけ処理ができるようになっています。
defer
でrecover
しているのは、constant
パッケージのBinaryOp
などが型が合わなかった場合などに、エラーを返さず、panic
を起こすためです。
せっかくなので、evalBinaryExpr
関数で呼び出していたevalBasicLit
もevalExpr
におまかせしましょう。
func evalBinaryExpr(expr *ast.BinaryExpr) (constant.Value, error) {
x, err := evalExpr(expr.X)
if err != nil {
return constant.MakeUnknown(), err
}
y, err := evalExpr(expr.Y)
if err != nil {
return constant.MakeUnknown(), err
}
return constant.BinaryOp(x, expr.Op, y), nil
}
これでだいぶスッキリしてきました。あとはevalExpr
に処理できる型をどんどん追加していけば良さそうです。必要そうなものを追加していくと、evalExpr
は以下のようになりました。
func evalExpr(expr ast.Expr) (v constant.Value, rerr error) {
defer func() {
if r := recover(); r != nil {
v, rerr = constant.MakeUnknown(), fmt.Errorf("%v", r)
}
}()
switch e := expr.(type) {
case *ast.ParenExpr:
return evalExpr(e.X)
case *ast.BinaryExpr:
return evalBinaryExpr(e)
case *ast.UnaryExpr:
return evalUnaryExpr(e)
case *ast.BasicLit:
return constant.MakeFromLiteral(e.Value, e.Kind, 0), nil
case *ast.Ident:
return evalIdent(e)
}
return constant.MakeUnknown(), errors.New("unkown node")
}
ast.ParenExpr
は、()
で括られた式で、単純に中の式(ParenExpr.X
)を評価してやれば良いでしょう。
ast.UnaryExpr
は、単項演算子式を表す型で、ast.BinaryExpr
と同様にevalUnaryExpr
関数を作り、処理してやります。
func evalUnaryExpr(expr *ast.UnaryExpr) (constant.Value, error) {
x, err := evalExpr(expr.X)
if err != nil {
return constant.MakeUnknown(), err
}
return constant.UnaryOp(expr.Op, x, 0), nil
}
四則演算には関係ないですが、せっかくなのでtrue
やfalse
も扱えるようにしましょう。true
やfalse
が来た場合に、ast.Ident
として処理する必要があるため、evalIdent
を作ります。
func evalIdent(expr *ast.Ident) (constant.Value, error) {
switch {
case expr.Name == "true":
return constant.MakeBool(true), nil
case expr.Name == "false":
return constant.MakeBool(false), nil
}
return constant.MakeUnknown(), errors.New("unkown ident")
}
true
やfalse
は名前がtrue
とfalse
の識別子として認識されるため、上記のように処理してやれば十分です。
さて、これで完成で良さそうですが、true
とfalse
を扱えるようにしたことで一つ問題があります。constant.BinaryOp
では&&
や>=
などの関係演算子は扱えません。代わりにconstant.Compare
を使ってやる必要があります。そのため、evalBinaryExpr
関数は以下のように修正する必要があります。
func evalBinaryExpr(expr *ast.BinaryExpr) (constant.Value, error) {
x, err := evalExpr(expr.X)
if err != nil {
return constant.MakeUnknown(), err
}
y, err := evalExpr(expr.Y)
if err != nil {
return constant.MakeUnknown(), err
}
switch expr.Op {
case token.EQL, token.NEQ, token.LSS, token.LEQ, token.GTR, token.GEQ:
return constant.MakeBool(constant.Compare(x, expr.Op, y)), nil
}
return constant.BinaryOp(x, expr.Op, y), nil
}
これで、式を評価できるevalExpr
ができました。最後にこれをラップしてeval
関数を作り扱いやすくしましょう。
func eval(e string) (string, error) {
expr, err := parser.ParseExpr(e)
if err != nil {
return "", err
}
v, err := evalExpr(expr)
if err != nil {
return "", err
}
return v.String(), nil
}
REPLを作る
式を評価する関数を作れたので、次はREPLを作ります。ここで作るREPLは式の入力を受付け、式が入力されたらそれを評価して表示するというものにします。
標準入力(os.Stdin
)からbufio.Scanner
を使って1行ずつ読み取るコードを書きましょう。ここではbye
と入力すればREPLを抜けれるようにします。
func repl(r io.Reader) {
s := bufio.NewScanner(r)
for {
fmt.Print(">")
if !s.Scan() {
break
}
l := s.Text()
switch {
case l == "bye":
return
default:
r, err := eval(l)
if err != nil {
fmt.Println("Error:", err)
continue
}
fmt.Println(r)
}
}
if err := s.Err(); err != nil {
fmt.Println("Error:", err)
}
}
うまくできましたね。ここまで作ったコードをまとめて載せておきます。
package main
import (
"bufio"
"errors"
"fmt"
"go/ast"
"go/constant"
"go/parser"
"go/token"
"io"
"os"
)
func eval(e string) (string, error) {
expr, err := parser.ParseExpr(e)
if err != nil {
return "", err
}
v, err := evalExpr(expr)
if err != nil {
return "", err
}
return v.String(), nil
}
func evalExpr(expr ast.Expr) (v constant.Value, rerr error) {
defer func() {
if r := recover(); r != nil {
v, rerr = constant.MakeUnknown(), fmt.Errorf("%v", r)
}
}()
switch e := expr.(type) {
case *ast.ParenExpr:
return evalExpr(e.X)
case *ast.BinaryExpr:
return evalBinaryExpr(e)
case *ast.UnaryExpr:
return evalUnaryExpr(e)
case *ast.BasicLit:
return constant.MakeFromLiteral(e.Value, e.Kind, 0), nil
case *ast.Ident:
return evalIdent(e)
}
return constant.MakeUnknown(), errors.New("unkown node")
}
func evalBinaryExpr(expr *ast.BinaryExpr) (constant.Value, error) {
x, err := evalExpr(expr.X)
if err != nil {
return constant.MakeUnknown(), err
}
y, err := evalExpr(expr.Y)
if err != nil {
return constant.MakeUnknown(), err
}
switch expr.Op {
case token.EQL, token.NEQ, token.LSS, token.LEQ, token.GTR, token.GEQ:
return constant.MakeBool(constant.Compare(x, expr.Op, y)), nil
}
return constant.BinaryOp(x, expr.Op, y), nil
}
func evalUnaryExpr(expr *ast.UnaryExpr) (constant.Value, error) {
x, err := evalExpr(expr.X)
if err != nil {
return constant.MakeUnknown(), err
}
return constant.UnaryOp(expr.Op, x, 0), nil
}
func evalIdent(expr *ast.Ident) (constant.Value, error) {
switch {
case expr.Name == "true":
return constant.MakeBool(true), nil
case expr.Name == "false":
return constant.MakeBool(false), nil
}
return constant.MakeUnknown(), errors.New("unkown ident")
}
func repl(r io.Reader) {
s := bufio.NewScanner(r)
for {
fmt.Print(">")
if !s.Scan() {
break
}
l := s.Text()
switch {
case l == "bye":
return
default:
r, err := eval(l)
if err != nil {
fmt.Println("Error:", err)
continue
}
fmt.Println(r)
}
}
if err := s.Err(); err != nil {
fmt.Println("Error:", err)
}
}
func main() {
repl(os.Stdin)
}
まとめ
120行で足らずで結構高性能な式の評価を行うREPLができました。
ちなみに、Goでは複素数が使えるので、今回作ったREPLは複素数も扱えます。
eval.Expr
に変数(ast.Ident
)や関数(ast.CallExpr
)を評価する処理を追加してやれば、もっと高性能なものが作れます。
それにしても、go
パッケージを使うと案外簡単に作れますね。すばらしいですね。
さて、これが実際の業務で使えるんだろうかと思ってる方もいるかもしれませんが、それは使いようだと思いますので、ぜひ用途を考えてみて下さい。