C++中的菱形继承问题

小王同学的C++2025-05-23 18:37

假设有一个问题，类似于鸭子这样的动物有很多种，如企鹅和鱿鱼，它们也可能会有一些共同的特性。例如，我们可以有一个叫做 AquaticBird （涉禽，水鸟的一类）的类，它又继承自 Animal 和 SwimmingAnimal，就像这样：

cpp 复制代码

class AquaticBird : public Animal, public SwimmingAnimal {  
    // AquaticBird类既是Animal也是SwimmingAnimal  
};

如果我们同时继承了这两个类，像下图所示，将发生菱形继承：

cpp 复制代码

        Animal  
       /      \
FlyingAnimal   AquaticBird  
        \      /  
         Duck

在这个结构中，Duck 既继承了 FlyingAnimal，也间接继承了 Animal 通过 AquaticBird 的方式。问题在于，如果我们试图调用 Animal 类的方法，例如 eat()，Duck 会造成二义性：它不清楚是通过哪个路径来调用 Animal 类的实例。

那么如何解决菱形继承问题呢

解决菱形继承问题

通过使用虚继承，我们可以确保在最终的 Duck 类中，只有一个 Animal 的实例。

cpp 复制代码

class Animal {  
public:  
    void eat() {  
        std::cout << "Eating food." << std::endl;  
    }  
};  
class FlyingAnimal : virtual public Animal { // 使用virtual  
public:  
    void fly() {  
        std::cout << "Flying." << std::endl;  
    }  
};  
class SwimmingAnimal : virtual public Animal { // 使用virtual  
public:  
    void swim() {  
        std::cout << "Swimming." << std::endl;  
    }  
};  
class Duck : public FlyingAnimal, public SwimmingAnimal {  
    // Duck类继承自FlyingAnimal和SwimmingAnimal  
};

现在，当 Duck 类调用 eat() 方法时，编译器知道只有一份 Animal 的实例，从而避免了二义性。

那么虚继承的底层实现原理是什么呢？

g++ -fdump -class-hlerarchy *.cpp gcc8.0之前

g++ fdump -lang - class *.cpp gcc8.0及以后

通过虚表指针偏移来实现虚继承

父类的vptr都有到共同基类的偏移量，从而让子类多继承是指向同一个"父类的父类"

只有C++有菱形继承

一般不使用菱形继承，但在库里面使用了

如下所示，下面的箭头都是继承，我们就会发现中间出现了菱形继承，iostream继承了istream和ostream。