解释器模式通过接口和组合在Golang中实现表达式解析，适用于条件判断等场景。定义Expression接口及Terminal/NonTerminal表达式构建AST，结合Context上下文求值，如解析"(age > 18) AND (city == 'beijing')"。使用时需构造变量、比较、逻辑操作等节点，并递归调用Interpret方法。可通过词法分析将字符串转为AST，适合规则频繁变更的轻量级DSL，但复杂语法会增加维护成本，建议缓存AST或结合代码生成优化性能。
在Golang中使用解释器模式解析表达式，适合处理结构化的语言或规则判断场景，比如条件表达式、数学公式、配置过滤语句等。虽然Go没有动态语言那样的元编程能力，但通过接口和组合设计，依然能高效实现解释器模式（Interpreter Pattern）。
理解解释器模式的核心思想
解释器模式属于行为型设计模式，它将语言的文法规则映射为类的结构，每个语法单元对应一个类，通过对象树（抽象语法树，AST）来表示整个表达式。执行时，调用解释方法递归求值。
关键组成包括：
- Expression 接口：定义解释方法 Interpret(context)，所有表达式节点实现该接口
- TerminalExpression：终结符表达式，如变量、常量
- NonTerminalExpression：非终结符，如操作符（And、Or、Add、Greater）
- Context：运行时上下文，存储变量值或环境信息
实现一个简单的布尔表达式解析器
假设我们要支持形如 "(age > 18) AND (city == 'beijing')" 的表达式判断。
立即学习“go语言免费学习笔记（深入）”；
type Context map[string]interface{}
type Expression interface {
Interpret(ctx Context) bool
}
// 变量表达式
type VariableExpr struct {
name string
}
func (v *VariableExpr) Interpret(ctx Context) bool {
val, exists := ctx[v.name]
return exists && val != nil
}
// 等值比较
type EqualExpr struct {
left, right *VariableExpr
}
func (e *EqualExpr) Interpret(ctx Context) bool {
lval, lok := ctx[e.left.name]
rval, rok := ctx[e.right.name]
if !lok || !rok {
return false
}
return fmt.Sprintf("%v", lval) == fmt.Sprintf("%v", rval)
}
// 与操作
type AndExpr struct {
left, right Expression
}
func (a *AndExpr) Interpret(ctx Context) bool {
return a.left.Interpret(ctx) && a.right.Interpret(ctx)
}
使用示例：
ctx := Context{
"age": 20,
"city": "beijing",
}
expr := &AndExpr{
left: &GreaterExpr{
varExpr: &VariableExpr{name: "age"},
threshold: 18,
},
right: &EqualExpr{
left: &VariableExpr{name: "city"},
right: &VariableExpr{name: "city_val"},
},
}
// 需要注入 city_val
ctx["city_val"] = "beijing"
result := expr.Interpret(ctx) // true
提升技巧：结合词法分析构建AST
真实场景中，表达式来自字符串。可配合简单的词法/语法分析器生成AST。
- 使用 strings.Split 或 scanner 分词
- 采用递归下降解析处理优先级（如括号、AND/OR）
- 构建过程中返回 Expression 节点
例如识别 "A AND B OR C"，可先转为后缀表达式或使用优先级表构造树结构。
适用场景与注意事项
解释器模式适合规则简单、变化频繁的逻辑解耦，比如权限规则引擎、动态筛选条件。
但也需注意：
- 复杂语法会带来大量类和嵌套，维护成本上升
- 性能低于直接编译或预生成函数，不适合高频调用
- 建议结合缓存机制，对相同表达式复用AST
- 可考虑生成 Go 代码并使用 go/execute 动态编译提升性能（进阶）
基本上就这些。解释器模式让规则变得“可配置”，在Golang中虽略显冗长，但结构清晰、易于测试和扩展。合理封装后，能有效支撑轻量级DSL需求。
