且构网

分享程序员开发的那些事...
且构网 - 分享程序员编程开发的那些事

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

更新时间:2021-10-03 21:30:53

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

    已知条件对应的代码如下:

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()也是类似的。

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