问题:假设有两个基类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; } };
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对象的虚拟表中。这样,不用引入中间类,也能完成任务,只是这种方法写出的代码很难理解,实用性较差。