EBC和EBO 空基类及其优化

2024-04-28 02:32
文章标签 优化 基类 ebo ebc

本文主要是介绍EBC和EBO 空基类及其优化,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

EBC英文全称为“Empty Base Class”,中文全称“空基类”。那什么是空基类呢?简单的
说就是没有任何数据成员的类就称之为空基类。也就是EBC的类定义中不包含任何数据成员,
那么这样一来可能大家会认为一个EBC的尺寸(sizeof)因该是0,确实按照定义而言因该是
这样的,但是我们知道即使是一个EBC也可以定义一个对象,而对象是一个运行时的内存实
体,也就是说对象是必须要能够通过内存地址进行区分的,那么即使是一个EBC类的对象也
必须占有内存空间,这样一来一般情况下编译器会将EBC的尺寸看作1字节,也就是让其对象
占用一个字节的空间,这样一来既可以达到对象的地址鉴别,同时也是一个比较节约内存的
分配策略。例如:
        #include
        
        struct CEmptyClass {};
        int main( int argc, char *argv[] )
        {
            CEmptyClass emptyObject;
            assert( sizeof( CEmptyClass ) == 1 );
            assert( sizeof( emptyObject ) == 1 );
           
            return 0;
        }
    通过上面的讨论已经知道什么是空基类了,那么下面这些的类属于空基类么?
        struct CEmptyClass1 { CEmptyClass1() {}; ~CEmptyClass1() {} };
        struct CEmptyClass2 { void print() {} };
        struct CEmptyClass3 { virtual ~CEmptyClass3() {} };
        struct CEmptyClass4 : public CEmptyClass1 {};
        struct CEmptyClass5 : public CEmptyClass3 {};
        struct CEmptyClass6 { uint32_t v; };
        struct CEmptyClass7 : public CEmptyClass6 {};
       
        struct CEmptyClass10 : virtual public CEmptyClass1 {};
        struct CEmptyClass11 : virtual public CEmptyClass1 {};
        struct CEmptyClass12 : public CEmptyClass10, public CEmptyClass11 {};
       
    根据上面的定义“没有任何数据成员”,这里的数据成员不仅仅包括类的成员变量,同
时还包括编译器为了某种目的引入的数据成员,比如:为了支持多态而引入的虚指针vptr、
为了支持虚继承而引入的必要的虚基类指针等,而且还包括从基类继承直接或间接继承而
来的上述的数据成员。那么这样一来,上面的问题就很清楚了,CEmptyClass3、
CEmptyClass5、CEmptyClass6、CEmptyClass7、CEmptyClass10、CEmptyClass11、
CEmptyClass12就不是EBC了,而CEmptyClass1、CEmptyClass2、CEmptyClass4仍然是EBC。
    那么可能有些人会看出来如果这样的一个类,他的尺寸是多少呢?
        struct CEmptyClass20 : public CEmptyClass1, public CEmptyClass2 {};
        struct CEmptyClass21 : public CEmptyClass1 { uint32_t v; };
        struct CEmptyClass22 : public CEmptyClass1, public CEmptyClass2 { uint32_t v; };
        struct CEmptyClass23 : public CEmptyClass1, public CEmptyClass6 {};
    在VC++8和g++3.4.x(g++4以上版本编译上述代码出现编译错误)版本时所出现的结果
会比较出人意料:
        sizeof( CEmptyClass20 ) == 1
        sizeof( CEmptyClass21 ) == 4
        sizeof( CEmptyClass22 ) == 8
        sizeof( CEmptyClass23 ) == 4
    为什么会出现上述的结果呢?这个主要是因为编译器实施EBO所致的。那什么是EBO呢?
EBO英文全称“Empty Base Class Optimize”,中文全称“空基类优化”。其实就是在EBC类被
继承的是时候由于空基类没有任何数据成员所以可以让其在子类的对象布局中优化掉EBC所
占用的那一个字节,用子类对象的首地址作为EBC的子对象的首地址(也就是this指针)。
需要注意的是并不是每一次EBO优化都回被成功的实施,有时候由于继承关系和对象布局
问题会导致无法实施EBO优化,从而导致EBC的子对象必然会在子类的对象中占用一定的空
间(一般会大于1个字节,主要是因为内存对齐的需要)。
    我们来分析上面的的4个继承类的尺寸现象问题:
    1. sizeof( CEmptyClass20 ) == 1;CEmptyClass20类继承于两个EBC类,同时自己也
       是一个EBC类,所以编译器会自动地优化掉两个基类的子对象的内存空间,所以尺寸
       仍然是1字节;
    2. sizeof( CEmptyClass21 ) == 4;CEmptyClass21类继承于一个EBC类,同时自己也
       包含一个4字节的成员变量,此时可以成功的实施EBO优化将EBC的内存空间优化掉;
    3. sizeof( CEmptyClass22 ) == 8;CEmptyClass22类继承于两个EBC类,同时自己也
       包含一个4字节的成员变量,按一般常理而言此时编译器应该可以优化掉两个EBC所
       需要的内存空间,从而使得其尺寸仅仅只有4个字节,可是为什么会有8个字节呢?
       也就是说此时编译器并没有实施EBO优化,使得每一个EBC子对象都回占用1个字节的
       内存,从而占用2字节内存,再加上32位系统下的对齐需要填充2个字节已形成4字节
       对齐,所以会导致其成为8个字节;
    4. sizeof( CEmptyClass23 ) == 4;CEmptyClass23类继承于一个EBC类和一个非EBC类,
       而CEmptyClass6因为含有一个vptr所以具有4字节尺寸,而CEmtpyClass23内本身不
       包含任何数据成员,通过EBO优化掉第一个EBC的内存,所以其尺寸就是4字节。
    通过上面的分析可以看出来,一般情况下如果子类的基类列表中只有一个EBC时时一定
