【C++高级主题】虚继承

news2025/6/7 0:35:21

目录

一、菱形继承：虚继承的 “导火索”

1.1 菱形继承的结构与问题

1.2 菱形继承的核心矛盾：多份基类实例

1.3 菱形继承的具体问题：二义性与数据冗余

二、虚继承的语法与核心目标

2.1 虚继承的声明方式

2.2 虚继承的核心目标

三、虚继承的底层实现：虚基类表与内存布局

3.1 虚基类表（Virtual Base Table，vbtable）

3.2 虚继承的内存布局（以 D 对象为例）

3.3 地址定位的底层逻辑

3.4 与普通继承的关键区别

四、虚继承的构造与析构顺序

4.1 构造函数的调用规则

4.2 析构函数的调用顺序

五、虚继承的性能影响与权衡

5.1 内存开销：额外的 vbptr 与 vbtable

5.2 访问延迟：动态计算虚基类地址

5.3 适用场景的权衡

六、虚继承的常见误区与最佳实践

6.1 误区一：虚继承可以解决所有多重继承问题

6.2 误区二：所有基类都应声明为虚继承

6.3 最佳实践：明确虚基类的构造责任

6.4 最佳实践：结合虚函数实现多态接口

七、总结

八、附录：代码示例

8.1 菱形继承的二义性与虚继承解决方案

8.2 虚继承的构造与析构顺序验证 

在 C++ 面向对象编程中，多重继承（Multiple Inheritance）允许一个类继承多个基类的特性，这在设计复杂系统（如 “可序列化”+“可绘制” 的图形组件）时非常有用。但多重继承也带来了一个经典问题 ——菱形继承（Diamond Inheritance）：当派生类通过不同路径继承同一个公共基类时，公共基类会在派生类中生成多份实例，导致数据冗余和访问二义性。

虚继承（Virtual Inheritance）正是为解决这一问题而生的核心机制。本文从菱形继承的痛点出发，深入解析虚继承的语法规则、底层实现（虚基类表与内存布局）、构造 / 析构顺序，以及实际开发中的最佳实践。

一、菱形继承：虚继承的 “导火索”

1.1 菱形继承的结构与问题

菱形继承的典型结构如下：

  • 顶层基类 A（公共祖先）。
  • 中间类 B 和 C 均继承自 A。
  • 最终派生类 D 同时继承 B 和 C。

类关系图：

1.2 菱形继承的核心矛盾：多份基类实例

在普通继承（非虚继承）下，D 对象的内存布局包含：

  • B 子对象（包含 B::A 实例）。
  • C 子对象（包含 C::A 实例）。
  • D 自身的成员。

内存布局示意图（普通继承） 

1.3 菱形继承的具体问题：二义性与数据冗余

  • 二义性（Ambiguity）：当 D 访问 A 的成员（如 D::value）时，编译器无法确定应访问 B::A::value 还是 C::A::value，导致编译错误。
  • 数据冗余：A 的成员在 D 对象中存储两次，浪费内存。

代码示例：菱形继承的二义性

#include <iostream>

class A {
public:
    int value = 100;
};

class B : public A {};  // B继承A（普通继承）
class C : public A {};  // C继承A（普通继承）
class D : public B, public C {};  // D继承B和C

int main() {
    D d;
    // std::cout << d.value << std::endl;  // 编译错误：'value' is ambiguous（d.B::A::value 或 d.C::A::value）
    return 0;
}

错误信息：

二、虚继承的语法与核心目标

2.1 虚继承的声明方式

在 C++ 中，通过 virtual 关键字声明虚继承，确保公共基类在派生类中仅存一份实例。语法如下： 

class 中间类 : virtual public 公共基类 { ... };  // 虚继承声明

2.2 虚继承的核心目标

虚继承的核心是解决菱形继承的两大问题：

  1. 消除二义性：公共基类在最终派生类中仅存一份实例，成员访问无歧义。
  2. 减少数据冗余：避免公共基类的多份拷贝，节省内存。

