如何自定義c++ visit函數

在C++中，實現一個自定義的visit函數可以通過模板和重載技術來完成。這里是一個簡單的例子，展示了如何創建一個visit函數，它可以接受不同類型的參數并根據參數類型執行相應的操作。

#include<iostream>
#include<string>

// 定義一個基類，用于多態
class Animal {
public:
    virtual ~Animal() = default;
};

// 定義兩個派生類，分別表示狗和貓
class Dog : public Animal {
public:
    void bark() const {
        std::cout << "Woof!"<< std::endl;
    }
};

class Cat : public Animal {
public:
    void meow() const {
        std::cout << "Meow!"<< std::endl;
    }
};

// 定義一個訪問者類，用于實現雙重分派
class Visitor {
public:
    virtual void visit(const Dog& dog) = 0;
    virtual void visit(const Cat& cat) = 0;
};

// 定義一個具體的訪問者類，實現對狗和貓的訪問操作
class AnimalVisitor : public Visitor {
public:
    void visit(const Dog& dog) override {
        dog.bark();
    }

    void visit(const Cat& cat) override {
        cat.meow();
    }
};

// 修改Animal類，添加accept方法，用于接受訪問者
class Animal {
public:
    virtual ~Animal() = default;

    virtual void accept(Visitor& visitor) const = 0;
};

// 更新Dog和Cat類，實現accept方法
class Dog : public Animal {
public:
    void bark() const {
        std::cout << "Woof!"<< std::endl;
    }

    void accept(Visitor& visitor) const override {
        visitor.visit(*this);
    }
};

class Cat : public Animal {
public:
    void meow() const {
        std::cout << "Meow!"<< std::endl;
    }

    void accept(Visitor& visitor) const override {
        visitor.visit(*this);
    }
};

int main() {
    Dog dog;
    Cat cat;

    AnimalVisitor visitor;

    dog.accept(visitor); // 輸出 "Woof!"
    cat.accept(visitor); // 輸出 "Meow!"

    return 0;
}

在這個例子中，我們首先定義了一個基類Animal，以及兩個派生類Dog和Cat。然后，我們定義了一個訪問者類Visitor，它包含兩個純虛函數visit，分別用于訪問Dog和Cat。接下來，我們定義了一個具體的訪問者類AnimalVisitor，它實現了Visitor接口，并在visit方法中調用了Dog和Cat的相應方法。最后，我們修改了Animal類，添加了一個accept方法，用于接受訪問者。在Dog和Cat類中，我們實現了accept方法，并在其中調用了訪問者的visit方法。

這樣，我們就實現了一個自定義的visit函數，它可以根據傳入的參數類型自動選擇相應的操作。在main函數中，我們創建了一個AnimalVisitor對象，并使用它訪問Dog和Cat對象，分別輸出"Woof!“和"Meow!”。