多重继承与虚基类

MI描述的是有多个直接基类的类。

• 注意：公有继承必须使用关键字public限定每一个基类，因为默认为private。
  class SingWaiter : public Waiter, public Singer {...};

• MI面临的问题：

1. 从两个不同的基类继承同名的方法；
2. 从两个或更多相关基类那里继承同一个类的多个实例。

• 菱形继承问题：
  当多重继承的两个父类有共同的祖先时，就会继承两个祖先类组件，这产生两个问题：

1. 数据冗余，空间浪费；
2. 二义性（可通过使用类限定符补救）。
   
   需要使用虚基类来解决这个问题。

---

虚基类

虚基类不是在声明基类是声明的，而是在声明派生类时，指定继承方式时声明的。此时，从虚基类的多个实例派生而来的类将只继承一个基类对象。

class Singer : virtual public Worker {...};
class Waiter : public virtual Worker {...};

然后，可以将SingerWaiter类定义为：
class SingerWaiter : public Singer, public Waiter {...};
现在，SingerWaiter对象只包含Worker对象的一个副本。

虚基类构造函数规则

class A
{
	int a;
public:
	A(int n=0) : a(n) {}
	...
};
class B: public A
{
	int b;
public:
	B(int m=0, int n=0): A(n), b(m) {}
	...
};
class C: public B
{
	int c;
public:
	C(int q=0, int m=0, int n=0): B(m,n), c(q) {}
	...
};

在上面正常的构造函数规则中，C类的构造函数使用q，并将m、n传递给B类的构造函数，而B类的构造函数使用m，并将n传递给A类的构造函数。
但对于多重继承，C++在基类是虚的时，禁止信息通过中间类自动传递给基类，因此需要显式地调用所需的基类（虚基类）构造函数：

class A
{
	int a;
public:
	A(int n): a(n) {}
	...
};
class B: virtual public A
{
	int b;
public:
	B(int m, int n):A(n), b(m) {}
	...
};
class C: virtual public A
{
	int c;
public:
	C(int k, int n): A(n), c(k）{}
	...
};
class D: public B, public C
{
	D(int k, int m, int n): A(n),B(m, n),C(k, n) {}	//显式调用构造函数A(int n)
	...
};

尽管A不是D的直接基类，但在这里（虚基类）这种用法是合法的而且是必须的：在成员初始化列表语法中，不仅要调用其直接基类的构造函数，还要调用虚基类的构造函数。C++编译系统最后只执行对虚基类构造函数的调用，而忽略虚基类的其他派生类，这就保证了虚基类的数据成员不会被多次初始化，避免了二义性问题。

---

注意：

• 区别虚基类和抽象基类：抽象基类指包含纯虚函数的类，是方便实现多态的方式，详见 抽象基类和纯虚函数；虚基类是实现多重继承（MI）的方式。
• 区别虚基类和虚函数：虚函数也是virtual关键字修饰的，但用于派生类中重新定义基类中虚函数，是实现动态多态的方式，详见 虚函数virtual与多态。