访客：通过继承添加更多类型

Question

我想通过继承扩展已声明的访问者，并让运行时环境搜索访问者的后代以获取要执行的正确方法。我可以在 C# 中使用它，但我希望在 C++ 中使用它。我在 g++ 中尝试了以下代码，但未调用派生方法；仅调用基类的方法。

#include <iostream>
using namespace std;

struct Field; // Forward declaration

struct Visitor
{
    virtual void visit(Field& f) = 0; // Visits Field objecs and objects derived from Field.
};

struct Field_String;

struct Visitor_Field_String : public Visitor
{
    // Extend the Visitor by specifying a visitation
    //     for Field_String
    virtual void visit(Field_String& fs) = 0;
};

struct Field
{
    void accept_visitor(Visitor& v)
    {
        cout << "Field accepting visitor.\n";
        v.visit(*this);
    }
};

struct Field_String : public Field
{
    void accept_visitor(Visitor& v)
    {
        cout << "Field_String accepting visitor.\n";
        v.visit(*this);  // Line 1
    }
};

struct Full_Visitor : Visitor_Field_String
{
    void visit(Field& f)
    {
        cout << "Visiting a Field object\n";
        return;
    }
    void visit(Field_String& fs)
    {
        cout << " Visiting a Field_String object\n";
        return;
    }
};


int main(void)
{
    Field_String fs;
    Full_Visitor visitor;
    fs.accept_visitor(visitor);
    return 0;
}

我得到以下输出：

# g++ --version
g++ (GCC) 3.4.4 (cygming special, gdc 0.12, using dmd 0.125)
Copyright (C) 2004 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
# g++ -o virtual_visitor.exe virtual_visitor.cpp
# ./virtual_visitor.exe
Field_String accepting visitor.
Visiting a Field object

我想要的输出是：

Field_String accepting visitor.
Visiting a Field_String object

我的两个问题：

1. 为什么 visit 方法在 后裔访客没有被处决？
2. 如何执行 visit 方法 在后代访客中使用 多态性？

注意：目标是通过使用继承并允许可能不使用 Visitor 中指定的所有类的情况来减少 Visitor 类中指定的类。

注意：这是不是双重调度，而是延长调度。

Answer 1

你不能在 C++ 中做到这一点（你真的可以在 C# 中做到这一点吗？）关于特定问题：

1. 编译器根据引用的静态类型和该函数的最终重写者解析要使用的函数重载基于对象的动态类型。

2. 您需要在基类中提供所有不同的重载。如果你做不到，你可以做一些令人讨厌的事情，比如dynamic_cast来尝试确定收到的Visitor是否支持该特定字段，但我会避免这样做所有费用。
   调度*。

由于不同的字段类型没有被多态地使用（或者至少看起来不像，因为 accept_visitor 函数不是虚拟的），为什么不接受具体的访问者类型？

struct Field_String : Field
{
    void accept_visitor(Visitor_Field_String& v)
    {
        cout << "Field_String accepting visitor.\n";
        v.visit(*this);
    }
};

Answer 2

您是否有理由必须从 Visitor 虚拟类派生第二个 Visitor_Field_String 虚拟类类型？例如，如果您像这样定义基本 Visitor 和 Full_Visitor 类：

struct Visitor
{
    virtual void visit(Field& f) = 0;
    virtual void visit(Field_String& fs) = 0;
};

struct Full_Visitor : public Visitor
{
    void visit(Field& f)
    {
        cout << "Visiting a Field object\n";
        return;
    }
    void visit(Field_String& fs)
    {
        cout << " Visiting a Field_String object\n";
        return;
    }
};

您将获得您正在寻找的功能。您想要做的问题是 fs.accept_visitor(visitor) 被多态转换为的类类型是 Visitor 对象类型，仅定义了virtual void Visit(Field& f)。因此，在 Visitor 类型的类上调用 visit()，无需对 内的 Visitor_Field_String 类类型进行某种类型的额外转换Accept_visitor() 函数不会引用 visit() 函数的其他重载版本，因为它们是在派生类中定义的。