登录
首页 >  Golang >  Go问答

goyacc: 没有 `%param` 的 yacc 解析器上下文

来源:stackoverflow

时间:2024-03-23 20:03:30 302浏览 收藏

在 goyacc 中,没有传统 yacc 解析器上下文模拟 %param 指令。本文探讨了在 goyacc 中获取解析器上下文的惯用方法。作者提出了几个可能的解决方案,包括修改 $$ParserImpl 结构或使用自定义词法分析器实现。最终,作者通过向 goyacc 添加 %param 指令来实现自己的解决方案,该指令允许将字段添加到 $$ParserImpl 结构中。

问题内容

goyacc 中为 yacc 解析器获取某种形式的上下文的最惯用方法是什么,即模拟传统 %param 命令?

我需要解析我的 .parse 函数的一些上下文(在本例中包括例如构建其解析树的位置)。

声明了 goyacc .parse 函数

func ($$rcvr *$$ParserImpl) Parse($$lex $$Lexer) int {

我想到的事情:

  • $$parserimpl 无法通过 .y 文件进行更改,因此显而易见的解决方案(向其添加字段)是正确的,这很遗憾。
  • 由于 $$lexer 是一个接口,我可以将解析器上下文填充到 lexer 实现中,然后强制将 $$lex 类型转换为该实现(假设我的解析器始终使用相同的词法分析器),但这看起来非常恶心(读作非惯用语)。此外,(似乎)无法将用户生成的行放在 parse 函数的顶部,例如 c := yylex.(*lexer).c,因此在我想引用此变量的数十个地方,我必须使用相当难看的形式 yylex.(*lexer).c 而不仅仅是 c
  • 通常我会在正常的 yacc / c 中使用 %param (好吧,无论如何,bison),但这在 goyacc 中不存在。
  • 我希望避免使用 sedperl 对生成的 .go 文件进行后处理,原因很明显。
  • 我希望能够(go)yacc 一次解析多个文件,因此不可能使用全局变量(并且全局变量也不是惯用的)。

这里最惯用的解决方案是什么?我一直在想我一定错过了一些简单的东西。


解决方案


我自己的解决方案是修改 goyacc (see this PR),它添加了一个 %param 指令,允许将一个或多个字段添加到 $$ParserImpl 结构中(在代码中可通过 $$rcvr 进行访问)。这似乎是最惯用的路线。这不仅允许传递上下文,还允许用户使用 $$ParserImpl 作为接收器添加额外的 func()s。

好了,本文到此结束,带大家了解了《goyacc: 没有 `%param` 的 yacc 解析器上下文》,希望本文对你有所帮助!关注golang学习网公众号,给大家分享更多Golang知识!

声明:本文转载于:stackoverflow 如有侵犯,请联系study_golang@163.com删除
相关阅读
更多>
最新阅读
更多>
课程推荐
更多>