1. 访问者模式的核心思想与适用场景访问者模式是GoF 23种设计模式中最复杂的一种它允许你在不修改已有类结构的情况下定义新的操作。这种模式在编译器设计、抽象语法树处理等场景中尤为常见。访问者模式的核心在于双重分发Double Dispatch机制。当我们在对象结构上应用访问者时实际上发生了两次方法调用第一次是元素接受访问者第二次是访问者访问具体元素。这种机制使得我们可以在运行时动态决定调用哪个方法。关键提示访问者模式特别适合处理对象结构稳定但操作频繁变化的场景。如果你的系统经常需要添加新操作但很少修改元素类访问者模式会是个不错的选择。在C中实现访问者模式时我们通常会遇到几个典型场景编译器中的语法树遍历与分析文档对象模型(DOM)的处理复杂游戏对象的行为扩展财务系统中的报表生成2. 基础访问者模式实现让我们从一个最简单的C访问者模式实现开始。假设我们有一个图形系统包含圆形和方形两种基本图形class Circle; class Square; class Visitor { public: virtual void visit(Circle) 0; virtual void visit(Square) 0; virtual ~Visitor() default; }; class Element { public: virtual void accept(Visitor) 0; virtual ~Element() default; }; class Circle : public Element { public: void accept(Visitor v) override { v.visit(*this); } double radius() const { return radius_; } private: double radius_ 1.0; }; class Square : public Element { public: void accept(Visitor v) override { v.visit(*this); } double side() const { return side_; } private: double side_ 1.0; };这个基础实现展示了访问者模式的核心结构。每个具体元素类都必须实现accept方法而访问者接口必须为每种元素类型声明visit方法。3. 高级应用多态访问与泛型编程现代C允许我们将访问者模式与模板和泛型编程结合创造出更灵活的实现。下面是一个使用变体(variant)和访问者模式的现代C示例#include variant #include vector #include iostream class Circle { /*...*/ }; class Square { /*...*/ }; using Shape std::variantCircle, Square; class AreaVisitor { public: double operator()(const Circle c) { return 3.14159 * c.radius() * c.radius(); } double operator()(const Square s) { return s.side() * s.side(); } }; double totalArea(const std::vectorShape shapes) { AreaVisitor visitor; double total 0.0; for (const auto shape : shapes) { total std::visit(visitor, shape); } return total; }这种实现方式比传统面向对象的方式更加灵活且通常性能更好。std::visit会在编译时生成所有可能的分支避免了虚函数调用的开销。4. 访问者模式在编译器设计中的应用访问者模式在编译器设计中有着广泛的应用。让我们看一个简化的抽象语法树(AST)处理示例class ExprVisitor; class BinaryExpr; class LiteralExpr; class Expr { public: virtual ~Expr() default; virtual void accept(ExprVisitor) 0; }; class BinaryExpr : public Expr { public: BinaryExpr(Expr* left, char op, Expr* right) : left_(left), op_(op), right_(right) {} void accept(ExprVisitor v) override; Expr* left() const { return left_; } char op() const { return op_; } Expr* right() const { return right_; } private: Expr* left_; char op_; Expr* right_; }; class LiteralExpr : public Expr { public: LiteralExpr(int value) : value_(value) {} void accept(ExprVisitor v) override; int value() const { return value_; } private: int value_; }; class ExprVisitor { public: virtual ~ExprVisitor() default; virtual void visit(BinaryExpr) 0; virtual void visit(LiteralExpr) 0; };在这个例子中我们可以轻松添加新的AST操作如类型检查、代码生成等而无需修改现有的AST类结构。这是访问者模式最强大的优势之一。5. 性能优化与缓存友好实现访问者模式的一个常见批评是它的性能开销。每个操作都需要两次虚函数调用accept和visit这在性能敏感的系统中可能成为瓶颈。下面介绍几种优化技术批量处理优化将多个访问操作合并为一个复合访问者class CompositeVisitor : public Visitor { public: void add(Visitor* v) { visitors_.push_back(v); } void visit(Circle c) override { for (auto v : visitors_) v-visit(c); } void visit(Square s) override { for (auto v : visitors_) v-visit(s); } private: std::vectorVisitor* visitors_; };数据导向设计使用跳表代替虚函数using VisitFunc void(*)(void*, Element); struct VisitorTable { VisitFunc circle_visit; VisitFunc square_visit; }; void visit(VisitorTable table, Element e) { if (auto c dynamic_castCircle*(e)) { table.circle_visit(table, *c); } else if (auto s dynamic_castSquare*(e)) { table.square_visit(table, *s); } }这种实现虽然牺牲了一些类型安全性但可以获得更好的缓存局部性和更少的间接调用。6. 访问者模式与序列化访问者模式非常适合实现对象的序列化和反序列化。下面是一个JSON序列化的示例class JsonSerializer : public Visitor { public: std::string result() const { return json_; } void visit(Circle c) override { json_ { \type\: \circle\, \radius\: std::to_string(c.radius()) }; } void visit(Square s) override { json_ { \type\: \square\, \side\: std::to_string(s.side()) }; } private: std::string json_; };反序列化可以通过工厂方法和访问者结合实现class ElementFactory { public: static Element* fromJson(const std::string json) { // 解析JSON并创建相应元素 // 这里简化实现实际应使用JSON解析库 if (json.find(circle) ! std::string::npos) { return new Circle(/*从json提取半径*/); } else if (json.find(square) ! std::string::npos) { return new Square(/*从json提取边长*/); } return nullptr; } };7. 访问者模式的变体与扩展在实际项目中我们经常需要扩展基础访问者模式以满足特定需求。以下是几种常见变体带返回值的访问者templatetypename R class ReturningVisitor { public: virtual R visit(Circle) 0; virtual R visit(Square) 0; virtual ~ReturningVisitor() default; };带参数的访问者templatetypename P class ParamVisitor { public: virtual void visit(Circle, P) 0; virtual void visit(Square, P) 0; virtual ~ParamVisitor() default; };循环访问者用于处理环形数据结构class CycleAwareVisitor : public Visitor { public: void beginVisit(Element) { /*记录访问开始*/ } void endVisit(Element) { /*记录访问结束*/ } void visit(Circle c) override { if (visited_.count(c)) return; beginVisit(c); // 正常处理 endVisit(c); } // 类似实现Square的visit private: std::unordered_setElement* visited_; };8. 访问者模式与其他模式的结合访问者模式经常与其他设计模式结合使用形成更强大的设计解决方案与组合模式结合处理树形结构class CompositeShape : public Element { public: void add(Element* e) { children_.push_back(e); } void accept(Visitor v) override { for (auto child : children_) { child-accept(v); } } private: std::vectorElement* children_; };与装饰器模式结合创建过滤访问者class FilterVisitor : public Visitor { public: FilterVisitor(Visitor* wrapped) : wrapped_(wrapped) {} void visit(Circle c) override { if (shouldVisit(c)) { wrapped_-visit(c); } } // 类似实现Square的visit private: bool shouldVisit(const Element e) const { // 实现过滤逻辑 return true; } Visitor* wrapped_; };与策略模式结合动态切换访问算法class StrategyVisitor : public Visitor { public: void setStrategy(Visitor* strategy) { strategy_ strategy; } void visit(Circle c) override { strategy_-visit(c); } // 类似实现Square的visit private: Visitor* strategy_; };9. 现代C中的访问者模式实现技巧现代C提供了许多新特性可以让我们更优雅地实现访问者模式使用lambda简化访问者创建auto visitor make_visitor( [](Circle c) { /*处理圆形*/ }, [](Square s) { /*处理方形*/ } );使用variant和overload组合templateclass... Ts struct overload : Ts... { using Ts::operator()...; }; templateclass... Ts overload(Ts...) - overloadTs...; std::variantCircle, Square shape /*...*/; std::visit(overload{ [](Circle c) { /*处理圆形*/ }, [](Square s) { /*处理方形*/ } }, shape);使用concept约束访问者templatetypename V concept ShapeVisitor requires(V v, Circle c, Square s) { { v.visit(c) } - std::same_asvoid; { v.visit(s) } - std::same_asvoid; }; templateShapeVisitor V void processShapes(const std::vectorElement* shapes, V visitor) { for (auto shape : shapes) { shape-accept(visitor); } }10. 访问者模式的局限性与替代方案尽管访问者模式非常强大但它也有自己的局限性破坏封装访问者需要知道元素的具体类型这可能破坏封装增加新元素困难添加新元素类型需要修改所有访问者接口可能导致过度设计简单场景使用访问者模式可能增加不必要的复杂性在某些情况下可以考虑以下替代方案模式匹配C23引入std::variantCircle, Square shape /*...*/; std::visit([](auto arg) { using T std::decay_tdecltype(arg); if constexpr (std::is_same_vT, Circle) { // 处理圆形 } else if constexpr (std::is_same_vT, Square) { // 处理方形 } }, shape);类型擦除class AnyShape { public: templatetypename Shape AnyShape(Shape s) : self_(std::make_uniqueModelShape(std::move(s))) {} void draw() const { self_-draw_(); } private: struct Concept { virtual ~Concept() default; virtual void draw_() const 0; }; templatetypename Shape struct Model : Concept { Model(Shape s) : shape_(std::move(s)) {} void draw_() const override { /*使用shape_*/ } Shape shape_; }; std::unique_ptrConcept self_; };Acyclic Visitor通过RTTI避免访问者接口的频繁修改class Visitor { public: virtual ~Visitor() default; }; class CircleVisitor { public: virtual void visit(Circle) 0; virtual ~CircleVisitor() default; }; class SquareVisitor { public: virtual void visit(Square) 0; virtual ~SquareVisitor() default; }; class Element { public: virtual void accept(Visitor) 0; virtual ~Element() default; }; class Circle : public Element { public: void accept(Visitor v) override { if (auto cv dynamic_castCircleVisitor*(v)) { cv-visit(*this); } } };在实际项目中我经常发现访问者模式最适合处理稳定的类型层次结构上的多种操作。当类型层次结构频繁变化而操作稳定时传统的虚函数可能更合适。关键在于评估变化的维度——是类型变化多还是操作变化多。 
长河君 · 2026/8/18 2:04:49 · 阅读 1.2k C++访问者模式：原理、实现与编译器应用
1. 访问者模式的核心思想与适用场景访问者模式是GoF 23种设计模式中最复杂的一种它允许你在不修改已有类结构的情况下定义新的操作。这种模式在编译器设计、抽象语法树处理等场景中尤为常见。访问者模式的核心在于双重分发Double Dispatch机制。当我们在对象结构上应用访问者时实际上发生了两次方法调用第一次是元素接受访问者第二次是访问者访问具体元素。这种机制使得我们可以在运行时动态决定调用哪个方法。关键提示访问者模式特别适合处理对象结构稳定但操作频繁变化的场景。如果你的系统经常需要添加新操作但很少修改元素类访问者模式会是个不错的选择。在C中实现访问者模式时我们通常会遇到几个典型场景编译器中的语法树遍历与分析文档对象模型(DOM)的处理复杂游戏对象的行为扩展财务系统中的报表生成2. 基础访问者模式实现让我们从一个最简单的C访问者模式实现开始。假设我们有一个图形系统包含圆形和方形两种基本图形class Circle; class Square; class Visitor { public: virtual void visit(Circle) 0; virtual void visit(Square) 0; virtual ~Visitor() default; }; class Element { public: virtual void accept(Visitor) 0; virtual ~Element() default; }; class Circle : public Element { public: void accept(Visitor v) override { v.visit(*this); } double radius() const { return radius_; } private: double radius_ 1.0; }; class Square : public Element { public: void accept(Visitor v) override { v.visit(*this); } double side() const { return side_; } private: double side_ 1.0; };这个基础实现展示了访问者模式的核心结构。每个具体元素类都必须实现accept方法而访问者接口必须为每种元素类型声明visit方法。3. 高级应用多态访问与泛型编程现代C允许我们将访问者模式与模板和泛型编程结合创造出更灵活的实现。下面是一个使用变体(variant)和访问者模式的现代C示例#include variant #include vector #include iostream class Circle { /*...*/ }; class Square { /*...*/ }; using Shape std::variantCircle, Square; class AreaVisitor { public: double operator()(const Circle c) { return 3.14159 * c.radius() * c.radius(); } double operator()(const Square s) { return s.side() * s.side(); } }; double totalArea(const std::vectorShape shapes) { AreaVisitor visitor; double total 0.0; for (const auto shape : shapes) { total std::visit(visitor, shape); } return total; }这种实现方式比传统面向对象的方式更加灵活且通常性能更好。std::visit会在编译时生成所有可能的分支避免了虚函数调用的开销。4. 访问者模式在编译器设计中的应用访问者模式在编译器设计中有着广泛的应用。让我们看一个简化的抽象语法树(AST)处理示例class ExprVisitor; class BinaryExpr; class LiteralExpr; class Expr { public: virtual ~Expr() default; virtual void accept(ExprVisitor) 0; }; class BinaryExpr : public Expr { public: BinaryExpr(Expr* left, char op, Expr* right) : left_(left), op_(op), right_(right) {} void accept(ExprVisitor v) override; Expr* left() const { return left_; } char op() const { return op_; } Expr* right() const { return right_; } private: Expr* left_; char op_; Expr* right_; }; class LiteralExpr : public Expr { public: LiteralExpr(int value) : value_(value) {} void accept(ExprVisitor v) override; int value() const { return value_; } private: int value_; }; class ExprVisitor { public: virtual ~ExprVisitor() default; virtual void visit(BinaryExpr) 0; virtual void visit(LiteralExpr) 0; };在这个例子中我们可以轻松添加新的AST操作如类型检查、代码生成等而无需修改现有的AST类结构。这是访问者模式最强大的优势之一。5. 性能优化与缓存友好实现访问者模式的一个常见批评是它的性能开销。每个操作都需要两次虚函数调用accept和visit这在性能敏感的系统中可能成为瓶颈。下面介绍几种优化技术批量处理优化将多个访问操作合并为一个复合访问者class CompositeVisitor : public Visitor { public: void add(Visitor* v) { visitors_.push_back(v); } void visit(Circle c) override { for (auto v : visitors_) v-visit(c); } void visit(Square s) override { for (auto v : visitors_) v-visit(s); } private: std::vectorVisitor* visitors_; };数据导向设计使用跳表代替虚函数using VisitFunc void(*)(void*, Element); struct VisitorTable { VisitFunc circle_visit; VisitFunc square_visit; }; void visit(VisitorTable table, Element e) { if (auto c dynamic_castCircle*(e)) { table.circle_visit(table, *c); } else if (auto s dynamic_castSquare*(e)) { table.square_visit(table, *s); } }这种实现虽然牺牲了一些类型安全性但可以获得更好的缓存局部性和更少的间接调用。6. 访问者模式与序列化访问者模式非常适合实现对象的序列化和反序列化。下面是一个JSON序列化的示例class JsonSerializer : public Visitor { public: std::string result() const { return json_; } void visit(Circle c) override { json_ { \type\: \circle\, \radius\: std::to_string(c.radius()) }; } void visit(Square s) override { json_ { \type\: \square\, \side\: std::to_string(s.side()) }; } private: std::string json_; };反序列化可以通过工厂方法和访问者结合实现class ElementFactory { public: static Element* fromJson(const std::string json) { // 解析JSON并创建相应元素 // 这里简化实现实际应使用JSON解析库 if (json.find(circle) ! std::string::npos) { return new Circle(/*从json提取半径*/); } else if (json.find(square) ! std::string::npos) { return new Square(/*从json提取边长*/); } return nullptr; } };7. 访问者模式的变体与扩展在实际项目中我们经常需要扩展基础访问者模式以满足特定需求。以下是几种常见变体带返回值的访问者templatetypename R class ReturningVisitor { public: virtual R visit(Circle) 0; virtual R visit(Square) 0; virtual ~ReturningVisitor() default; };带参数的访问者templatetypename P class ParamVisitor { public: virtual void visit(Circle, P) 0; virtual void visit(Square, P) 0; virtual ~ParamVisitor() default; };循环访问者用于处理环形数据结构class CycleAwareVisitor : public Visitor { public: void beginVisit(Element) { /*记录访问开始*/ } void endVisit(Element) { /*记录访问结束*/ } void visit(Circle c) override { if (visited_.count(c)) return; beginVisit(c); // 正常处理 endVisit(c); } // 类似实现Square的visit private: std::unordered_setElement* visited_; };8. 访问者模式与其他模式的结合访问者模式经常与其他设计模式结合使用形成更强大的设计解决方案与组合模式结合处理树形结构class CompositeShape : public Element { public: void add(Element* e) { children_.push_back(e); } void accept(Visitor v) override { for (auto child : children_) { child-accept(v); } } private: std::vectorElement* children_; };与装饰器模式结合创建过滤访问者class FilterVisitor : public Visitor { public: FilterVisitor(Visitor* wrapped) : wrapped_(wrapped) {} void visit(Circle c) override { if (shouldVisit(c)) { wrapped_-visit(c); } } // 类似实现Square的visit private: bool shouldVisit(const Element e) const { // 实现过滤逻辑 return true; } Visitor* wrapped_; };与策略模式结合动态切换访问算法class StrategyVisitor : public Visitor { public: void setStrategy(Visitor* strategy) { strategy_ strategy; } void visit(Circle c) override { strategy_-visit(c); } // 类似实现Square的visit private: Visitor* strategy_; };9. 现代C中的访问者模式实现技巧现代C提供了许多新特性可以让我们更优雅地实现访问者模式使用lambda简化访问者创建auto visitor make_visitor( [](Circle c) { /*处理圆形*/ }, [](Square s) { /*处理方形*/ } );使用variant和overload组合templateclass... Ts struct overload : Ts... { using Ts::operator()...; }; templateclass... Ts overload(Ts...) - overloadTs...; std::variantCircle, Square shape /*...*/; std::visit(overload{ [](Circle c) { /*处理圆形*/ }, [](Square s) { /*处理方形*/ } }, shape);使用concept约束访问者templatetypename V concept ShapeVisitor requires(V v, Circle c, Square s) { { v.visit(c) } - std::same_asvoid; { v.visit(s) } - std::same_asvoid; }; templateShapeVisitor V void processShapes(const std::vectorElement* shapes, V visitor) { for (auto shape : shapes) { shape-accept(visitor); } }10. 访问者模式的局限性与替代方案尽管访问者模式非常强大但它也有自己的局限性破坏封装访问者需要知道元素的具体类型这可能破坏封装增加新元素困难添加新元素类型需要修改所有访问者接口可能导致过度设计简单场景使用访问者模式可能增加不必要的复杂性在某些情况下可以考虑以下替代方案模式匹配C23引入std::variantCircle, Square shape /*...*/; std::visit([](auto arg) { using T std::decay_tdecltype(arg); if constexpr (std::is_same_vT, Circle) { // 处理圆形 } else if constexpr (std::is_same_vT, Square) { // 处理方形 } }, shape);类型擦除class AnyShape { public: templatetypename Shape AnyShape(Shape s) : self_(std::make_uniqueModelShape(std::move(s))) {} void draw() const { self_-draw_(); } private: struct Concept { virtual ~Concept() default; virtual void draw_() const 0; }; templatetypename Shape struct Model : Concept { Model(Shape s) : shape_(std::move(s)) {} void draw_() const override { /*使用shape_*/ } Shape shape_; }; std::unique_ptrConcept self_; };Acyclic Visitor通过RTTI避免访问者接口的频繁修改class Visitor { public: virtual ~Visitor() default; }; class CircleVisitor { public: virtual void visit(Circle) 0; virtual ~CircleVisitor() default; }; class SquareVisitor { public: virtual void visit(Square) 0; virtual ~SquareVisitor() default; }; class Element { public: virtual void accept(Visitor) 0; virtual ~Element() default; }; class Circle : public Element { public: void accept(Visitor v) override { if (auto cv dynamic_castCircleVisitor*(v)) { cv-visit(*this); } } };在实际项目中我经常发现访问者模式最适合处理稳定的类型层次结构上的多种操作。当类型层次结构频繁变化而操作稳定时传统的虚函数可能更合适。关键在于评估变化的维度——是类型变化多还是操作变化多。