再次探讨双分派double dispatch

前几次写了一下关于c++不支持多分派（包括双分派）的问题，应该说是学习了，本人还是个菜鸟啊。
发现我自己把多分派给搞复杂了！其实双分派这个概念也是从学visitor模式看到的，其意义在于接受者和参数都能在运行时决定它的类型，但是c++只支持单分派，也就是说参数的类型将在编译阶段决定。所以其实想要演示一下这个问题的话，其实，是非常简单的！如下：
///////////////////////////////////////////////////////////////////
#include <iostream>
using namespace std;

class BE;

//B
class B
{
public:
 void virtual output(B * b){cout << "B:B" << endl;}
 void virtual output(BE * be){cout << "B:BE" << endl;}
};
class BE : public B
{
public:
 void output(B * b){cout << "BE:B" << endl;}
 void output(BE * be){cout << "BE:BE" << endl;}
};

int main()
{
    B * p1 = new BE;
    B * p2 = new BE;
    p1->output(p2);
 
 return 0;
}
///////////////////////////////////////////////////////////////////
如果参数能够在运行时决定类型的话，那么输出来的信息应该是BE:BE，因为p2的实际类型是BE。但是，事实上输出来的结果是BE:B。也就是说p2的类型被误解为B了！这就是问题的所在了。
把简单的事情搞复杂了，那真是折腾啊，呵呵。
Over。