Posted on 2007-03-13 16:02
kk 阅读(1201)
评论(2) 编辑 收藏 引用 所属分类:
C++
前几次写了一下关于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。