解释器模式通过将语法规则映射为类，构建抽象语法树实现语言解释。核心角色包括抽象表达式、终结符与非终结符表达式及上下文。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<expression></expression>管理内存，避免泄漏。 - 添加减法、乘法等表达式类，继承自同一基类。
- 实现一个简单的词法分析器（Tokenizer）和递归下降解析器，将字符串转换为 AST。
- 支持变量：引入 Context 类存储变量名到值的映射，例如
std::map<:string int></:string>。
例如，变量表达式可这样设计：
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，关键在于把语法规则对象化，并通过组合形成可执行结构。
