本文详解如何用go内置的go tool yacc编写合法、可编译的yacc语法文件，重点纠正常见语法错误（如非法规则格式），并提供一个可运行的回显解析器完整示例，涵盖词法分析器（lex）实现、语法规则定义及主程序集成。
本文详解如何用go内置的go tool yacc编写合法、可编译的yacc语法文件，重点纠正常见语法错误（如非法规则格式），并提供一个可运行的回显解析器完整示例，涵盖词法分析器（lex）实现、语法规则定义及主程序集成。
Yacc（Yet Another Compiler-Compiler）在Go中通过go tool yacc提供支持，但其语法严格遵循经典Unix Yacc规范，并非自由格式——任何.y文件必须严格分为三段：声明区（declarations）、语法规则区（rules） 和 Go程序区（programs），以%%分隔。初学者常误将正则表达式（如.|\n ECHO;）直接写入规则区，导致bad syntax on first rule错误。这是因为Yacc规则必须是形如NonTerminal : Body ;的上下文无关文法产生式，其中:和;为必需符号，而.|\n属于词法层匹配逻辑，不应出现在语法规则中。
✅ 正确做法是：语法负责结构识别，词法负责字符匹配。所有输入扫描与token生成应由Lex方法完成；语法部分仅处理已定义的token序列。
以下是一个最小可行的回显解析器示例（echo.y），它读取一行输入，逐字符解析并打印：
%{
package main
import (
"bufio"
"fmt"
"os"
"unicode"
)
// 定义token类型（需与Lex返回值一致）
const CHARACTER = 257
%}
%union {
val string
}
%type <val> input
%%
in : /* empty */
| in input '\n' { fmt.Printf("Read character: %s\n", $2) }
;
input : CHARACTER
| input CHARACTER { $$ = $1 + $2 }
;
%%
type InputLex struct {
s string // 输入字符串（含换行符）
pos int // 当前解析位置
}
func (l *InputLex) Lex(lval *yySymType) int {
if l.pos >= len(l.s) {
return 0 // EOF
}
c := rune(l.s[l.pos])
l.pos++
// 跳过空格（可选）
if c == ' ' || c == '\t' {
return -1 // 忽略，不生成token
}
// 识别有效字符（小写字母或数字）
if unicode.IsLower(c) || unicode.IsDigit(c) {
lval.val = string(c)
return CHARACTER
}
// 其他字符作为终结符返回（触发语法错误或用于调试）
return int(c)
}
func (l *InputLex) Error(s string) {
fmt.Printf("syntax error: %s\n", s)
}
func main() {
fi := bufio.NewReader(os.Stdin)
s, err := fi.ReadString('\n')
if err != nil {
fmt.Fprintf(os.Stderr, "read error: %v\n", err)
return
}
lexer := &InputLex{s: s}
yylex = lexer
yyParse(lexer)
}? 关键要点说明：
立即学习“go语言免费学习笔记（深入）”；
- %union 声明用于统一token值类型（此处为string），yySymType由yacc自动生成；
- Lex方法返回整数token码（如CHARACTER），并将实际值存入lval.val；返回0表示EOF，负数表示忽略该字符；
- 语法规则in递归匹配零个或多个input后接换行符，$2引用第二个符号（即当前字符）；
- yylex和yyParse是yacc生成代码中约定的全局变量与入口函数，无需手动定义。
? 编译与运行：
go tool yacc -o echo.go -p Input echo.y go run echo.go # 输入示例：abc123↵ → 输出三行"Read character: a"等
⚠️ 注意事项：
- Go的yacc工具不支持内联正则或ECHO等Bison扩展指令，所有匹配逻辑必须在Lex中手动实现；
- go tool yacc生成的代码依赖yySymType、yylex、yyParse等约定名称，不可随意修改；
- 若需更灵活的词法分析（如正则批量匹配），建议转向专用库（如goyacc增强版、text/scanner或peg解析器），而非硬套Yacc范式。
掌握这一结构，你便拥有了在Go中构建自定义DSL或配置解析器的坚实起点——语法定义清晰分离，词法控制精确可靠，完全符合编译原理最佳实践。
