C++深入探究不同的继承体系

单继承

单继承是最基础的继承形式，指一个子类仅拥有一个直接父类。这种关系结构简单清晰，便于理解和管理。其基本形态如下：

多继承

多继承允许一个子类同时拥有两个或更多个直接父类。这种机制虽然强大，但也引入了复杂的内存布局和控制规则。

继承方式与默认规则

在多继承场景下，为了避免意外的访问权限控制，建议在每个基类名称前明确指定继承方式（public, protected, 或 private）。

如果不显式指定继承方式，编译器会依据类的定义类型应用默认规则：class 定义的类默认采用 private 继承，而 struct 定义的类默认采用 public 继承。这一差异可能直接影响派生类对基类成员的访问权限。

对象模型与继承顺序

多继承的子类对象模型会随着基类继承的先后顺序而变化。这意味着基类在内存中的排列位置取决于声明的顺序。

情况 Ⅰ：先继承 Base1，再继承 Base2

情况 Ⅱ：先继承 Base2，再继承 Base1

菱形继承及其问题

菱形继承是单继承与多继承结合产生的特殊结构，通常涉及两个中间类共同继承同一个顶层基类，而最终子类又同时继承这两个中间类。

概念图解

核心问题

菱形继承在编译和运行时可能引发两个严重问题：

1. 二义性问题：最顶层基类的成员变量或方法在最终子类中存在两份拷贝。当直接通过最终子类实例访问这些共有成员时，编译器无法确定具体访问哪一份，导致调用不明确。
2. 数据冗余问题：由于顶层基类的内容在最终子类中被复制了多次，如果基类包含大量成员或较大体积的数据，这将造成严重的内存空间浪费。

常规解决方案的局限性

仅通过作用域限定符（如 Base::func()）来解决访问二义性，并不能消除内存中的数据冗余，因此不是根本解决办法。

菱形虚拟继承

为了解决菱形继承带来的二义性和冗余问题，C++ 引入了 virtual 关键字来实现虚拟继承。

什么是虚拟继承

当在继承列表中通过 virtual 关键字修饰时，该继承关系即为虚拟继承。其核心目的是确保在最底层的派生类中，共同的基类只存在唯一的一份实例。

内存层面的变化

启用虚拟继承后，类的内存布局会发生显著改变。编译器不再简单地按顺序拼接基类数据，而是引入额外的机制（如虚基类指针）来间接管理共有的基类成员，从而保证数据的单一性。

与普通单/多继承的区别

虚拟继承相较于普通继承，主要在以下四个方面存在区别：

实现示例与分析

以下是通过虚拟继承解决菱形问题的标准实现：

class Base
{
protected:
	int _b;
};
class Derived1 : virtual public Base
{
protected:
	int _d1;
};
class Derived2 : virtual public Base
{
protected:
	int _d2;
};
class D : public Derived1, public Derived2
{
public:
	D()
	{
	}
	void Func()
	{
		_b = 1; // 直接访问唯一的_base
		_d1 = 2;
		_d2 = 3;
	}
protected:
	int _dd;
};
int main()
{
	D d;
	d.Func();
	return 0;
}

执行分析表明，在使用虚拟继承后，D 类的对象模型中，Base 部分的成员 _b 仅在内存中存储了一份。这从根源上解决了菱形继承的二义性和数据冗余问题。

总结而言，菱形虚拟继承是通过让最顶层基类的成员在最底层子类中只存储一份的方式来解决冲突的。

补充说明

关于虚拟继承的具体机制及与其他继承方式的对比细节，可参考相关图示说明：

以上就是的详细内容，更多关于的资料请关注本站其它相关文章！