C++访问者模式与双重分发详解

访问者模式是一种允许在不修改已有类的前提下为其添加新行为的设计模式，适用于结构稳定但需持续扩展操作的场景。其核心通过“双重分发”实现运行时动态绑定：第一次由元素调用 accept 方法确定自身类型，第二次由访问者调用 visit 方法结合传入元素类型执行对应操作。实现步骤包括：1. 定义 Visitor 接口并声明多个 visit 函数；2. 在基类 Element 中定义 accept 方法；3. 每个具体元素实现 accept 并传递自身给访问者的 visit；4. 创建具体访问者类实现所有 visit 方法。关键点在于所有元素继承自同一基类，visit 方法接受具体元素作为参数，accept 方法通常采用模板写法。使用时需注意维护成本高、违反开闭原则反面、可读性较低等问题，适合结构稳定、行为多变的系统，尤其在 C++ 等支持虚函数和重载的语言中有效应用。

访问者模式在C++中是一种相对复杂但非常有用的设计模式，常用于对一组结构稳定的对象进行统一的操作扩展。它的核心思想是通过“双重分发”技术实现运行时动态绑定操作，使得不修改原有类结构的情况下可以新增功能。

什么是访问者模式？

简单来说，访问者模式允许你在不修改已有类的前提下，为这些类添加新的行为。这在处理像抽象语法树、文档结构这类结构稳定但需要不断扩展操作的场景特别有用。

比如，假设你有一组不同类型的节点（如圆、矩形、文本框等），你想为它们添加保存到文件或渲染到屏幕的功能，又不想改动每个节点类本身，这时候就可以用访问者模式来集中管理这些新操作。

双重分发是什么意思？

访问者模式的关键在于“双重分发”，也就是两次函数调用的动态绑定过程：

1. 第一次分发：从具体元素对象调用 accept(visitor) 方法，根据对象的实际类型调用对应的版本。
2. 第二次分发：在 accept 方法内部调用 visitor.visit(*this)，这时会根据传入的访问者类型和当前对象类型共同决定最终调用哪个访问方法。

这种方式让访问者能针对不同元素执行不同的操作，同时保持代码的扩展性和低耦合。

举个例子：

class Element {
public:
    virtual void accept(Visitor& v) = 0;
};

class Circle;
class Rectangle;

class Visitor {
public:
    virtual void visit(Circle& c) = 0;
    virtual void visit(Rectangle& r) = 0;
};

这样设计后，当有新的访问者（比如 RenderVisitor 或 SaveToXMLVisitor）出现时，只需要实现对应的 visit 方法即可，不需要改动 Circle 或 Rectangle 类。

如何实现访问者模式？

要实现访问者模式，通常需要以下几个步骤：

• 定义一个 Visitor 接口，里面包含多个 visit 函数，分别对应不同的元素类。
• 在元素基类 Element 中定义 accept(Visitor&) 纯虚函数。
• 每个具体元素类（如 Circle、Rectangle）都要实现自己的 accept 方法，并将自身传递给访问者的 visit 方法。
• 创建具体的访问者类，实现所有 visit 方法。

下面是几个关键点：

• 所有元素类必须继承自同一个基类，并且都实现 accept 方法。
• 访问者类中的每个 visit 方法接受一个具体的元素作为参数。
• 元素类的 accept 方法通常是模板化的写法，例如：

  class Circle : public Element {
  public:
      void accept(Visitor& v) override {
          v.visit(*this); // 调用访问者的 visit(Circle&)
      }
  };

使用访问者模式的注意事项

• 维护成本较高：每新增一个元素类，就需要在所有访问者中添加对应的 visit 方法。
• 违反开闭原则的反面：虽然访问者模式支持新增操作，但不适合频繁新增元素类型。
• 可读性问题：对于不熟悉该模式的人来说，阅读代码可能会觉得绕，逻辑不够直观。
• 适合结构稳定、行为多变的系统：如果你知道元素结构不会怎么变，但经常要加新操作，那这个模式就很合适。

另外，有些语言比如 Java 支持方法重载，更容易实现访问者模式；而 C++也支持，但要注意虚函数机制和指针/引用的使用。

总的来说，访问者模式 + 双重分发是一种比较高级的技术，适用于特定场景。它不是万能药，但在合适的场合下，确实能帮你写出更清晰、可扩展的代码。