virtual base class（虚基类）

对于虚基类（virtual base class），目的是为了解决“多继承中的菱形继承的问题”。
如，
class Animal
{
public:
virtual void eat();
};

class Mammal : public Animal
{
public:
virtual void walk();
};

class WingedAnimal : public Animal
{
public:
virtual void flap();
};

// A bat is a winged mammal
class Bat : public Mammal, public WingedAnimal {};

Bat bat;

我们要访问bat的eat()方法，如果写成下面的形式，则会在编译时就导致错误：
Animal a = (Animal)Bat(); //error: which Animal instance should a Bat cast into,
//a Mammal::Animal or a WingedAnimal::Animal?
a.eat();

但，如果写成下面的形式，则可以通过编译，并正常运行：
Animal a = (Animal)(Mammal)Bat(); //ok: compiler chooses Mammal::Animal after
//cast to Mammal
a.eat();

现在来看看bat实例对象的内存结构，排布如下：
(Animal,Mammal,|Animal,WingedAnimal,|Bat)
这里，在bat的实例中存在了两个Animal对象，因此对于第一种使用方法就会导致错误。
上面的两条红线“|”是将bat的基类的内存情况分离开来，并无实际意义，只是为了方便理解。

下面将推出这篇日志的主角：“虚基类（virtual base class）”。
改写上面的代码，以虚继承来实现，如下：
class Animal
{
public:
virtual void eat();
};

// Two classes virtually inheriting Animal:
class Mammal : public virtual Animal
{
public:
virtual void walk();
};

class WingedAnimal : public virtual Animal
{
public:
virtual void flap();
};

// A bat is still a winged mammal
class Bat : public Mammal, public WingedAnimal {};

Bat bat;

这样，新的bat对象的内存结构如下表示：
(vpointer,Mammal,|vpointer,WingedAnimal,|Bat,Animal)
我们会发现，原来位置上的Animal变成了vpointer（当然，所占空间大小也变了，现在只占用一个指针的大小）。
同时，在Bat的后面有多出来了一个Animal。这是由于对于虚继承来说，Mammal和WingedAnimal共用一个Animal实例。
而这个vpointer指向的是同一个实例。