问题:假设有两个基类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()也是类似的。