c++如何实现访问者模式 c++设计模式之Visitor【实例】_技术教程

访问者模式用于分离数据结构与操作，通过双分派实现新增操作无需修改元素类；核心角色包括Visitor、Element及其具体实现，适用于结构稳定而操作多变的场景。

访问者模式（Visitor Pattern）在 C++ 中主要用于分离数据结构与作用于其上的操作，尤其适合处理具有多种类型节点的复杂对象结构（如语法树、XML 文档、场景图等），避免为每种新操作都修改所有节点类。

核心思想与角色划分

访问者模式将“操作”封装成独立的 Visitor 类，让数据结构中的每个节点（Element）提供一个 accept(Visitor&) 方法，主动调用访问者对应类型的 visit() 函数。这样新增操作只需添加新的 Visitor 子类，无需改动已有 Element 类。

关键角色：

Visitor（抽象访问者）：声明一组 visit() 方法，参数类型为具体 Element 类型
ConcreteVisitor（具体访问者）：实现 visit()，定义对各 Element 的具体操作逻辑
Element（抽象元素）：声明 accept(Visitor&) 接口
ConcreteElement（具体元素）：实现 accept()，内部调用 visitor.visit(*this)
ObjectStructure（对象结构）：可选，用于聚合 Element 并提供遍历接口（如 traverse(Visitor&)）

完整可运行示例（支持 double 和 string 类型节点）

以下是一个简化但完整的 C++17 实现，包含两个具体元素（Number、Text）、一个打印访问者（Printer），并演示双分派效果：

#include 
#include 
#include 

// 前向声明
class Visitor;

// 抽象元素基类
class Element {
public:
    virtual ~Element() = default;
    virtual void accept(Visitor& visitor) = 0;
};

// 具体元素：数字
class Number : public Element {
    double value_;
public:
    explicit Number(double v) : value_(v) {}
    double value() const { return value_; }
    void accept(Visitor& visitor) override;
};

// 具体元素：文本
class Text : public Element {
    std::string content_;
public:
    explicit Text(const std::string& s) : content_(s) {}
    const std::string& content() const { return content_; }
    void accept(Visitor& visitor) override;
};

// 抽象访问者
class Visitor {
public:
    virtual ~Visitor() = default;
    virtual void visit(Number& n) = 0;
    virtual void visit(Text& t) = 0;
};

// 具体访问者：打印器
class Printer : public Visitor {
public:
    void visit(Number& n) override {
        std::cout << "Number: " << n.value() << "\n";
    }
    void visit(Text& t) override {
        std::cout << "Text: \"" << t.content() << "\"\n";
    }
};

// 实现 Element::accept（关键：实现双分派）
void Number::accept(Visitor& visitor) {
    visitor.visit(*this); // 运行时确定 this 类型 → 调用 visit(Number&)
}
void Text::accept(Visitor& visitor) {
    visitor.visit(*this); // 运行时确定 this 类型 → 调用 visit(Text&)
}

// 对象结构（可选封装）
class ObjectStructure {
    std::vector> elements_;
public:
    void add(std::unique_ptr e) {
        elements_.push_back(std::move(e));
    }
    void traverse(Visitor& visitor) {
        for (auto& e : elements_) {
            e->accept(visitor);
        }
    }
};

// 使用示例
int main() {
    ObjectStructure os;
    os.add(std::make_unique(3.14));
    os.add(std::make_unique("Hello Visitor"));
    os.add(std::make_unique(42));

    Printer printer;
    os.traverse(printer);
    // 输出：
    // Number: 3.14
    // Text: "Hello Visitor"
    // Number: 42
}

关键细节与注意事项

C++ 中访问者模式依赖编译期重载 + 运行时多态实现“双分派”（Double Dispatch）：第一次通过 element->accept() 确定 Element 类型，第二次通过 visitor.visit(*this) 中 *this 的静态类型触发正确重载函数。

Visitor 接口必须提前知道所有 ConcreteElement 类型，因此 Element 类型稳定时更适用；若频繁增删 Element，Visitor 接口需同步更新，违反开闭原则
accept() 必须是虚函数，且各 ConcreteElement 的实现中调用 visitor.visit(*this) —— 这里 *this 的静态类型决定重载选择
使用 std::unique_ptr 管理 Element 生命周期，避免裸指针和内存泄漏
若需返回值或异常处理，visit() 可设计为带返回值或 throw 异常（注意 Visitor 接口一致性）