c++ - 我们在 C++ 中需要双分派(dispatch)/访问者到底发生了什么

Question

我理解解决方案的实现和双重分派(dispatch)/访问者模式，但是我不明白在编译时和运行时我们需要这种模式会发生什么。

例如这段代码:

#include <iostream>

class A {
public:
};
class B : public A {
};

class F {
public:
    virtual inline void operator()(const A&) const noexcept {
        std::cout << "FxA" << std::endl;
    }
    virtual inline void operator()(const B&) const noexcept {
        std::cout << "FxB" << std::endl;
    }
};

class G : public F {
public:
    virtual inline void operator()(const A&) const noexcept {
        std::cout << "GxA" << std::endl;
    }
    virtual inline void operator()(const B&) const noexcept {
        std::cout << "GxB" << std::endl;
    }
};

void by_const_ref(const F& f, const A& a) {
    f(a);
}

int main() {
    by_const_ref(F(), A());
    by_const_ref(F(), B());
    by_const_ref(G(), A());
    by_const_ref(G(), B());

    return 0;
}

如果没有双重分派(dispatch)，对 by_const_ref 的第二次和第四次调用将不会将 B() 解析为 A 对象。

来自这篇文章:https://en.wikipedia.org/wiki/Double_dispatch#Double_dispatch_in_C++我知道它涉及名称修改和编译时间以及运行时的 vtable 解析，但我没有找到具体的方法。

对于名称修改部分，我查看了编译后的对象，但没有发现任何特殊之处。

对于 vtable，我用 g++ -fdump-lang-class 转储了它，看起来那里也没有太多信息。

因此我的请求。我想了解到底发生了什么，也许如何检查这种行为(使用像 nm 这样的工具，检查 vtable，机器代码？)

Answer 1

你说得太深了，它更简单。

C++ 虚函数根据单个 参数this 的类型启用动态调度。双重调度，顾名思义，就是根据两个参数的类型进行动态调度。由于该语言不提供此功能，Visitor 模式只是使用内置的单一调度两次，依次使用每个动态参数作为 this。

可以想象，您可以通过继续这个抢椅子游戏来实现执行三次或更多次调度的访客，直到所有动态参数都this一次并且在最终调用之前被正确调度。