[面试珠玑]一道关于C++虚函数和多继承的面试题

问题：假设有两个基类A和B，它们有一个相同签名的虚函数void foo(), 但是拥有不同的实现。现在要求创建一个新类C，它同时继承A和B，也有相同的签名的函数void foo(), 并能分别对A和B中的foo函数进行重写（overwrite）。

<wbr><wbr><wbr>已知条件对应的代码如下：</wbr></wbr></wbr>

class A{
    public:
        virtual void foo(){
            cout<<"A::foo()"<<endl;
        }
};
class B{
    public:
        virtual void foo(){
            cout<<"B::foo()"<<endl;
        }
};

现在要求C同时是A和B的子类（可以不是直接子类，在面试时没有想到，这个问题没有回答好），并能重写A和B中foo函数为fooCA和fooCB，使得在使用下面的代码时，foo()函数能够给出不同的输出，以体现出多态性：

int main(){
    C c;
    A* pA = &c;
    B* pB = &c;
    pA->foo();  //这里会输出和A相关的信息
    pB->foo();  //这里会输出和B相关的信息
    return 0;
}

如果C直接继承A和B的话，是上述代码是很难按照预期工作的，因为C的foo()函数不知道怎么写，一个函数的实现很难完成两种功能（通过指针类型判定？应该不行）。因此面试时百思不解，回来后才查了下，发现需要引入中间继承，即采用间接继承的方式，具体做法如下：

class MidA:public A{
    public:
        virtual void fooCA() = 0; //这里的纯虚函数由C负责实现，下同
        virtual void foo(){
            fooCA();
        }
};
class MidB:public B{
    public:
        virtual void fooCB() = 0;
        virtual void foo(){
            fooCB();
        }
};
class C:public MidA, public MidB{
    public:
        virtual void fooCA(){
            cout<<"C::foo() A"<<endl;
        }
        virtual void fooCB(){
            cout<<"C::foo() B"<<endl;
        }
};

以pA->foo()为例，此时A类型的指针pA指向的是C，由于继承的父子关系，它被解释为MidA对象（为什么不是MidB对象？），进而调用MidA中的foo()，然后再经过一层虚函数解析，就调用了C类中的fooCA了。pB->foo()也是类似的。

<wbr><wbr><wbr>实际上，让C直接继承自A和B，然后定义fooCA和fooCB虚函数，分别进行实现，然后通过手动修改C的虚拟函数表，把fooCA的地址放到A对象的虚拟表中，把fooCB放到B对象的虚拟表中。这样，不用引入中间类，也能完成任务，只是这种方法写出的代码很难理解，实用性较差。</wbr></wbr></wbr>