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

相关文章

MyBatisPlus如何优化千万级数据的CRUD

《MyBatisPlus如何优化千万级数据的CRUD》最近负责的一个项目,数据库表量级破千万,每次执行CRUD都像走钢丝,稍有不慎就引起数据库报警,本文就结合这个项目的实战经验,聊聊MyBatisPl... 目录背景一、MyBATis Plus 简介二、千万级数据的挑战三、优化 CRUD 的关键策略1. 查

SpringBoot中HTTP连接池的配置与优化

《SpringBoot中HTTP连接池的配置与优化》这篇文章主要为大家详细介绍了SpringBoot中HTTP连接池的配置与优化的相关知识,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一... 目录一、HTTP连接池的核心价值二、Spring Boot集成方案方案1:Apache HttpCl

PyTorch高级特性与性能优化方式

《PyTorch高级特性与性能优化方式》:本文主要介绍PyTorch高级特性与性能优化方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、自动化机制1.自动微分机制2.动态计算图二、性能优化1.内存管理2.GPU加速3.多GPU训练三、分布式训练1.分布式数据

MySQL中like模糊查询的优化方案

《MySQL中like模糊查询的优化方案》在MySQL中,like模糊查询是一种常用的查询方式,但在某些情况下可能会导致性能问题,本文将介绍八种优化MySQL中like模糊查询的方法,需要的朋友可以参... 目录1. 避免以通配符开头的查询2. 使用全文索引(Full-text Index)3. 使用前缀索

C#实现高性能Excel百万数据导出优化实战指南

《C#实现高性能Excel百万数据导出优化实战指南》在日常工作中,Excel数据导出是一个常见的需求,然而,当数据量较大时,性能和内存问题往往会成为限制导出效率的瓶颈,下面我们看看C#如何结合EPPl... 目录一、技术方案核心对比二、各方案选型建议三、性能对比数据四、核心代码实现1. MiniExcel

MySQL索引的优化之LIKE模糊查询功能实现

《MySQL索引的优化之LIKE模糊查询功能实现》:本文主要介绍MySQL索引的优化之LIKE模糊查询功能实现,本文通过示例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录一、前缀匹配优化二、后缀匹配优化三、中间匹配优化四、覆盖索引优化五、减少查询范围六、避免通配符开头七、使用外部搜索引擎八、分

Python通过模块化开发优化代码的技巧分享

《Python通过模块化开发优化代码的技巧分享》模块化开发就是把代码拆成一个个“零件”,该封装封装,该拆分拆分,下面小编就来和大家简单聊聊python如何用模块化开发进行代码优化吧... 目录什么是模块化开发如何拆分代码改进版:拆分成模块让模块更强大:使用 __init__.py你一定会遇到的问题模www.

SpringBoot首笔交易慢问题排查与优化方案

《SpringBoot首笔交易慢问题排查与优化方案》在我们的微服务项目中,遇到这样的问题:应用启动后,第一笔交易响应耗时高达4、5秒,而后续请求均能在毫秒级完成,这不仅触发监控告警,也极大影响了用户体... 目录问题背景排查步骤1. 日志分析2. 性能工具定位优化方案:提前预热各种资源1. Flowable

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