c++如何实现解释器模式 c++设计模式之Interpreter【实例】

解释器模式在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);
    }
};