C++继承核心机制与菱形虚拟继承模型解析

继承的定义与权限控制

继承允许程序员在保留原有类（父类）特性的基础上进行扩展，产生的新类称为派生类（子类）。这体现了类设计层次的复用，使程序结构呈现由简单到复杂的层次化认知过程。

继承格式与实例

以一个基础的Person类作为父类，Student类作为学生类为例。Student类在继承Person类后，自动拥有父类的属性和方法，只需补充自身独有的属性即可。

父类定义：

子类定义：

此时，Student类中不仅包含自身的 num 属性，还包含从Person类继承的 name 和 age 属性。

访问限定符与继承关系

继承权限决定了子类能继承的父类成员的“最高”访问级别。不同的继承方式会改变父类成员在子类中的实际访问权限。

• Public继承：不改变类成员的访问权限。父类的 public 保持 public，protected 保持 protected。
• Protected继承：将父类原 public 的成员改为 protected，原有的 protected 不变。
• Private继承：将父类原 public 和 protected 的成员全部变为 private。

需要特别注意以下细节：

1. 私有成员不可直接访问：虽然子类的对象大小中包含父类的 private 成员空间，表明它们已被继承，但子类无法直接访问父类的 private 成员。尝试访问会导致编译错误。

2. 查看类的大小：可以通过 sizeof() 验证子类确实包含了父类的所有成员变量，包括那些无法直接访问的私有成员。

• Protected的意义：protected 修饰符专为继承体系设计，用于限制外部访问同时允许子类访问。
• 实践建议：通常推荐使用 public 继承；若需显式指定，建议使用 class（默认 private）或 struct（默认 public）并显式声明继承权限以避免歧义。
• Class与Struct的区别：主要在于默认的访问权限（class 为 private，struct 为 public），此外模板参数列表中只能用 class。

赋值兼容规则

在 public 继承的前提下，子类可以视为一种特殊的父类，遵循特定的赋值兼容规则。

• 对象赋值：可以使用子类对象给父类对象赋值，但反之则不行。因为子类可能包含父类没有的成员，父类对象不足以容纳子类数据。
• 指针指向：父类指针可以指向子类对象（ slicing 效果仅涉及对象部分），但不能直接使用子类指针指向父类对象。若强制转换，当访问到子类特有成员时会发生越界访问。
• 引用绑定：父类引用可以引用子类对象，原理同指针。

以 Person 类和 Student 类为例：

其背后的内存逻辑如下：

父类指针指向子类时，实际上只看到了子类中从父类继承来的那部分成员。如果子类指针强行指向父类对象，由于父类对象内存布局中没有子类的成员（如 _num），访问这些位置将超出当前对象的内存范围，引发未定义行为，因此编译器禁止此类操作。

继承中的作用域与同名处理

在继承体系中，父类和子类各自拥有独立的作用域。当父子类中出现同名成员时，会发生同名隐藏（Shadowing）。

• 成员变量：子类对象在访问同名变量时，优先访问自己的成员。若需访问父类成员，必须使用作用域限定符 ::。
• 成员函数：只要函数名相同，无论参数列表是否不同，都会构成重定义（隐藏）。这与多态是不同的概念。

演示同名隐藏：

即使修改 Print 函数使其参数不同，看起来像重载，但由于函数名相同且在继承体系中，依然属于同名隐藏，子类重新定义了该函数。

子类的默认成员函数

子类的特殊成员函数在创建、销毁或赋值时，涉及到对父类成员的初始化与清理，必须显式处理。

构造函数

若父类没有显式定义构造函数，或者有全缺省/无参构造函数，子类可以不定义构造函数。但若父类存在非默认的构造函数，子类必须在初始化列表中显式调用父类构造函数。

如果不这样做，编译器尝试调用父类默认拷贝构造函数时会报错，因为父类已无默认构造函数。

正确的构造写法应如下：

构造一个子类对象分为两步：先在初始化列表中初始化父类成员，再执行子类构造函数体以初始化子类新增成员。

拷贝构造函数

同样需要在初始化列表中调用父类的拷贝构造函数。

若父类定义了拷贝构造函数，子类若不显式定义并调用，往往会导致编译错误或浅拷贝问题。

正确写法：

赋值运算符重载

子类的 = 运算符必须调用父类的 = 运算符来赋值父类部分的成员。

析构函数与调用顺序

析构函数调用的顺序与构造函数相反：先析构子类，后析构父类。子类析构函数执行完毕后，会自动调用父类析构函数清理父类成员。

完整的调用顺序图示：

这一顺序确保了资源清理的正确性：先清理子类特有的动态资源，再清理父类的通用资源。

继承与友元、静态成员

友元关系不能继承

友元是单向的权限授予，Friend关系不具备继承性。父亲的好朋友不一定是孩子的好朋友。

如果在Person类中将Display函数声明为友元，该函数可以访问Person的protected成员，但无权访问Student类的任何成员。

静态成员的唯一性

父类定义的static成员在整个继承体系中只有一份实例。无论派生出多少个子类，所有对象共享同一个static变量。

这意味着A、B、C三个类虽然构成继承链，但 _count 在全局内存中仅占据一个位置。

菱形继承及虚拟继承模型

菱形继承的概念

单继承是线性结构，多继承是树状结构。菱形继承是多继承的一种特殊情况，即多个中间类继承自同一个基类，而最终子类又继承这些中间类。

继承类型对比图：

菱形继承典型示例（助教 Assistant 继承自教师 Teacher 和学生 Student，两者均继承自人 Person）：

在该模型下，Assistant对象的大小为20字节（假设各成员占4字节）。其中包含两份Person的成员副本，一份来自Teacher路径，一份来自Student路径。

存在的问题：数据冗余与二义性

• 数据冗余：同一份 _name 和 _age 被存储了两次，浪费内存。
• 二义性：当通过 Assistant 对象访问 _name 时，编译器不知道应当选择Teacher路径还是Student路径的成员，从而产生编译错误。

虽然可以通过 as.Teacher::_name 的方式利用作用域解决二义性，但这无法消除内存冗余的根本问题。

虚拟继承解决方案

通过在中间类的继承权限前添加 virtual 关键字，启用虚拟继承。例如：

class B : virtual public A
{
public:
	int _b;
};

这样处理后，最顶层的父类 A 在整个继承体系中只保留一份成员副本，彻底解决了上述两个问题。

菱形虚拟继承的内存模型

引入虚拟继承后，对象内存布局变得复杂。以最下面的C类对象为例，其大小变为24字节。

通过内存监视观察赋值后的内存分布：

模型解析：

1. 公共基类置底：最顶层父类 A 的成员变量（如 _a）被保存在对象模型的底部，且仅保存一份。
2. 虚基表指针（VBPtr）：中间类（B1、B2）的对象内部含有一个额外的指针，指向虚基表（VBTable）。
3. 虚基表（VBTable）：表中存储的是当前类成员相对于最顶端基类成员（_a）的偏移量。

最终的内存布局结构如图所示：

具体对应关系：

总结来说，虚拟继承通过在对象头部插入虚基表指针，间接寻址最顶层基类的成员。这不仅保证了数据的唯一性，同时也维持了赋值兼容规则，使得可以将 C 类对象安全地赋值给 B1 或 B2 的引用或指针，编译器通过虚表指针自动调整内存地址偏移量。

附录：

以上就是C++继承基本概念、赋值兼容规则与菱形虚拟继承模型内存结构的详细内容，更多关于C++高级特性学习的资料请关注本站其它相关文章！