Go中实现解释器模式的核心是将语法结构映射为可执行对象,通过接口Expression统一节点行为,手写词法与递归下降解析构建AST,支持安全执行与扩展。

在 Go 语言中实现解释器模式,核心是将“语法结构”映射为“可执行对象”,通过递归调用完成表达式求值。它不依赖外部解析器生成器(如 ANTLR),适合轻量级 DSL、配置计算、规则引擎或教学场景。
定义抽象表达式接口
所有节点类型(字面量、二元运算、函数调用等)统一实现同一接口,使解释逻辑解耦:
type Expression interface {
Interpret(ctx map[string]interface{}) interface{}
}
例如,整数字面量可实现为:
type NumberExpr struct {
Value int
}
func (n NumberExpr) Interpret(ctx map[string]interface{}) interface{} {
return n.Value
}
构建语法树节点(终端与非终端)
按语法规则拆分职责:终端节点(如变量名、数字)直接返回值;非终端节点(如加法、条件)组合子表达式并调度求值:
立即学习“go语言免费学习笔记(深入)”;
- 变量引用:从上下文 ctx 中查找 key,未定义时可返回 nil 或 panic
- 二元运算:先 Interpret 左右子表达式,再执行 +、-、== 等操作(注意类型断言和错误处理)
- 逻辑表达式:支持 and/or/not,短路求值需手动控制(如 and 先算左,为 false 则跳过右)
手写简易词法与语法解析器
对字符串输入(如 "x + 2 * y")做两步处理:
-
词法分析(Tokenizer):按空格/符号切分,识别标识符、数字、操作符,输出 token 流(如
[ID("x"), PLUS, NUMBER(2), MUL, ID("y")]) -
递归下降解析(Parser):按运算符优先级组织函数层级(如
ParseExpression → ParseTerm → ParseFactor),构造语法树
示例片段(简化版加减乘除):
func (p *Parser) ParseExpression() Expression {
left := p.ParseTerm()
for p.peek().Type == PLUS || p.peek().Type == MINUS {
op := p.next()
right := p.ParseTerm()
left = BinaryExpr{Left: left, Op: op.Type, Right: right}
}
return left
}
安全执行与扩展建议
生产环境需规避风险并提升可用性:
- 限制执行深度(防止栈溢出)、循环次数(防无限递归)、超时时间(context.WithTimeout)
- 类型检查前置:在 Interpret 前校验左右操作数是否为 numeric,避免 panic
- 支持自定义函数:在 ctx 中注入 map[string]func([]interface{}) interface{},解析到函数调用时查表执行
- 调试友好:为每个 Expression 添加 String() 方法,便于打印 AST 结构
解释器模式在 Go 中虽不如 Java 那样强调“类层次”,但借助接口和组合,依然能写出清晰、可测试、易扩展的表达式引擎。关键不是复刻设计模式教科书,而是让每种语法成分有明确责任,并保持 Interpret 调用链简洁可控。










