解释器模式通过定义文法并构建抽象语法树来解释语言中的句子，适用于C++中简单表达式求值等场景。
解释器设计模式是一种行为型设计模式，它用于定义语言的文法，并通过一个解释器来解释该语言中的句子。在C++中实现解释器模式，特别适用于处理简单语言或表达式解析的场景，比如正则表达式、数学表达式求值、配置规则匹配等。
解释器模式的核心结构
解释器模式通常包含以下几个角色：
- 抽象表达式（Expression）：声明一个解释操作接口，所有具体表达式都实现这个接口。
- 终结符表达式（TerminalExpression）：实现与文法中的终结符相关的解释逻辑，比如变量、常量。
- 非终结符表达式（NonterminalExpression）：用于组合多个表达式，实现文法中非终结符的解释，如加减乘除操作。
- 上下文（Context）：包含解释器需要的全局信息，比如变量映射表。
- 客户端（Client）：构建抽象语法树（AST），并调用解释方法。
用C++实现一个简单的算术表达式解释器
我们以解释形如 "a + b - 5" 的简单表达式为例，展示如何使用解释器模式。
立即学习“C++免费学习笔记（深入）”；
#include <iostream>
#include <map>
#include <string>
<p>// 抽象表达式类
class Expression {
public:
virtual ~Expression() = default;
virtual int interpret(std::map<std::string, int>& context) = 0;
};</p><p>// 终结符表达式：变量
class VariableExpression : public Expression {
std::string name;
public:
VariableExpression(const std::string& varName) : name(varName) {}
int interpret(std::map<std::string, int>& context) override {
auto it = context.find(name);
return (it != context.end()) ? it->second : 0;
}
};</p><p>// 终结符表达式：常量
class ConstantExpression : public Expression {
int value;
public:
ConstantExpression(int val) : value(val) {}
int interpret(std::map<std::string, int>& context) override {
return value;
}
};</p><p>// 非终结符表达式：加法
class AddExpression : public Expression {
Expression<em> left;
Expression</em> right;
public:
AddExpression(Expression<em> l, Expression</em> r) : left(l), right(r) {}
int interpret(std::map<std::string, int>& context) override {
return left->interpret(context) + right->interpret(context);
}
};</p><p>// 非终结符表达式：减法
class SubtractExpression : public Expression {
Expression<em> left;
Expression</em> right;
public:
SubtractExpression(Expression<em> l, Expression</em> r) : left(l), right(r) {}
int interpret(std::map<std::string, int>& context) override {
return left->interpret(context) - right->interpret(context);
}
};</p>客户端使用示例：
int main() {
// 设置上下文变量
std::map<std::string, int> context;
context["a"] = 10;
context["b"] = 5;
<pre class='brush:php;toolbar:false;'>// 构建表达式 a + b - 5
Expression* a = new VariableExpression("a");
Expression* b = new VariableExpression("b");
Expression* five = new ConstantExpression(5);
Expression* addExpr = new AddExpression(a, b);
Expression* finalExpr = new SubtractExpression(addExpr, five);
int result = finalExpr->interpret(context);
std::cout << "Result: " << result << std::endl; // 输出 10
// 清理内存（实际项目建议用智能指针）
delete finalExpr;
delete addExpr;
delete five;
delete b;
delete a;
return 0;}
适用场景与注意事项
解释器模式适合用于：
- 语言或表达式的文法规则相对稳定且较简单。
- 需要频繁地解释某类语句，比如规则引擎中的条件判断。
- 语法树易于构建和维护。
但也要注意其局限性：
- 复杂文法会导致类数量急剧增加，难以维护。
- 性能不如编译执行或直接解析（如递归下降）。
- C++中手动管理对象生命周期容易出错，建议配合智能指针使用。
结合其他技术提升实用性
在真实项目中，解释器模式往往不单独使用。可以结合以下方式增强能力：
- 使用工厂或构建器模式自动生成语法树。
- 引入字符串解析器（如用Flex/Bison或手写词法分析）将文本转换为表达式对象。
- 加入类型检查、错误处理机制提升鲁棒性。
基本上就这些。解释器模式提供了一种优雅的方式来建模语言逻辑，虽然在C++中不如脚本语言常见，但在特定领域仍具实用价值。关键在于控制语言复杂度，避免过度设计。不复杂但容易忽略的是内存管理和表达式复用问题。
