17370845950

解释器模式在C++中用于定义语言文法并构建解释器，适用于语法简单、执行频率低但需灵活扩展的场景，如布尔表达式计算；核心由AbstractExpression、TerminalExpression、NonterminalExpression和Context组成，通过递归下降解析器构建表达式树。

解释器模式（Interpreter Pattern）在 C++ 中用于定义语言的文法，并建立一个解释器来解释该语言中的句子。它适用于语法简单、执行频率不高、但需要灵活扩展语法规则的场景，比如简易表达式计算、配置脚本解析、规则引擎条件表达式等。

核心结构：抽象表达式 + 终结符/非终结符表达式

解释器模式的关键是将每个语法规则映射为一个类，所有表达式类型统一继承自抽象基类 Expression，并实现 interpret() 接口：

• AbstractExpression：声明解释操作的接口（如 interpret(Context&)）
• TerminalExpression：对应终结符（如数字、变量名），不再分解，直接返回结果
• NonterminalExpression：对应非终结符（如加、减、括号），内部持有子表达式，递归调用 interpret()
• Context：封装解释器外部信息（如变量值表、全局状态）

实战示例：简易布尔表达式解释器

支持 AND、OR、NOT 和布尔字面量（True/False），输入字符串如 "True AND (NOT False)"，输出 true 或 false。

关键代码片段（简化版）：

class Context {
public:
    std::map variables;
};

class Expression {
public:
    virtual bool interpret(const Context& ctx) const = 0;
    virtual ~Expression() = default;
};

class BooleanLiteral : public Expression {
    bool value;
public:
    explicit BooleanLiteral(bool v) : value(v) {}
    bool interpret(const Context&) const override { return value; }
};

class VariableExpression : public Expression {
    std::string name;
public:
    explicit VariableExpression(const std::string& n) : name(n) {}
    bool interpret(const Context& ctx) const override {
        auto it = ctx.variables.find(name);
        return it != ctx.variables.end() ? it->second : false;
    }
};

class NotExpression : public Expression {
    std::unique_ptr expr;
public:
    explicit NotExpression(std::unique_ptr e) : expr(std::move(e)) {}
    bool interpret(const Context& ctx) const override {
        return !expr->interpret(ctx);
    }
};

class AndExpression : public Expression {
    std::unique_ptr left, right;
public:
    AndExpression(std::unique_ptr l, std::unique_ptr r)
        : left(std::move(l)), right(std::move(r)) {}
    bool interpret(const Context& ctx) const override {
        return left->interpret(ctx) && right->interpret(ctx);
    }
};

配合简易词法/语法分析（如递归下降解析器），即可将字符串构造成表达式树并执行。

如何构建表达式树？——手写递归下降解析器

不依赖第三方库时，可手写轻量解析器。例如对 "a AND NOT b"，按优先级（括号 > NOT > AND/OR）分步解析：

• 先识别标识符或字面量 → 构造 VariableExpression 或 BooleanLiteral
• 遇到 NOT → 读取下一个表达式，包装成 NotExpression
• 遇到 AND → 左侧已解析部分为左操作数，右侧递归解析为右操作数，组合成 AndExpression
• 用栈或智能指针管理内存（推荐 std::unique_ptr）避免泄漏

注意事项与适用边界

解释器模式不是万能的，需注意：

• 语法越复杂，类爆炸越严重 —— 超过 5–6 类非终结符就应考虑用 ANTLR 或手写 LL(1) 解析器替代
• 性能敏感场景慎用 —— 每次执行都走虚函数调用+对象创建，不如编译为字节码或直接生成 C++ 代码
• 调试困难 —— 表达式树结构隐含在对象关系中，建议添加 toString() 辅助调试
• 上下文传递要精简 —— 避免把整个环境传入，只传必要数据（如变量表、作用域链）

它真正擅长的是“小而活”：规则常变、语法可控、团队需快速定制逻辑（如运营后台的用户筛选条件）。