Kisser Leon

上次写了一下，结果漏洞百出，sigh。不过在高手的批评下，本人再多try了几下，似乎又明白了不少，呵呵。如果有问题，请各位高手不吝赐教。谢谢哈！
下面演示了一下c++不支持双分派。一共有四各类，A, AD, B, BE, 其中AD是A的子类，BE是B的子类。他们都有一个叫output的函数（函数名不一定要一样的）。问题出现在哪里呢？问题出现在A或AD类中output函数里的b->output(a);这个语句。其中b是能够动态track到他自己的类型的，但是a就不行了！因为它已经被静态绑定到A类型了，所以输出结果是：
output信息：
///////////////////////////////
AD:BE
BE:A //如果正确的话，这里应该输出BE:AD
AD:B
B:A  //如果正确的话，这里应该输出B:AD

AD:BE
BE:A
A:B
B:A

///////////////////////////////
现在把接口改成AD*a, 显示出错信息：
error: invalid conversion from `A*' to `AD*'
///////////////////////////////

现在把b->output(a)改成b->output(this)，输出结果如下：
AD:BE
BE:AD
AD:B
B:AD

AD:BE
BE:A
A:B
B:A
///////////////////////////////
结果就正确了！因为this显然已经指向了正确的类型，而且也没有经过中间步骤地转换，所以其信息还是能够runtime找到的。
over。

不知上面的解释是否正确，如果有问题，请各位高手赐教了。小弟先谢谢了。



代码如下：
////////////////////////////////////
#include <iostream>
#include <list>
using namespace std;

class A;
class AD;
//B
class B
{
public:
 void virtual output(A * a){cout << "B:A" << endl;}
 void virtual output(AD * ad){cout << "B:AD" << endl;}
};
class BE : public B
{
public:
 void output(A * a){cout << "BE:A" << endl;}
 void output(AD * ad){cout << "BE:AD" << endl;}
};

//A
class A
{
public:
 void virtual output(B * b, A * a){cout << "A:B" << endl;b->output(a);}
 void virtual output(BE * b, A * a){cout << "A:BE" << endl;b->output(a);}
};
class AD : public A
{
public:
 void output(B * b, A * a){cout << "AD:B" << endl;b->output(a);}
 void output(BE * b, A * a){cout << "AD:BE" << endl;b->output(a);}
};

int main()
{
    A * pAD = new AD;
    pAD->output(new BE, pAD);
    pAD->output(new B, pAD);

cout<<endl;

    A * pA = new A;
    pA->output(new BE, pA);
    pA->output(new B, pA);
 
 return 0;
}