从纯虚类到普通类:提升C++ ABI兼容性的策略
在C++编程中,纯虚类(也被称为抽象类)通常用于定义接口,而普通类则包含具体的实现。然而,在某些情况下,将纯虚类转换为普通类并提供默认实现,可以显著提升应用程序二进制接口(ABI)的兼容性。本文将深入探讨这一策略,解释其背后的理论依据,对比纯虚类与普通类的优缺点,并展示相应的应用场景和代码示例。
一、理论依据
在C++中,每个包含虚函数的类都有一个与之关联的虚函数表(vtable)。这个表包含了指向该类所有虚函数的指针。当类被继承时,派生类的vtable会继承基类的vtable,并添加自己的虚函数。如果基类中的虚函数签名发生变化(例如添加新的纯虚函数),那么派生类的vtable也会相应地改变,这可能导致二进制不兼容。
通过为纯虚函数提供默认实现,我们实际上是在基类中定义了一个具体的函数体。这样,即使我们在基类中添加了新的虚函数或改变了现有虚函数的行为,只要这些变化不影响到已经发布的二进制版本,就不会影响派生类的vtable布局。因此,这种方法有助于保持旧版本库与新版本库之间的二进制兼容性。
提高二进制兼容性和减少编译依赖方面同样可参考: 设计模式-PIMPL 模式
二、纯虚类 vs 普通类:优缺点对比
1. 纯虚类(抽象类)
-
优点:
- 强制实现:确保所有派生类都必须提供特定功能的实现。
- 明确接口:清晰地表达了这是一个接口,不允许实例化。
-
缺点:
- ABI 不兼容:任何对虚函数的更改都会导致派生类的vtable变化,可能引起二进制不兼容。
- 无默认行为:不能为接口提供默认实现,除非将其变为非纯虚函数。
2. 普通类
-
优点:
- 默认实现:可以为接口提供默认实现,便于维护和扩展。
- ABI 兼容性:通过提供默认实现,减少了vtable变化的可能性,提高了二进制兼容性。
-
缺点:
- 可能允许实例化:如果不小心,可能会实例化这个类,尽管它本来应该作为接口使用(可以通过将构造函数设为protected或private来避免)。
- 接口不够明确:不如纯虚类那样直观地表达这是一个接口(可以通过命名约定和文档来弥补)。
三、应用场景
- 长期维护的库:对于需要长期维护并可能有多个版本同时使用的库来说,提供默认实现可以减少更新带来的风险,保护现有的二进制接口。
- 框架和插件系统:在框架或插件系统中,提供默认实现可以让开发者更容易地扩展系统,同时保持系统的稳定性和一致性。
- 跨平台开发:在不同平台上编译和链接代码时,确保二进制兼容性是非常重要的,尤其是在使用静态库的时候。
四、代码示例
以下是一个简单的代码示例,展示了如何将纯虚类转换为包含默认实现的普通类。
// 纯虚类(接口)定义
class IShape {
public:virtual ~IShape() = default;virtual double area() const = 0; // 纯虚函数virtual double perimeter() const = 0; // 纯虚函数
};// 具体实现类(圆形)
class Circle : public IShape {
public:Circle(double radius) : radius_(radius) {}double area() const override { return 3.141592653589793 * radius_ * radius_; }double perimeter() const override { return 2 * 3.141592653589793 * radius_; }
private:double radius_;
};// 转换为包含默认实现的普通类
class Shape {
public:virtual ~Shape() = default;virtual double area() const { return 0.0; } // 默认实现virtual double perimeter() const { return 0.0; } // 默认实现
};// 具体实现类(矩形,继承自普通类)
class Rectangle : public Shape {
public:Rectangle(double width, double height) : width_(width), height_(height) {}double area() const override { return width_ * height_; }double perimeter() const override { return 2 * (width_ + height_); }
private:double width_;double height_;
};
在这个例子中,IShape是一个纯虚类接口,定义了area和perimeter两个纯虚函数。Circle类实现了这个接口。然后,我们将IShape转换为一个包含默认实现的普通类Shape,并添加了一个具体实现类Rectangle。在Shape类中,area和perimeter函数有默认实现,这意味着任何继承自Shape的类都可以选择性地覆盖这些函数。
五、注意事项
虽然这种方法有助于提高ABI兼容性,但它并不能完全消除所有可能的二进制不兼容问题。例如,如果修改了类的数据成员或改变了非虚函数的行为,仍然可能会导致二进制不兼容。因此,在设计库时,应当综合考虑各种因素,以确保最佳的兼容性和稳定性。
相关文章:
从纯虚类到普通类:提升C++ ABI兼容性的策略
在C编程中,纯虚类(也被称为抽象类)通常用于定义接口,而普通类则包含具体的实现。然而,在某些情况下,将纯虚类转换为普通类并提供默认实现,可以显著提升应用程序二进制接口(ABI&#…...
QT中如何限制 限制QLineEdit只能输入字母,或数字,或某个范围内数字等限制约束?
在 Qt 中,你可以通过多种方式来限制 QLineEdit 只能输入特定类型的字符,如字母、数字或某个范围内的数字。以下是一些常见的方法: 1. 使用输入验证器(QIntValidator, QDoubleValidator, QRegExpValidator) Qt 提供了…...
Tailwind CSS 使用简介
参考网站安装 - Tailwind CSS 中文网 号称是开始使用 Tailwind CSS 通过 npm 安装 tailwindcss,并创建你的 tailwind.config.js 文件。 npm install -D tailwindcss npx tailwindcss init 在 tailwind.config.js 文件中添加所有模板文件的路径。 /** type {im…...
iOS 逆向学习 - iOS Architecture Cocoa Touch Layer
iOS 逆向学习 - iOS Architecture Cocoa Touch Layer 一、Cocoa Touch Layer 简介二、Cocoa Touch Layer 的核心功能1. UIKit2. Event Handling(事件处理)3. Multitasking(多任务处理)4. Push Notifications(推送通知&…...
C语言实现库函数strlen
size_t是 unsigned int fgets会读入\n,用strcspn函数除去 assert判读指针是否为空指针,使用前要引头文件<assert.h> #include <stdio.h> #include <assert.h> size_t mystrlen(const char* str) {assert(str);size_t count 0;while …...
050_小驰私房菜_MTK Camera debug, data rate 、mipi_pixel_rate 确认
mipi_pixel_rate = data rate * 4 / 10 (4 是表示4lane,10表示raw数据是10bit) mipi_pixel_rate 信息,我们可以通过 sentest命令打印看到: 下面的信息我们可以看到,mipi_pixel_rate = 501.357739Mpps,mipi rate = 10000000,是对应的我们驱动文件里面配置写的mipi_pixel_r…...
(六)vForm 动态表单(数据量大,下拉选卡顿问题)
系列文章目录 (一)vForm 动态表单设计器之使用 (二)vForm 动态表单设计器之下拉、选择 (三)vForm 动态表单解决下拉框无数据显示id问题 (四)vForm 动态表单自定义组件、属性 (五)vForm 动态表单文件上传、下载 文章目录 目录 前言 一、组件改造 1.添加分页所需参…...
【mybatis-plus问题集锦系列】mybatis使用xml配置文件实现数据的基础增删改查
简单的数据查询,我们可以在mapper接口里面去实现,但是如果是复杂的查询,我们就可以使用xml配置文件去做, 官网链接xml配置文件 实现效果 实现代码 根据mapper接口的包结构,在resources包里面新建同名同结构的xml文件…...
投稿指南【NO.12_14】【极易投中】期刊投稿(毛纺科技)
近期有不少同学咨询投稿期刊的问题,大部分院校的研究生都有发学术论文的要求,少部分要求高的甚至需要SCI或者多篇核心期刊论文才可以毕业,但是核心期刊要求论文质量高且审稿周期长,所以本博客梳理一些计算机特别是人工智能相关的期…...
机器学习算法的分类
一、按学习方式分类 1.监督学习(Supervised Learning) (1)定义:使用已标记的数据进行训练,每个输入数据都有对应的输出标签。模型学习输入与输出之间的映射关系。 按以上可以分为以下两种: …...
Linux操作系统下,挂ILA
一、在linux下安装vivado2018.3 参考视频:Linux下vivado安装教程_哔哩哔哩_bilibili 复制安装包进入虚拟机 安装包链接:https://pan.quark.cn/s/ca1a15d446fa 我的vmware tools无法使用,不能直接拖进虚拟机,所以使用了U盘复制…...
HTML——26.像素单位
<!DOCTYPE html> <html><head><meta charset"UTF-8"><title>像素</title></head><body><!--像素:1.指设备屏幕上的一个点,单位px,如led屏上的小灯朱2.当屏幕分辨率固定时&…...
【HTML】Day02
【HTML】Day02 1. 列表标签1.1 无序列表1.2 有序列表1.3 定义列表 2. 表格标签2.1 合并单元格 3. 表单标签3.1 input标签基本使用3.2 上传多个文件 4. 下拉菜单、文本域5. label标签6. 按钮button7. div与span、字符实体字符实体 1. 列表标签 作用:布局内容排列整齐…...
AI 自动化编程对编程教育的影响
AI 自动化编程的未来 引言 你是否曾想过,未来的程序员需要掌握哪些技能呢?随着人工智能的迅猛发展,特别是生成式AI工具的普及,编程的世界正在发生翻天覆地的变化。编程教育也在这种环境下进行着深刻的转型。那么,AI …...
Java100道面试题
1.JVM内存结构 VM内存结构指的是JVM运行时数据区结构,它主要包含以下几个部分: 堆(Heap):线程共享。 JVM堆(Heap)是Java虚拟机中的一块内存区域(所有线程共享)&#x…...
解密人工智能:如何改变我们的工作与生活
引言:AI崛起背后的思考 在过去的几十年里,人工智能(AI)从科幻小说中的神秘存在,逐渐走进了我们的日常生活。无论是智能手机的语音助手,还是推荐心仪商品的电商平台,AI技术已悄然融入工作与生活的…...
Linux postgresql-15部署文档
一、PostgreSQL的安装 1、下载地址 postgresql安装包下载地址:https://www.postgresql.org/download/linux/redhat/ 2、安装脚本 复制下面的安装脚本即可: sudo yum install -y https://download.postgresql.org/pub/repos/yum/reporpms/EL-7-x86_64…...
visual studio 安全模式
一、安全模式: 在 Visual Studio 中,安全模式是一种启动方式,允许你在禁用所有扩展和自定义设置的情况下启动 Visual Studio。这个模式可以帮助排除插件或扩展引起的问题,特别是在 Visual Studio 无法正常启动时。 二、安全模式下…...
Pandas-timestamp和datetime64的区别
文章目录 1. Timestamp(时间戳)2. Datetime64(日期时间64位)3. 主要区别: pandas.Timestamp 和 pandas.Datetime64 都是用于表示日期和时间的 Pandas 对象,但它们有一些关键的区别: 1. Timesta…...
@MapperScan
简介: MapperScan注解是MyBatis框架在Spring Boot中的一个重要集成注解 作用: MapperScan主要作用是告诉Spring框架在启动时扫描指定的包路径,并将该路径下的所有MyBatis的Mapper接口批量注入到Spring容器中。这样,开发者就可以…...
Xshell远程连接Kali(默认 | 私钥)Note版
前言:xshell远程连接,私钥连接和常规默认连接 任务一 开启ssh服务 service ssh status //查看ssh服务状态 service ssh start //开启ssh服务 update-rc.d ssh enable //开启自启动ssh服务 任务二 修改配置文件 vi /etc/ssh/ssh_config //第一…...
1688商品列表API与其他数据源的对接思路
将1688商品列表API与其他数据源对接时,需结合业务场景设计数据流转链路,重点关注数据格式兼容性、接口调用频率控制及数据一致性维护。以下是具体对接思路及关键技术点: 一、核心对接场景与目标 商品数据同步 场景:将1688商品信息…...
Springcloud:Eureka 高可用集群搭建实战(服务注册与发现的底层原理与避坑指南)
引言:为什么 Eureka 依然是存量系统的核心? 尽管 Nacos 等新注册中心崛起,但金融、电力等保守行业仍有大量系统运行在 Eureka 上。理解其高可用设计与自我保护机制,是保障分布式系统稳定的必修课。本文将手把手带你搭建生产级 Eur…...
《基于Apache Flink的流处理》笔记
思维导图 1-3 章 4-7章 8-11 章 参考资料 源码: https://github.com/streaming-with-flink 博客 https://flink.apache.org/bloghttps://www.ververica.com/blog 聚会及会议 https://flink-forward.orghttps://www.meetup.com/topics/apache-flink https://n…...
CMake 从 GitHub 下载第三方库并使用
有时我们希望直接使用 GitHub 上的开源库,而不想手动下载、编译和安装。 可以利用 CMake 提供的 FetchContent 模块来实现自动下载、构建和链接第三方库。 FetchContent 命令官方文档✅ 示例代码 我们将以 fmt 这个流行的格式化库为例,演示如何: 使用 FetchContent 从 GitH…...
视频行为标注工具BehaviLabel(源码+使用介绍+Windows.Exe版本)
前言: 最近在做行为检测相关的模型,用的是时空图卷积网络(STGCN),但原有kinetic-400数据集数据质量较低,需要进行细粒度的标注,同时粗略搜了下已有开源工具基本都集中于图像分割这块,…...
AI病理诊断七剑下天山,医疗未来触手可及
一、病理诊断困局:刀尖上的医学艺术 1.1 金标准背后的隐痛 病理诊断被誉为"诊断的诊断",医生需通过显微镜观察组织切片,在细胞迷宫中捕捉癌变信号。某省病理质控报告显示,基层医院误诊率达12%-15%,专家会诊…...
Selenium常用函数介绍
目录 一,元素定位 1.1 cssSeector 1.2 xpath 二,操作测试对象 三,窗口 3.1 案例 3.2 窗口切换 3.3 窗口大小 3.4 屏幕截图 3.5 关闭窗口 四,弹窗 五,等待 六,导航 七,文件上传 …...
(一)单例模式
一、前言 单例模式属于六大创建型模式,即在软件设计过程中,主要关注创建对象的结果,并不关心创建对象的过程及细节。创建型设计模式将类对象的实例化过程进行抽象化接口设计,从而隐藏了类对象的实例是如何被创建的,封装了软件系统使用的具体对象类型。 六大创建型模式包括…...
认识CMake并使用CMake构建自己的第一个项目
1.CMake的作用和优势 跨平台支持:CMake支持多种操作系统和编译器,使用同一份构建配置可以在不同的环境中使用 简化配置:通过CMakeLists.txt文件,用户可以定义项目结构、依赖项、编译选项等,无需手动编写复杂的构建脚本…...
