访问者模式的核心是通过双重分 dispatc++h 机制实现对类结构的扩展而不修改原有代码。其关键点包括：1. 双重分派是指首先根据被访问对象的类型选择 accept 方法，再根据访问者的类型调用对应的 visit 方法；2. 实现结构包含访问者接口、具体访问者、元素接口和具体元素，其中每个具体元素实现 accept 方法以调用访问者的 visit；3. c++不支持直接多重分派，可通过模板、std::variant 或第三方库模拟反射机制辅助实现；4. 访问者模式适用于对象结构稳定但需频繁添加操作的场景，但增加新元素时需同步修改访问者接口及其实现，维护成本较高。
在C++中实现访问者模式，核心是解决双重分派的问题。也就是说，一个对象的某个操作不仅依赖于调用它的方法，还取决于传入参数的具体类型。访问者模式正是通过这种机制，实现了对已有类结构的扩展而不修改其原有代码。
下面我们就从几个关键点入手，看看如何实际写出一个清晰、可维护的访问者模式结构。
什么是双重分派？为什么需要它？
访问者模式的核心在于“双重分派”（double Dispatch）：第一次是根据被访问对象的类型选择合适的方法，第二次是根据访问者的具体类型执行相应的操作。
立即学习“C++免费学习笔记（深入）”；
C++本身不支持直接的多重分派，只能通过一些设计技巧来模拟这个过程。访问者模式就是其中一种经典做法。
举个简单的例子：
class ElementA; class ElementB; class Visitor { public: virtual void visit(ElementA* a) = 0; virtual void visit(ElementB* b) = 0; }; class Element { public: virtual void accept(Visitor* v) = 0; };
每个元素子类实现自己的 accept() 方法，并将自己传给访问者的 visit()，这样就完成了两次类型的绑定。
如何构建基本的访问者结构？
要实现访问者模式，通常需要四个组成部分：
- 访问者接口（Visitor）：定义一组 visit 方法，每个对应一种元素类型。
- 具体访问者（ConcreteVisitor）：实现这些方法，完成具体的业务逻辑。
- 元素接口（Element）：提供一个 accept 方法用于接受访问者。
- 具体元素（ConcreteElement）：实现 accept 方法，并调用访问者对应的 visit。
来看一个简单的实现框架：
// 具体元素 A 和 B class ElementA : public Element { public: void accept(Visitor* v) override { v->visit(this); // this 是 ElementA* } }; class ElementB : public Element { public: void accept(Visitor* v) override { v->visit(this); // this 是 ElementB* } }; // 具体访问者 class ConcreteVisitor : public Visitor { public: void visit(ElementA* a) override { std::cout << "处理 ElementA" << std::endl; } void visit(ElementB* b) override { std::cout << "处理 ElementB" << std::endl; } };
这样设计的好处是：当你想为所有元素增加新行为时，只需新增一个访问者，无需改动已有类结构。
类型扩展与反射机制的替代方案
C++没有内置的反射机制，但有时候我们希望访问者能自动识别新增的元素类型，而不需要手动更新访问者接口。这可以通过一些技巧来模拟，比如：
- 使用宏或模板自动生成 accept 和 visit 的映射。
- 利用 std::variant 或 std::any + std::visit 实现更现代的访问者风格。
- 使用工厂模式结合注册机制，动态管理访问逻辑。
虽然这些方式可以简化扩展流程，但它们也带来了更高的复杂度和学习成本。对于大多数项目来说，保持传统的访问者结构已经足够。
如果你确实需要灵活的类型系统，也可以考虑引入第三方库如 Boost.Variant 或使用运行时类型信息（RTTI）辅助判断。
访问者模式适用场景与注意事项
访问者模式适合以下情况：
- 对象结构稳定，但经常需要添加新的操作。
- 需要对多个不同类型的对象执行类似的操作。
- 想避免在每个类中都写一堆相似逻辑。
但也有一些限制需要注意：
- 增加新元素类型时，必须同时修改访问者接口及其所有实现类。
- 结构变得复杂后，理解和维护成本会上升。
- 不太适合小型项目或者频繁变更结构的情况。
总的来说，访问者模式是一种强大的设计模式，但在C++中实现时需要特别注意双重分派的机制和类型之间的耦合问题。合理使用，可以让你的代码更清晰、更具扩展性。
基本上就这些。
