关于虚继承（在钻石继承体系中，一定要用虚继承！）

在钻石继承体系中，一定要用虚继承！

1.下面的代码块儿无法通过编译，原因是，A3无法确定自己到底是用哪一个父类中的函数。

 

class A{public:virtual void f(){}virtual void g(){}};class A1 : virtual public A{public:virtual void f(){}};class A2:  virtual public A{public:virtual void f(){}};class A3 : public A1, public A2{};

 下面这个通过了编译。原因是，A3确定了自己的实现方式。

class A{public:virtual void f(){}virtual void g(){}};class A1 : virtual public A{public:virtual void f(){}};class A2:  virtual public A{public:virtual void f(){}};class A3 : public A1, public A2{public:virtual void f(){}};

 下面的代码中，A3仍然无法确定自己的实现方式。但是可以定义A3的对象。这是因为每一个函数只有一个虚函数表。

class A{public:virtual void f(){}virtual void g(){}};class A1:  public A{};class A2:  public A{};class A3:  public A1, public A2{};

 同理，下面的代码也能通过编译：

class A{public:virtual void f(){}virtual void g(){}};class A1:  public A //不需要虚继承{public:virtual void f(){}};class A2:  public A //不需要虚继承{public:virtual void g(){}};class A3:  public A1, public A2{};

  同理，下面的代码也能通过编译：

class A{ public:virtual void f(){} };class A1: public A{};class A2: public A{};class A3: public A1, public A2{};

 

但是。这三种方式存在一个致命的弱点，就是，如果不用虚继承。下面的代码无法通过编译：

  A3 a3;   A& a = a3;

 用虚继承：则可通过

class A{public:virtual void f(){}virtual void g(){}};class A1:  virtual public A{public:virtual void f(){}};class A2:  virtual public A{public:virtual void g(){}};class A3:  public A1, public A2{};

 A3 a3; A& a = a3;虚继承的含义是，不一定会为孙子类提供实现。为孙子类提供实现的有可能是自己，也有可能是兄弟，也有可能是父类。在钻石继承体系中，一定要用虚继承来避免在钻石体系中的二义性