go - Golang中的问题yacc:语法错误:意外的$ end

亲切的问候。

我正在golang中学习yacc，并创建了以下文件:

%{

package main

import (
    "fmt"
)

%}

%union{
    ex string
}

%token <ex> DB OTHER_DB

%%
query:  other
        |
        db
        ;

db:     DB
        {
            fmt.Printf("\tDB: %s\n", $1 )
        }
        ;

other:  OTHER_DB
        {
            fmt.Printf("\tOTHER_DB: %s\n", $1 )
        }
        ;
%%

type mlex struct {
    expr   string
    result int
}

func (f *mlex) Lex(lval *yySymType) int {
    yyErrorVerbose = true
    return 0
}

func (f *mlex) Error(s string) {
    fmt.Printf("syntax error: %s\n", s)
}

func Parse(expr string) int {
    m := &mlex{expr, 0}
    yyParse(m)
    return m.result
}

但是执行它时出现此错误:

语法错误:语法错误:意外的$ end，需要DB或OTHER_DB

我一直在使用以下代码测试此yacc文件:

package main

import (
    "fmt"
)

func main() {

    res := Parse("db")
    fmt.Println(res)
}

可能是什么？ yacc文件中还需要其他内容吗？

我正在尝试制作一个非常简单，功能齐全的示例，以使其更好地理解。

谢谢你的时间。

最佳答案

当您的解析器需要知道下一个输入符号(“ token ”)是什么时，它将调用yyLexer的Lex方法。您的实现不会尝试读取 token 。相反，它仅返回0:

func (f *mlex) Lex(lval *yySymType) int {
    yyErrorVerbose = true
    return 0
}

因此，从解析器的角度来看，无论您实际上提供了什么输入，都将为它提供空的输入流。然后，它尝试解析此空输入，但是您的语法不允许这样做。唯一有效的输入以 token DB或OTHER_DB开头，并且看不到其中任何一个。

因此，它会生成错误消息，并详细说明问题所在。 (解析器使用内部伪 token $end表示输入的结尾，以免使您感到困惑。)

关于go - Golang中的问题yacc:语法错误:意外的$ end，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/54779531/