虚拟继承

在C++中，使用virtual关键字进行虚拟继承会对基类和子类产生一定影响，主要体现在内存布局、构造顺序、访问方式等方面。以下是虚拟继承对基类和子类的具体影响。

1. 基类的影响

当基类被虚拟继承时，子类和派生类只会保留一个基类的实例，不管继承路径如何复杂。虚拟继承的关键影响如下：

虚基类的实例唯一性：在虚拟继承的情况下，最终派生类只会保留一个基类实例，避免了多重继承时产生多个副本的问题。
构造函数的要求：基类的构造函数在虚拟继承时会有特殊调用顺序。最终派生类负责初始化虚基类实例，而不是中间派生类。
内存布局的改变：编译器会为虚基类实例增加一个虚基类指针（vptr），以确保虚基类在所有派生类中共享一个实例。这会使基类的内存布局更复杂。

2. 子类（派生类）的影响

虚拟继承对派生类的影响体现在构造函数、初始化顺序、内存布局等方面：

构造顺序：在普通继承中，子类的构造函数负责调用其直接基类的构造函数。而在虚拟继承中，最终派生类负责初始化虚基类。因此，虚基类的构造顺序不再严格按照派生层次，而是由最终派生类统一管理。

例如，在以下代码中，D作为最终派生类负责初始化A，而非B或C：

class A {
public:
    A() { std::cout << "A constructor\n"; }
};

class B : virtual public A {
public:
    B() { std::cout << "B constructor\n"; }
};

class C : virtual public A {
public:
    C() { std::cout << "C constructor\n"; }
};

class D : public B, public C {
public:
    D() { std::cout << "D constructor\n"; }
};

// 输出顺序：A constructor -> B constructor -> C constructor -> D constructor

内存布局：在子类中，由于虚拟继承的存在，编译器会增加虚基类表和虚基类指针来保证所有派生类共享一个基类实例。虚基类指针会增加一些内存开销。
访问方式：由于存在虚基类表，访问虚基类成员可能会有一层间接访问的开销。派生类通过虚基类指针找到共享的基类实例，然后再访问基类的成员变量和方法。
构造函数与析构函数的调用：在构造和析构时，虚基类的构造函数只调用一次，由最底层的派生类负责。这意味着中间派生类的构造函数不会多次调用虚基类的构造函数。

示例代码分析

以下是带虚拟继承的完整代码示例和执行顺序：

#include <iostream>

class A {
public:
    int value;
    A() : value(10) { std::cout << "A Constructor\n"; }
    ~A() { std::cout << "A Destructor\n"; }
};

class B : virtual public A {
public:
    B() { std::cout << "B Constructor\n"; }
    ~B() { std::cout << "B Destructor\n"; }
};

class C : virtual public A {
public:
    C() { std::cout << "C Constructor\n"; }
    ~C() { std::cout << "C Destructor\n"; }
};

class D : public B, public C {
public:
    D() { std::cout << "D Constructor\n"; }
    ~D() { std::cout << "D Destructor\n"; }
};

int main() {
    D d;
    std::cout << "Value: " << d.value << std::endl;
    return 0;
}

输出：

A Constructor
B Constructor
C Constructor
D Constructor
Value: 10
D Destructor
C Destructor
B Destructor
A Destructor

分析：

A的构造函数在派生类D的构造中仅被调用一次，证明虚基类在最终派生类中只保留一个实例。
析构顺序和构造顺序相反：D→C→B→A。

虚拟继承的优缺点总结

优点：避免菱形继承的副本冗余和访问二义性，提供了一种更合理的多重继承方式。
缺点：由于额外的虚基类指针（vptr）和间接访问，增加了内存和运行时的少量开销，且代码结构复杂性增加。

总结

在C++中使用虚拟继承可以有效解决菱形继承问题，使派生类能够共享一个基类实例。但同时，它会影响类的构造顺序、内存布局，并引入额外的间接访问成本。因此，应根据项目需求合理选择是否使用虚拟继承。

Previous继承vs虚拟继承 Next多态

Last updated 8 months ago