解释器模式通过将语言文法规则映射为对象结构，在Go中利用接口和组合实现表达式解析，适用于DSL如布尔表达式计算；定义Expression接口及变量、NOT、AND、OR等表达式结构体构建语法树，结合词法分析与递归下降解析器将字符串转为表达式树并求值，适用于规则引擎等简单语法场景，但复杂语法或高性能需求时需谨慎使用。
在Golang中实现解释器模式（Interpreter Pattern）来解析自定义语法，是一种将语言规则映射为对象结构的有效方式。它适用于小型、特定领域的语言（DSL），比如表达式计算、配置过滤规则或简单脚本语言。虽然Go没有像Java那样的强反射支持，但通过接口和组合依然能优雅地实现该模式。
什么是解释器模式
解释器模式属于行为型设计模式，其核心思想是：定义语言的文法表示，并用一个解释器来处理这个文法。通常涉及以下几个角色：
-
抽象表达式（Expression）：声明解释方法，如
Interpret() - 终结符表达式（Terminal Expression）：代表语言中最基本的元素，如变量、常量
- 非终结符表达式（Non-terminal Expression）：组合多个表达式，如加减乘除操作
- 上下文（Context）：包含解释所需全局信息，如变量环境
以简单的布尔表达式为例："x AND y OR NOT z"，我们可以将其拆解为原子项与逻辑操作符，逐层构建语法树并求值。
使用Go实现表达式解释器
下面是一个基于Go的简易布尔表达式解释器实现，支持变量、NOT、AND、OR操作。
立即学习“go语言免费学习笔记（深入）”；
定义表达式接口：type Expression interface {
Interpret(env map[string]bool) bool
}
变量表达式（终结符）：
type VariableExpression struct {
name string
}
func (v *VariableExpression) Interpret(env map[string]bool) bool {
return env[v.name]
}
NOT表达式（非终结符）：
type NotExpression struct {
expr Expression
}
func (n *NotExpression) Interpret(env map[string]bool) bool {
return !n.expr.Interpret(env)
}
AND/OR表达式（非终结符）：
type AndExpression struct {
left, right Expression
}
func (a *AndExpression) Interpret(env map[string]bool) bool {
return a.left.Interpret(env) && a.right.Interpret(env)
}
type OrExpression struct {
left, right Expression
}
func (o *OrExpression) Interpret(env map[string]bool) bool {
return o.left.Interpret(env) || o.right.Interpret(env)
}
构建表达式树示例：
func main() {
x := &VariableExpression{name: "x"}
y := &VariableExpression{name: "y"}
z := &VariableExpression{name: "z"}
// 构建表达式: (x AND y) OR NOT z
expr := &OrExpression{
left: &AndExpression{left: x, right: y},
right: &NotExpression{expr: z},
}
env := map[string]bool{
"x": true,
"y": false,
"z": true,
}
result := expr.Interpret(env)
fmt.Println("Result:", result) // 输出: true
}
通过这种方式，我们把语法结构转化为对象树，每个节点自行负责解释逻辑，结构清晰且易于扩展。
如何解析文本语法？结合词法分析
上面的例子手动构建了语法树，实际中我们需要从字符串解析，比如输入 "x AND y"。这时可引入简单的词法和语法分析器。
func tokenize(input string) []string {
// 简单按空格分割，忽略复杂情况
return strings.Fields(input)
}
递归下降解析器（部分实现AND优先级高于OR）：
func parseExpression(tokens *[]string, env map[string]bool) Expression {
t := parseTerm(tokens, env)
for len(*tokens) > 0 && (*tokens)[0] == "OR" {
*tokens = (*tokens)[1:] // 跳过 OR
right := parseTerm(tokens, env)
t = &OrExpression{left: t, right: right}
}
return t
}
func parseTerm(tokens *[]string, env map[string]bool) Expression {
f := parseFactor(tokens, env)
for len(*tokens) > 0 && (*tokens)[0] == "AND" {
*tokens = (*tokens)[1:] // 跳过 AND
right := parseFactor(tokens, env)
f = &AndExpression{left: f, right: right}
}
return f
}
func parseFactor(tokens *[]string, env map[string]bool) Expression {
if len(*tokens) == 0 {
panic("unexpected end")
}
token := (*tokens)[0]
*tokens = (*tokens)[1:]
switch token {
case "NOT":
return &NotExpression{expr: parseFactor(tokens, env)}
case "true":
return &ConstantExpression{value: true}
case "false":
return &ConstantExpression{value: false}
default:
return &VariableExpression{name: token}
}
}
有了解析器后，就可以将字符串自动转为表达式树：
input := "x AND y OR NOT z"
tokens := tokenize(input)
expr := parseExpression(&tokens, nil)
result := expr.Interpret(map[string]bool{"x": true, "y": false, "z": true})
fmt.Println(result)
适用场景与注意事项
解释器模式适合语法简单、变化频繁的DSL，例如：
- 规则引擎中的条件判断
- 权限策略表达式（如 "role=admin AND dept=finance"）
- 配置过滤器或查询语句
但在以下情况应谨慎使用：
基本上就这些。Golang虽无泛型（旧版本）、无继承，但接口+结构体足以支撑解释器模式的清晰实现。关键是把语法规则转化为组合对象，再辅以解析器生成语法树，就能灵活处理自定义语言逻辑。
