解释器模式通过将语法规则映射为类,构建抽象语法树实现语言解释。核心角色包括抽象表达式、终结符与非终结符表达式及上下文。C++中可用来实现如算术表达式求值的DSL,支持扩展变量、运算符及解析器优化,适合简单语法场景。

解释器设计模式用于定义语言的文法表示,并提供一个解释器来处理这个文法。在 C++ 中实现解释器模式,适合构建简单的领域特定语言(DSL)或表达式求值系统,比如数学表达式计算器。
理解解释器模式核心结构
解释器模式的关键是将每条语法规则映射为一个类,通过组合这些类来构建抽象语法树(AST),然后通过解释方法递归执行。
主要角色包括:
-
AbstractExpression:声明解释操作的接口,通常是一个纯虚函数
interpret()。 - TerminalExpression:终结符表达式,如变量、常量,是最基本的语法单元。
- NonTerminalExpression:非终结符表达式,如加减乘除操作,包含其他表达式作为子节点。
- Context:包含解释器外部信息,比如变量环境。
用C++实现简单算术表达式解释器
下面以实现一个支持加法和整数常量的简单解释器为例:
立即学习“C++免费学习笔记(深入)”;
class Expression {
public:
virtual ~Expression() = default;
virtual int interpret() const = 0;
};
class NumberExpression : public Expression {
private:
int value;
public:
NumberExpression(int val) : value(val) {}
int interpret() const override { return value; }
};
class AddExpression : public Expression {
private:
Expression left;
Expression right;
public:
AddExpression(Expression l, Expression r) : left(l), right(r) {}
int interpret() const override {
return left->interpret() + right->interpret();
}
};
使用示例:
int main() {Expression* expr = new AddExpression(
new NumberExpression(5),
new AddExpression(
new NumberExpression(3),
new NumberExpression(2)
)
);
std::cout interpret() // 输出 10
// 记得释放内存或改用智能指针
delete expr;
return 0;
}
扩展与优化建议
上面的例子仅支持加法和常量,但可以进一步扩展以支持更多操作和语法解析。
- 引入
std::unique_ptr管理内存,避免泄漏。 - 添加减法、乘法等表达式类,继承自同一基类。
- 实现一个简单的词法分析器(Tokenizer)和递归下降解析器,将字符串转换为 AST。
- 支持变量:引入 Context 类存储变量名到值的映射,例如
std::map<:string int>。
例如,变量表达式可这样设计:
class VariableExpression : public Expression {private:
std::string name;
static std::map<:string color="#0000FF">int> variables;
public:
VariableExpression(const std::string& n) : name(n) {}
int interpret() const override {
return variables[name];
}
static void setVariable(const std::string& n, int v) {
variables[n] = v;
}
};
std::map<:string color="#0000FF">int> VariableExpression::variables;
适用场景与注意事项
解释器模式适合语法简单、变化频繁的语言逻辑。它让文法易于修改和扩展,但复杂语法会导致类数量激增,性能也可能下降(因多态调用)。
对于更复杂的语言,建议结合工具如 Flex/Bison,或转向字节码+虚拟机方式。
基本上就这些。用 C++ 实现解释器模式能帮你构建轻量级 DSL,关键在于把语法规则对象化,并通过组合形成可执行结构。