可以成功实施EBO优化的,而如果出现多继承于多个EBC时会根据子类是否包含数据成员而
确定能够实施EBO优化,同时会和编译器的优化策略具有较大的关系。
    在boost库中有非常多的机制依赖于EBO优化,比如:nocopyable等,充分的理解EBC/EBO
并利用其所具有的内存优化特征,会在类继承体系中引入行为/策略的同时不导致对象的膨胀。

这篇关于EBC和EBO 空基类及其优化的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/942116

相关文章

SpringBoot3实现Gzip压缩优化的技术指南

《SpringBoot3实现Gzip压缩优化的技术指南》随着Web应用的用户量和数据量增加,网络带宽和页面加载速度逐渐成为瓶颈,为了减少数据传输量,提高用户体验,我们可以使用Gzip压缩HTTP响应,... 目录1、简述2、配置2.1 添加依赖2.2 配置 Gzip 压缩3、服务端应用4、前端应用4.1 N

Spring Boot + MyBatis Plus 高效开发实战从入门到进阶优化(推荐)

《SpringBoot+MyBatisPlus高效开发实战从入门到进阶优化(推荐)》本文将详细介绍SpringBoot+MyBatisPlus的完整开发流程,并深入剖析分页查询、批量操作、动... 目录Spring Boot + MyBATis Plus 高效开发实战:从入门到进阶优化1. MyBatis

MyBatis 动态 SQL 优化之标签的实战与技巧(常见用法)

《MyBatis动态SQL优化之标签的实战与技巧(常见用法)》本文通过详细的示例和实际应用场景,介绍了如何有效利用这些标签来优化MyBatis配置,提升开发效率,确保SQL的高效执行和安全性,感... 目录动态SQL详解一、动态SQL的核心概念1.1 什么是动态SQL?1.2 动态SQL的优点1.3 动态S

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

一文详解SpringBoot响应压缩功能的配置与优化

《一文详解SpringBoot响应压缩功能的配置与优化》SpringBoot的响应压缩功能基于智能协商机制,需同时满足很多条件,本文主要为大家详细介绍了SpringBoot响应压缩功能的配置与优化,需... 目录一、核心工作机制1.1 自动协商触发条件1.2 压缩处理流程二、配置方案详解2.1 基础YAML

MySQL中慢SQL优化的不同方式介绍

《MySQL中慢SQL优化的不同方式介绍》慢SQL的优化,主要从两个方面考虑,SQL语句本身的优化,以及数据库设计的优化,下面小编就来给大家介绍一下有哪些方式可以优化慢SQL吧... 目录避免不必要的列分页优化索引优化JOIN 的优化排序优化UNION 优化慢 SQL 的优化,主要从两个方面考虑,SQL 语

MySQL中慢SQL优化方法的完整指南

《MySQL中慢SQL优化方法的完整指南》当数据库响应时间超过500ms时,系统将面临三大灾难链式反应,所以本文将为大家介绍一下MySQL中慢SQL优化的常用方法,有需要的小伙伴可以了解下... 目录一、慢SQL的致命影响二、精准定位问题SQL1. 启用慢查询日志2. 诊断黄金三件套三、六大核心优化方案方案

Redis中高并发读写性能的深度解析与优化

《Redis中高并发读写性能的深度解析与优化》Redis作为一款高性能的内存数据库,广泛应用于缓存、消息队列、实时统计等场景,本文将深入探讨Redis的读写并发能力,感兴趣的小伙伴可以了解下... 目录引言一、Redis 并发能力概述1.1 Redis 的读写性能1.2 影响 Redis 并发能力的因素二、

使用国内镜像源优化pip install下载的方法步骤

《使用国内镜像源优化pipinstall下载的方法步骤》在Python开发中,pip是一个不可或缺的工具,用于安装和管理Python包,然而,由于默认的PyPI服务器位于国外,国内用户在安装依赖时可... 目录引言1. 为什么需要国内镜像源?2. 常用的国内镜像源3. 临时使用国内镜像源4. 永久配置国内镜

C#原型模式之如何通过克隆对象来优化创建过程

《C#原型模式之如何通过克隆对象来优化创建过程》原型模式是一种创建型设计模式,通过克隆现有对象来创建新对象,避免重复的创建成本和复杂的初始化过程,它适用于对象创建过程复杂、需要大量相似对象或避免重复初... 目录什么是原型模式?原型模式的工作原理C#中如何实现原型模式?1. 定义原型接口2. 实现原型接口3