l 多继承带来了单继承中绝对不会存在的复杂性。最基本的一条是二义性。如果一个派生类从多个基类继承了一个成员名,所有对这个名字的访问都是二义的;你必须明确地说出你所指的是哪个成员。如下所示:
class Lottery
{
public:
virtual int draw();
...
};
class GraphicalObject
{
public:
virtual int draw();
...
};
class LotterySimulation: public Lottery, public GraphicalObject
{
//没有声明draw
};
LotterySimulation*pls = new LotterySimulation;
pls->draw(); //错误,有二义性
pls->Lottery::draw(); //正确
pls->GraphicalObject::draw(); //正确
当显示地用一个类名来限制地修饰一个虚函数时,函数的行为将不再具有虚拟的特征。相反,被调用的函数只能是你所指定的那个,即使调用是作用在派生类的对象上。
l 钻石型继承,如下的类层次:
class A {…};
class B : virtual public A {…};
class C : virtual public A {…};
class D : public B, public C {…};
应该让最上层的类为
虚基类。只有极少数情况下会想让类型D的对象包含A的数据成员的多个拷贝。使最上层成为虚基类往往会在空间和时间上强加给用户额外的开销。因为虚基类通常是通过指针来实现的,并非对象本身。内存中对象的分布是和编译器相关的,但一条不变的事实是:如果A作为非虚基类,类型D的对象在内存中的分布通常占用连续的内存单元;如果A作为虚基类,有时,
类型
D
的对象在内存中的分布占用连续的内存单元,但其中两个单元包含的是指针,指向包含基类数据成员的内存单元。
l 向虚基类传递构造函数,虚基类的构造函数不同,它的参数是由继承结构中最底层派生类的成员初始化列表指定的。(避免这个问题一个方法—避免在这样的类中放数据成员)。
l 虚函数的优先度问题。钻石形状。(虚基类比第二层定义的虚函数优先度低)。
l 在适当时候还是可以使用多继承,例如将接口的公有继承和实现的私有继承结合起来的情况。