代码示例：虚继承解决菱形问题

#include <iostream>

class A {
public:
    int value = 100;
};

class B : virtual public A {};  // B虚继承A
class C : virtual public A {};  // C虚继承A
class D : public B, public C {};  // D继承B和C（此时A在D中仅存一份实例）

int main() {
    D d;
    d.value = 200;  // 无歧义，操作唯一的A实例
    std::cout << "d.B::A::value: " << d.B::value << std::endl;  // 输出200
    std::cout << "d.C::A::value: " << d.C::value << std::endl;  // 输出200（与d.B::value共享同一份数据）
    return 0;
}

输出结果

三、虚继承的底层实现：虚基类表与内存布局

3.1 虚基类表（Virtual Base Table，vbtable）

虚继承的底层实现依赖虚基类表（vbtable）和虚基类指针（vbptr）：

  • vbptr：每个包含虚基类的派生类对象会额外存储一个指针（vbptr），通常位于对象内存的起始位置（或编译器规定的固定位置）。
  • vbtable：vbptr 指向的表，记录了该派生类到虚基类的偏移量（Offset），用于运行时定位虚基类实例的地址。

3.2 虚继承的内存布局（以 D 对象为例）

在虚继承下，D 对象的内存布局包含：

  1. B 子对象（含 B 的 vbptr）。
  2. C 子对象（含 C 的 vbptr）。
  3. D 自身的成员。
  4. 唯一的 A 实例（虚基类）。

内存布局示意图（虚继承） 

3.3 地址定位的底层逻辑

当通过 B 或 C 访问虚基类 A 的成员时，编译器会：

  1. 获取 B 或 C 子对象的 vbptr（如 B 的 vbptr 地址为 0x1000）。
  2. 通过 vbptr 找到对应的 vbtable（如 B 的 vbtable 地址为 0x1000 指向的位置）。
  3. 读取 vbtable 中存储的偏移量（如 0x14），计算 A 实例的实际地址：B子对象起始地址（0x1000） + 偏移量（0x14） = 0x1014（与 A 实例的地址一致）。

3.4 与普通继承的关键区别

特性普通继承虚继承
公共基类实例数量多个（与继承路径数相同）仅 1 个（共享实例）
内存布局基类子对象按声明顺序排列基类子对象可能分散，虚基类在末尾
成员访问方式直接通过偏移量访问通过 vbptr + vbtable 动态计算
构造函数调用责任中间类调用公共基类构造函数最终派生类直接调用公共基类构造函数

四、虚继承的构造与析构顺序

4.1 构造函数的调用规则

在虚继承中，虚基类的构造函数由最终派生类直接调用，中间类（如 B 和 C）不再负责调用虚基类的构造函数。这是为了确保虚基类仅被构造一次。

构造顺序（以 D 为例）

  1. 虚基类 A 的构造函数（由 D 调用）。
  2. 非虚基类的构造函数（按声明顺序：B → C）。
  3. 派生类 D 自身的构造函数。

代码示例：构造函数调用顺序验证 

#include <iostream>

class A {
public:
    A() { std::cout << "A构造" << std::endl; }
};

class B : virtual public A {  // 虚继承A
public:
    B() { std::cout << "B构造" << std::endl; }
};

class C : virtual public A {  // 虚继承A
public:
    C() { std::cout << "C构造" << std::endl; }
};

class D : public B, public C {
public:
    D() { std::cout << "D构造" << std::endl; }
};

int main() {
    D d;
    return 0;
}

输出结果 

4.2 析构函数的调用顺序

析构顺序与构造顺序严格相反：

  1. 派生类 D 自身的析构函数。
  2. 非虚基类的析构函数（按声明逆序：C → B）。
  3. 虚基类 A 的析构函数。

代码示例：析构函数调用顺序验证 

#include <iostream>

