访问者模式通过分离数据结构与操作，实现对表达式树的求值与打印：Expression定义accept方法，ConcreteElement（Number、Addition）实现accept并调用Visitor的visit，Visitor定义visit接口，ConcreteVisitor（EvaluateVisitor、PrintVisitor）实现具体逻辑，从而在不修改节点类的情况下扩展功能。
访问者模式在C++中是一种行为型设计模式，它允许你在不修改数据结构的前提下，为数据结构中的元素添加新的操作。这种模式的核心思想是将数据结构与作用于其上的操作分离，特别适用于数据结构相对稳定，但操作频繁变化的场景。
访问者模式的基本结构
访问者模式通常包含以下几个角色：
- Element（元素）：定义一个接受访问者的方法，比如 accept(Visitor&)。
- ConcreteElement（具体元素）：实现 accept 方法，将访问者传入并调用访问者对应的访问方法。
- Visitor（访问者）：定义一组重载的 visit 方法，对应不同的元素类型。
- ConcreteVisitor（具体访问者）：实现具体的业务逻辑，比如打印、计算、序列化等。
代码示例：表达式求值与打印
假设我们有一个简单的表达式树，包含数字和加法操作。我们希望分别实现求值和打印两种操作，但不想把这两种逻辑都写进节点类中。
struct Expression;struct ExpressionVisitor {
virtual void visit(const struct Number& expr) = 0;
virtual void visit(const struct Addition& expr) = 0;
virtual ~ExpressionVisitor() = default;
};
struct Expression {
virtual void accept(ExpressionVisitor& visitor) const = 0;
virtual ~Expression() = default;
};
struct Number : Expression {
double value;
Number(double v) : value(v) {}
void accept(ExpressionVisitor& visitor) const override {
visitor.visit(*this);
}
};
struct Addition : Expression {
const Expression& lhs, & rhs;
Addition(const Expression& l, const Expression& r) : lhs(l), rhs(r) {}
void accept(ExpressionVisitor& visitor) const override {
visitor.visit(*this);
}
};
struct EvaluateVisitor : ExpressionVisitor {
double result;
void visit(const Number& n) override {
result = n.value;
}
void visit(const Addition& a) override {
a.lhs.accept(*this);
double left = result;
a.rhs.accept(*this);
result = left + result;
}
};
struct PrintVisitor : ExpressionVisitor {
void visit(const Number& n) override {
std::cout }
void visit(const Addition& a) override {
std::cout a.lhs.accept(*this);
std::cout a.rhs.accept(*this);
std::cout }
};
使用方式：
立即学习“C++免费学习笔记（深入）”；
Number two(2);
Number three(3);
Addition expr(two, three);
PrintVisitor print;
expr.accept(print); // 输出: (2 + 3)
EvaluateVisitor eval;
expr.accept(eval);
std::cout
优势与适用场景
访问者模式的关键优势在于：
- 新增操作非常方便，只需添加一个新的访问者类，无需修改现有元素类。
- 将相关操作集中在一个访问者中，提高代码组织性。
- 适用于数据结构稳定但操作多变的系统，比如编译器中的AST（抽象语法树）处理。
但也有缺点：
- 如果数据结构频繁变动（新增元素类型），所有访问者都需要修改，违反开闭原则。
- 访问者需要了解所有具体元素类型，破坏了封装性。
总结
访问者模式通过双重分派机制，将数据结构与操作解耦。在C++中，利用虚函数实现运行时多态，配合重载函数实现对不同类型元素的处理。虽然使用上略显复杂，但在需要对复杂结构执行多种操作的场景中，它能显著提升代码的可维护性和扩展性。
基本上就这些。理解accept和visit的配合是关键。模式不常用，但用对地方很有力。
