c++系列-菱形继承与虚继承

最新推荐文章于 2024-10-01 05:07:35 发布

爱吃不爱吃

最新推荐文章于 2024-10-01 05:07:35 发布

阅读量276

点赞数 4

文章标签： c++

本文链接：https://blog.csdn.net/weixin_57257683/article/details/142237029

版权

首先来看看什么是菱形继承：

当一个类通过多条继承路径继承自同一个基类时，如果没有虚继承，基类的成员可能会在派生类中出现多份冗余拷贝，导致不必要的内存浪费和访问不明确的问题。

### 菱形继承问题
经典的菱形继承结构如下：

```cpp
class A {
public:
int value;
};

class B : public A { };

class C : public A { };

class D : public B, public C { };
```

在这个例子中，`D`类通过`B`和`C`两条路径继承了`A`类，这样`D`类会有两份`A`类的成员（如`value`），造成内存冗余和访问冲突。如果需要访问`A`类的成员，`D`类必须指定是通过`B`还是`C`来访问，代码复杂且不安全。

### 虚继承解决问题
为了解决上述问题，可以使用虚继承，确保基类`A`在派生类中只存在一份拷贝：

```cpp
class A {
public:
int value;
};

class B : virtual public A { };

class C : virtual public A { };

class D : public B, public C { };
```

在这个例子中，`B`和`C`都通过虚继承继承了`A`类，这样`D`类中只会有一份`A`类的拷贝。

### 关键点
1. **单一实例**：虚继承保证了基类在最终的派生类中只会有一份实例。
2. **构造函数调用**：在虚继承中，基类的构造函数由最终派生类负责调用，而不是中间派生类。比如在上面的例子中，`A`的构造函数会由`D`来调用，而不是`B`或`C`。
3. **内存布局复杂性**：虚继承的内存布局比普通继承复杂，编译器会使用虚表（vtable）来记录虚基类的偏移，因此可能会略微影响性能。

### 示例

```cpp
#include <iostream>

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

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"; }
};

int main() {
D d;
d.value = 10; // 通过虚继承，D类中只有一份A的实例
std::cout << "d.value: " << d.value << std::endl;
return 0;
}
```

输出结果为：
```
A constructor
B constructor
C constructor
D constructor
d.value: 10
```

通过虚继承，`D`类只含有一个`A`类的实例，这样就避免了菱形继承的问题。

好到这里我们知道虚继承是用来解决菱形继承的，那么底层原理呢

在 C++ 中，当使用**虚继承**时，编译器会引入一些额外的机制来处理复杂的内存布局，确保虚基类在最终派生类中只存在一份实例。这就是**虚基类表（Virtual Table, vtable）**的作用，它记录虚基类在内存中的位置和偏移，以便在运行时可以正确访问虚基类的成员。

### 虚继承中的内存布局问题