class A {
public:
    ~A() { std::cout << "A析构" << std::endl; }
};

class B : virtual public A {
public:
    ~B() { std::cout << "B析构" << std::endl; }
};

class C : virtual public A {
public:
    ~C() { std::cout << "C析构" << std::endl; }
};

class D : public B, public C {
public:
    ~D() { std::cout << "D析构" << std::endl; }
};

int main() {
    D* d = new D;
    delete d;
    return 0;
}

输出结果 

五、虚继承的性能影响与权衡

5.1 内存开销：额外的 vbptr 与 vbtable

每个包含虚基类的派生类对象需要额外存储一个 vbptr（通常占 8 字节，64 位系统），且每个虚基类对应一个 vbtable（全局仅一份，不影响单个对象内存）。这会增加对象的内存占用，尤其对于小型对象（如仅含几个字节的类），内存开销的比例可能较高。

5.2 访问延迟：动态计算虚基类地址

通过虚基类成员的访问需要经过 vbptr → vbtable → 偏移量计算，比普通继承的静态偏移量访问多一步查表操作。对于高频访问的成员（如游戏中的角色属性），这可能带来可感知的性能下降。

5.3 适用场景的权衡

虚继承是典型的 “空间换一致性” 方案，建议在以下场景使用：

  • 公共基类存在共享状态（如配置参数、全局计数器）。
  • 菱形继承无法避免（如接口继承 + 实现继承的混合设计）。
  • 需要消除成员访问的二义性。

六、虚继承的常见误区与最佳实践

6.1 误区一：虚继承可以解决所有多重继承问题

虚继承仅解决菱形继承的公共基类二义性，无法解决非菱形结构的成员冲突（如两个无关基类的同名成员）。此时仍需通过显式作用域限定或派生类重写解决。

6.2 误区二：所有基类都应声明为虚继承

虚继承会增加内存开销和访问复杂度，仅在需要共享公共基类实例时使用。对于独立功能的基类（如 “日志类”+“网络类”），普通继承更高效。

6.3 最佳实践：明确虚基类的构造责任

在最终派生类中显式调用虚基类的构造函数（若虚基类无默认构造函数），避免编译错误。例如： 

class A {
public:
    A(int val) : value(val) {}  // 无默认构造函数
    int value;
};

class B : virtual public A {
public:
    B() : A(0) {}  // 中间类仍需在构造函数初始化列表中调用A的构造函数（但会被最终派生类覆盖）
};

class D : public B, public C {
public:
    D() : A(100) {}  // 最终派生类显式调用A的构造函数（覆盖中间类的调用）
};

6.4 最佳实践：结合虚函数实现多态接口

虚继承常与虚函数配合使用，实现 “接口共享 + 状态共享” 的复杂多态。例如，定义虚基类为纯虚接口，派生类通过虚继承共享接口，并通过虚函数实现多态行为。

七、总结

虚继承是 C++ 为解决菱形继承问题设计的关键机制，通过 virtual 关键字声明，确保公共基类在最终派生类中仅存一份实例，消除二义性并减少数据冗余。其底层依赖虚基类指针（vbptr）和虚基类表（vbtable）实现动态地址定位，构造 / 析构顺序由最终派生类直接控制。

尽管虚继承在复杂系统中不可替代，现代 C++ 设计更倾向于通过 组合模式（Composition）和接口继承（纯虚类）减少多重继承的使用。例如，用 “对象包含” 替代 “类继承”，用纯虚接口定义行为，避免状态共享带来的复杂性。

八、附录：代码示例

8.1 菱形继承的二义性与虚继承解决方案

#include <iostream>

// 公共基类A
class A {
public:
    int value = 100;
};

// 中间类B和C虚继承A
class B : virtual public A {};
class C : virtual public A {};

// 最终派生类D继承B和C
class D : public B, public C {};

