Golang 1.20+是否具备LR(1)语法？能否获取对应语法规则？

一、Go代码能否被LR(1)解析器解析 #

Go语言的官方语法并不属于LR(1)，无法直接用标准LR(1)解析器完整解析所有Go代码。

原因在于Go语法存在部分需要超过1个符号前瞻才能消除的歧义场景，比如：

• 类型断言表达式x.(T)与带括号的函数调用x.(func() int)()的区分，需要前瞻后续的括号来判断语法结构；
• 接口类型定义中的方法声明与结构体字段声明的歧义，需要更多上下文信息才能正确解析。

官方Go编译器采用的是手写递归下降解析器，这种解析方式不受LR(k)类语法的限制，可以通过灵活的逻辑处理这些歧义场景，而非依赖严格的LR语法规则。

二、能否获取对应的LR(1)语法规则 #

目前没有官方提供的Go语言LR(1)语法规则。不过可以通过以下方式获取相关语法参考：

• Go官方语法的权威定义可以查看Go源码中src/cmd/compile/internal/syntax目录下的解析器实现，其中包含了完整的语法逻辑，但并非LR格式的规则；
• 社区有第三方尝试将Go语法转换为兼容LR类解析器的规则（比如基于Yacc/Bison的实现），但这些规则通常需要对官方语法做一些调整来消除LR(1)冲突，且并非官方维护，可能存在版本兼容问题。

内容的提问来源于stack exchange，提问作者House MD