对于虚基类(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实例对象的内存结构,排布如下:
(
这里,在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对象的内存结构如下表示:
(
我们会发现,原来位置上的Animal变成了vpointer(当然,所占空间大小也变了,现在只占用一个指针的大小)。
同时,在Bat的后面有多出来了一个Animal。这是由于对于虚继承来说,Mammal和WingedAnimal共用一个Animal实例。
而这个vpointer指向的是同一个实例。
如,
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指向的是同一个实例。