int main() {
    D d;
    d.value = 200;  // 无歧义，操作唯一的A实例

    // 验证A实例的唯一性
    std::cout << "d.B::value: " << d.B::value << std::endl;  // 200
    std::cout << "d.C::value: " << d.C::value << std::endl;  // 200
    std::cout << "&d.B::A: " << &d.B::value << std::endl;    // 相同地址
    std::cout << "&d.C::A: " << &d.C::value << std::endl;    // 相同地址
    return 0;
}

输出结果  

8.2 虚继承的构造与析构顺序验证 

#include <iostream>

class A {
public:
    A() { std::cout << "A构造" << std::endl; }
    ~A() { std::cout << "A析构" << std::endl; }
};

class B : virtual public A {
public:
    B() { std::cout << "B构造" << std::endl; }
    ~B() { std::cout << "B析构" << std::endl; }
};

class C : virtual public A {
public:
    C() { std::cout << "C构造" << std::endl; }
    ~C() { std::cout << "C析构" << std::endl; }
};

class D : public B, public C {
public:
    D() { std::cout << "D构造" << std::endl; }
    ~D() { std::cout << "D析构" << std::endl; }
};

int main() {
    std::cout << "--- 构造顺序 ---" << std::endl;
    D* d = new D;

    std::cout << "\n--- 析构顺序 ---" << std::endl;
    delete d;
    return 0;
}

输出结果   

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.coloradmin.cn/o/2400712.html

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈，一经查实，立即删除！

相关文章

基于 ZYNQ 的实时运动目标检测系统设计

基于 ZYNQ 的实时运动目标检测系统设计

摘 要: 传统视频监控系统在实时运动目标检测时&#xff0c;存在目标检测不完整和目标检测错误的局限 性 。 本研究基于体积小 、 实时性高的需求&#xff0c;提出了一种将动态三帧差分法与 Sobel 边缘检测算法结 合的实时目标检测方法&#xff0c;并基于 ZYNQ 构建了视频…
阅读更多...
[华为eNSP] 在eNSP上实现IPv4地址以及IPv4静态路由的配置

[华为eNSP] 在eNSP上实现IPv4地址以及IPv4静态路由的配置

设备名称配置 重命名设备以及关闭信息提示 此处以R1演示&#xff0c;R2R3以此类推 <Huawei>system-view [Huawei]sysname R1#关闭提示 undo info-center enable 配置路由接口IP地址 R1 [R1]interface GigabitEthernet 0/0/1[R1-GigabitEthernet0/0/1]ip address 10.0.…
阅读更多...
2024年第十五届蓝桥杯青少组c++国赛真题——快速分解质因数

2024年第十五届蓝桥杯青少组c++国赛真题——快速分解质因数

2024年第十五届蓝桥杯青少组c国赛真题——快速分解质因数 题目可点下方去处&#xff0c;支持在线编程&#xff0c;在线测评&#xff5e; 快速分解质因数_C_少儿编程题库学习中心-嗨信奥 题库收集了历届各白名单赛事真题和权威机构考级真题&#xff0c;覆盖初赛—省赛—国赛&am…
阅读更多...
【动手学MCP从0到1】2.1 SDK介绍和第一个MCP创建的步骤详解

【动手学MCP从0到1】2.1 SDK介绍和第一个MCP创建的步骤详解

SDK介绍和第一个MCP 1. 安装SDK2. MCP通信协议3. 基于stdio通信3.1 服务段脚本代码3.2 客户端执行代码3.2.1 客户端的初始化设置3.2.2 创建执行进行的函数3.2.3 代码优化 4. 基于SSE协议通信 1. 安装SDK 开发mcp项目&#xff0c;既可以使用Anthropic官方提供的SDK&#xff0c;…
阅读更多...
测试面试题总结一

测试面试题总结一

