C++(继承):19---虚基类与虚继承(virtual)

一、菱形继承

  • 在介绍虚继承之前介绍一下菱形继承
  • 概念:A作为基类,B和C都继承与A。最后一个类D又继承于B和C,这样形式的继承称为菱形继承
  • 菱形继承的缺点:
    • 数据冗余:在D中会保存两份A的内容
    • 访问不明确(二义性):因为D不知道是以B为中介去访问A还是以C为中介去访问A,因此在访问某些成员的时候会发生二义性
  • 缺点的解决:
    • 数据冗余:通过下面“虚继承”技术来解决(见下)
    • 访问不明确(二义性):通过作用域访问符::来明确调用。虚继承也可以解决这个问题

演示案例

class A
{
public:
    A(int a) :m_a(a) {}
    int getMa() { return m_a; }
private:
    int m_a;
};

class B :public A
{
public:
    B(int a, int b) :A(a), m_b(b) {}
private:
    int m_b;
};

class C :public A
{
public:
    C(int a, int c) :A(a), m_c(c) {}
private:
    int m_c;
};

class D :public B, public C
{
public:
    D(int a, int b, int c, int d) :B(a, b), C(a, c), m_d(d) {}
    void func()
    {
        /*错误,访问不明确
        std::cout << getMa();*/

        //正确,通过B访问getMa()
        std::cout << B::getMa();
    }
private:
    int m_d;
};

二、虚继承

  • 虚继承的作用:为了保证公共继承对象在创建时只保存一分实例
  • 虚继承解决了菱形继承的两个问题:
    • 数据冗余:顶级基类在整个体系中只保存了一份实例
    • 访问不明确(二义性):可以不通过作用域访问符::来调用(原理就是因为顶级基类在整个体系中只保存了一份实例)
  • 共享的基类对象成为“虚基类”
  • 说明:虚继承不会影响派生类本身,只是对虚基类进行的说明
  • 通过在继承列表中使用virtual关键字来说明,virtual与继承说明符(public、protected、private)的位置可以互换

演示案例

  • 下面的ZooAnimal是一个虚基类,Bear和Raccoon分别虚继承于ZooAnimal

class ZooAnimal {}; //虚基类

class Bear :public virtual ZooAnimal {};    //虚继承
class Raccoon :public virtual ZooAnimal {}; //虚继承

//Panda只保存一份ZooAnimal的定义
class Panda :public Bear, public Raccoon, public Endangered {};

三、虚继承中的类型转换

  • 虚继承中也可以将派生类抓换为基类,用基类的指针/引用指向于派生类
  • 例如:
class ZooAnimal {};

class Bear :public virtual ZooAnimal {};
class Raccoon :public virtual ZooAnimal {};

class Panda :public Bear, public Raccoon, public Endangered {};

void dance(const Bear&);
void rummage(const Raccoon&);
ostream& operator<<(ostream&, const ZooAnimal&);

int main()
{
    Panda ying_yang;

    dance(ying_yang);  //正确,把一个Panda对象当成Bear传递
    rummage(ying_yang);//正确,把一个Panda对象当成Raccoon 传递
    cout << ying_yang; //正确,把一个Panda对象当成ZooAnimal传递

    return 0;
}

四、虚基类成员的可见性与隐藏

  • 规则如下:
    • 虚基类的成员没有被任何派生类隐藏,那么该成员可以直接访问,并且不会产生二义性
    • 如果虚基类的成员只被一条派生路径隐藏,则我们仍然可以直接访问这个被隐藏的版本
    • 如果虚基类的成员多多个派生路径隐藏,则会产生二义性
  • 例如,D1和D2虚继承与B,D继承于D1和D2,并且B有一个x成员:
    • 如果D1和D2都没有x的定义:此时对x的访问不会产生二义性,因为只含有x的一个实例
    • 如果D1中有x的定义而D2没有:同样没有二义性,派生类的x比虚基类B的x优先级更高(或者D1中没有x的定义而D2有x的定义)
    • 如果D1和D2都有x的定义:对x的访问会产生二义性

  • 解决二义性最好的办法就是在派生类为成员自定义新的实例

五、虚继承的构造函数

  • 虚继承中的构造函数与普通继承的构造函数不一样:
    • 普通继承:派生类可以不为间接基类(基类的基类)进行构造函数的调用
    • 虚继承:不论派生类属于哪一层,派生类都需要对虚基类进行构造
  • 原因:假设以下间接派生类没有为虚基类进行构造,那么当间接派生类进行构造时,会对虚基类进行重复的构造函数的调用(例如下面的演示案例D如果不显式构造A,那么当构造B和C的时候,B和C都会构造一次A,从而造成错误)。因此我们需要在间接派生类中为虚基类进行构造,从而避免了重复构造的二义性

演示案例

//普通继承
class A {
public:
    A(int a);
};

class B :public A {
public:
    B(int a):A(10) {}
};

class C :public B {
public:
    C() :B(10) {} //可以不为A进行构造,因为A的构造已经交给B了
};
//虚继承
class A {
public:
    A(int a);
};

class B :virtual public A {
public:
    B(int a):A(10) {}
};

class C :virtual public A {
public:
    C(int a) :A(10) {}
};

class D :public B,public C {
public:
    //D() :B(10), C(20) {} 错误的,必须显式为A进行构造
    D() :A(5), B(10), C(20) {} //正确
};

构造函数的执行顺序

  • 规则:虚基类总是先于非虚基类构造,与它们在继承体系中的次序和位置无关
  • 例如,在上面的演示案例中,构造顺序为:A-->B-->C-->D
  • 下面再演示一个有多个虚基类的例子,其构造函数执行熟悉怒为:
    • ZooAnimal
    • ToyAnimal
    • Character
    • BookCharacter
    • Bear
    • TeddyBear

class Character {};
class BookCharacter :public Character {};

class ZooAnimal {};
class Bear :public virtual ZooAnimal {};

class ToyAnimal {};

class ReddyBear :public BookCharacter, public Bear, public virtual ToyAnimal {};
  • 析构函数:析构函数的执行顺序与构造函数执行顺序相反
展开阅读全文
©️2020 CSDN 皮肤主题: 黑客帝国 设计师: 上身试试 返回首页
实付0元
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、C币套餐、付费专栏及课程。

余额充值