目录 列表、元组、字典的区别 nvicat连接出现问题如何排查 mysql性能调优 python连接mysql数据库方法 参数化 pytest.mark.parametrize 装饰器 list1 [1,7,4,5,5,6] for i in range(len(list1): assert list1[i] < list1[i1] 这段程序有问题嘛&#xff1f; pytest.i…
阅读更多...
【深度学习】14. DL在CV中的应用章：目标检测: R-CNN, Fast R-CNN, Faster R-CNN, MASK R-CNN

【深度学习】14. DL在CV中的应用章：目标检测: R-CNN, Fast R-CNN, Faster R-CNN, MASK R-CNN

深度学习在计算机视觉中的应用介绍 深度卷积神经网络&#xff08;Deep convolutional neural network&#xff0c; DCNN&#xff09;是将深度学习引入计算机视觉发展的关键概念。通过模仿生物神经系统&#xff0c;深度神经网络可以提供前所未有的能力来解释复杂的数据模式&…
阅读更多...
UE 材质基础第三天

UE 材质基础第三天

飘动的旗帜 错乱的贴图排序&#xff0c;创建一个材质函数 可以用在地面材质 体积云材质制作 通过网盘分享的文件&#xff1a;虚幻引擎材质宝典.rar 链接: https://pan.baidu.com/s/1AYRz2V5zQFaitNPA5_JbJw 提取码: cz1q --来自百度网盘超级会员v6的分享
阅读更多...
【Github/Gitee Webhook触发自动部署-Jenkins】

【Github/Gitee Webhook触发自动部署-Jenkins】

Github/Gitee Webhook触发自动部署-Jenkins #mermaid-svg-hRyAcESlyk5R2rDn {font-family:"trebuchet ms",verdana,arial,sans-serif;font-size:16px;fill:#333;}#mermaid-svg-hRyAcESlyk5R2rDn .error-icon{fill:#552222;}#mermaid-svg-hRyAcESlyk5R2rDn .error-tex…
阅读更多...
新松机械臂 2001端口服务的客户端例程

新松机械臂 2001端口服务的客户端例程

初级代码游戏的专栏介绍与文章目录-CSDN博客 我的github&#xff1a;codetoys&#xff0c;所有代码都将会位于ctfc库中。已经放入库中我会指出在库中的位置。 这些代码大部分以Linux为目标但部分代码是纯C的&#xff0c;可以在任何平台上使用。 源码指引&#xff1a;github源…
阅读更多...
电脑网络重置，找不到原先自家的WIFI，手机还能正常连接并上网

电脑网络重置，找不到原先自家的WIFI，手机还能正常连接并上网

问题排查&#xff1a;1、电脑感觉网络太慢&#xff0c;因此打算点击了网络重置 2、点击提示会删除网络&#xff0c;在五分钟后关机重启 3、从设备管理器设备的无线wifi属性-事件中发现删除记录 4、选择更新驱动程序 5、从列表中选取 6、更改回老驱动版本 备选方案&#…
阅读更多...
期末复习（学习）之机器学习入门基础

期末复习（学习）之机器学习入门基础

上课没听过报道。欢迎补充交流&#xff01; 前言&#xff1a;老师画的重点其实可以完全不用看&#xff0c;我这里只是看了一眼书顺着书本敲一遍。 比较干货的部分&#xff0c;直接看学习通的内容就好。最重要的是把学习通的内容记好。 目录 老师划的重点&#xff1a;P50 结构…
阅读更多...
网络各类型（BMA,NBMA,P2P）

网络各类型（BMA,NBMA,P2P）

网络类型—基于二层&#xff08;数据链路层&#xff09;使用的协议不同从而导致数据包封装方式不同&#xff0c;工作方式也有所区别&#xff0c;从而对网络本身进行分类 一、网络类型分类 2. 关键差异对比 1. HDLC&#xff08;高级数据链路控制协议&#xff09; 协议特点&…
阅读更多...
【计算机网络】第3章：传输层—概述、多路复用与解复用、UDP

【计算机网络】第3章：传输层—概述、多路复用与解复用、UDP

目录 一、概述和传输层服务 二、多路复用与解复用 三、无连接传输&#xff1a;UDP 四、总结 &#xff08;一&#xff09;多路复用与解复用 &#xff08;二&#xff09;UDP 一、概述和传输层服务 二、多路复用与解复用 三、无连接传输&#xff1a;UDP 四、总结 &#xff08…
阅读更多...
神经符号AI的企业应用：结合符号推理与深度学习的混合智能

神经符号AI的企业应用：结合符号推理与深度学习的混合智能

&#x1f4a1; 技术前沿&#xff1a; 神经符号AI代表了人工智能发展的新阶段&#xff0c;它将深度学习的模式识别能力与符号推理的逻辑分析能力有机结合&#xff0c;创造出更加智能、可解释且可靠的AI系统。这种混合智能技术正在重塑企业的智能化应用&#xff0c;从自动化决策到…
阅读更多...
VSCode 中 C/C++ 安装、配置、使用全攻略：小白入门指南

VSCode 中 C/C++ 安装、配置、使用全攻略：小白入门指南

引言 本文为Windows系统下安装配置与使用VSCode编写C/C代码的完整攻略&#xff0c;示例机器为Windows11。 通过本文的指导&#xff0c;你可以成功在Windows 机器上上使用VSCode进行C/C开发。 在文章开始之前&#xff0c;你可以先阅读下面这段话&#xff0c;以便于对步骤有个大…
阅读更多...
重温经典算法——希尔排序

重温经典算法——希尔排序

版权声明 本文原创作者&#xff1a;谷哥的小弟作者博客地址&#xff1a;http://blog.csdn.net/lfdfhl 基本原理 希尔排序是插入排序的改进版&#xff0c;通过按增量分组并逐步缩小增量实现排序。时间复杂度取决于增量序列&#xff0c;平均约为 O(n log n) 到 O(n^(3/2))&…
阅读更多...
CortexON：开源的多代理AI系统无缝自动化和简化日常任务

CortexON：开源的多代理AI系统无缝自动化和简化日常任务

简介 CortexON是一个开源的多代理AI系统&#xff0c;灵感来自Manus和OpenAI DeepResearch等高级代理平台。CortexON旨在无缝自动化和简化日常任务&#xff0c;擅长执行复杂的工作流程&#xff0c;包括全面的研究任务、技术操作和复杂的业务流程自动化。 技术架构 CortexON的技…
阅读更多...
海信IP810N-海思MV320芯片-安卓9-2+16G-免拆优盘卡刷固件包

海信IP810N-海思MV320芯片-安卓9-2+16G-免拆优盘卡刷固件包

海信IP810N-海思MV320芯片-安卓9-216G-免拆优盘卡刷固件包 线刷方法&#xff1a;&#xff08;新手参考借鉴一下&#xff09; 1.准备一个优盘&#xff0c;最佳是4G&#xff0c;卡刷强刷刷机&#xff0c;用一个usb2.0的8G以下U盘&#xff0c;fat32&#xff0c;2048块单分区格式化…
阅读更多...
2025年6月4日收获

2025年6月4日收获

Authorization Authorization是一种通用的、标准化的权限控制和认证的通用框架&#xff0c;它能够使跨系统和跨域的身份验证和授权管理更容易&#xff0c;使不同应用程序之间能够更轻松地实现单点登录&#xff08;SSO&#xff09;、用户身份验证和授权控制等。 在前端使用 axi…
阅读更多...
leetcode hot100 链表（二）

leetcode hot100 链表（二）

书接上回&#xff1a; leetcode hot100 链表&#xff08;一&#xff09;-CSDN博客 8.删除链表的倒数第N个结点 class Solution { public:ListNode* removeNthFromEnd(ListNode* head, int n) {ListNode* currhead;int len0;while(curr){currcurr->next;len;}int poslen-n…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023