C++惯用法之空基类优化

2024-02-29 19:04
文章标签 c++ 优化 基类 惯用 法之空

本文主要是介绍C++惯用法之空基类优化，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

相关系列文章

C++惯用法之Pimpl

C++惯用法之CRTP(奇异递归模板模式)

C++之std::tuple(二) : 揭秘底层实现原理

目录

1.空类

2.空基类优化

3.内存布局原则

4.实例分析

5.总结

1.空类

        C++ 中每个对象的实例都可以通过取地址运算符获取其在内存布局中的开始位置，因此每个类对象至少需要占用一个字节的空间。空类是指不包含非静态数据成员的类，但是可以包含成员函数及静态成员。C++ 中空类的大小是 1 字节。

class CEmpty1
{};
class CEmpty2
{static int i;
};class CEmpty3
{
public:void func1() {};void func2() {};
};int main()
{cout << "CEmpty1大小:" << sizeof(CEmpty1) << endl; //输出: 1cout << "CEmpty2大小:" << sizeof(CEmpty2) << endl; //输出: 1cout << "CEmpty3大小:" << sizeof(CEmpty3) << endl; //输出: 1return 0;
}

结果是1，它是空的怎么不是0呢？

因为空类同样可以被实例化，每个实例在内存中都有一个独一无二的地址，为了达到这个目的，编译器往往会给一个空类隐含的加一个字节，这样空类在实例化后在内存得到了独一无二的地址．所以上述大小为1。

2.空基类优化

注：空基类优化可简称为EBO （empty base optimization）或者 EBCO （empty base class optimization）

在没有歧义的情况下，C++ 允许空基类的子对象大小为 0。

一般来讲，对一个既有类进行扩展时，除非有更好的理由采用继承（有虚函数需要重新实现、有受保护的私有成员需要访问，否则采用组合的方式进行扩展。

现对比一下两种模式，第一种，类中把空类做为成员变量使用，然后通过这个来获得被包含类的功能，如：

class CEmpty {};
class CDerived1 {CEmpty m_base;int m_i;//other function...
};

另一种直接采用继承的方式来获得基类的成员函数及其他功能等等。如：

class CDerived2 : public CEmpty {int m_i;//other function...
};

接下来做个测试：

std::cout<<sizeof(CDerived1)<<std::endl; //输出: 8
std::cout<<sizeof(CDerived2)<<std::endl; //输出：4

第一种，本来只占1字节，会因为字节对齐，进行扩充到4的倍数，最后就是8字节。
对比这两个发现，第二种通过继承方式来获得基类的功能，并没有产生额外大小的优化称之为EBO(空基类优化)。

3.内存布局原则

        C++的设计者不允许类的大小为0，其原因有很多，比如由它们构成的数组，其大小必然也是0，这会导致指针运算中普遍使用的性质失效。比如，假设类型ZeroSizedT的大小为0，则下面的操作会出现错误：

ZeroSizedT  z[10];
auto v =  &z[9]  - &z[2];  // 计算指针/地址之间的距离

        正常情况下，上例中的差值是通过将两个地址之间的字节数除以指针指向的类型的大小得出来的，但是它们的大小是0时，该关系就显然就不成立了。

        尽管C++中没有大小为0的类型，但是C++规定，当空类作为基类时，不需要为其分配空间，前提是这样做不会导致它被分配到与其他对象或者同类型的子对象相同的地址上。看个例子：

#include <iostream>
class EmptyClass{using Bool = bool; //类型别名成员不会让一个类成为非空类
};
class EmptyFoo : public EmptyClass{
};
class EmptyThree : public EmptyFoo{
};
int main(){std::cout << sizeof(EmptyClass) << std::endl; //输出：1std::cout << sizeof(EmptyFoo) << std::endl; //输出：1std::cout << sizeof(EmptyThree ) << std::endl; //输出：1
}

如果编译器支持空基类优化，上面程序的所有输出结果相同，但是均不为0。也就是说，在类EmptyFoo 中的类 EmptyClass没有分配空间 。 如下图：b3dc5c1c04f54e1b917e3b7ee74f8c0c.png

如果不支持空基类优化，上面程序的输出结果不同。布局如下图：460774284a654c6395d2441d2d246b11.png

再看个例子：

#include <iostream>
class EmptyClass{using Bool = bool;  //类型别名成员不会让一个类成为非空类
};
class EmptyFoo : public EmptyClass{
};
class NoEmpty :public EmptyClass,  public EmptyFoo{
};
int main(){std::cout << sizeof(EmptyClass) << std::endl; //输出：1std::cout << sizeof(EmptyFoo) << std::endl; //输出：1std::cout << sizeof(NoEmpty) << std::endl; //输出：2
}

        NoEmpty 为什么不为空类呢？这是因为NoEmpty 的基类EmptyClass和EmptyFoo 不能分配到同一地址空间，否则EmptyFoo 的基类EmptyClass和NoEmpty 的EmptyClass会撞到同一地址空间上。换句话说，两个相同类型的子对象偏移量相同，这是C++布局规则不允许的

b8754183586d4bd7bcd6955677a1db2d.png

        对空基类优化进行限制的根据原因在于：我们需要能比较两个指针是否指向同一对象。由于指针几乎总是用地址内部表示，所以我们必须保证两个不同的地址（即两个不同的指针）对应两个不同的对象。

        这个限制也许看起来不是非常重要。然而，在实践中经常会遇到相关问题，因为许多类往往继承自某些空类的一个小集合，而这些空类又往往定义了一些共同的类型别名。当这样的类的两个子对象被用在同一个完整对象中时，优化就会被阻止。

        就算有此限制，EBCO仍是模板库的一个重要优化，因为有些技巧要依赖于某些基类的引入，而引入这些基类只是为了引入新的类型别名或者在不增加新数据的情况提供额外功能。

4.实例分析

std::tuple实际也应用了空基类优化,如：

struct Base1 {}; // 空类
struct Base2 {}; // 空类
struct Base3 {}; // 空类int main()
{std::cout << sizeof(std::tuple<Base1, Base2, Base3>) << "," << sizeof(std::tuple<Base1, Base2, Base3, int>);
}
// 输出为1,4

本节介绍std::tuple中如何应用EBO，本文以mingw平台上的实现为例进行讲解。

tuple的模板参数可以支持接收任意类型，熟悉可变模板参数的同学可以快速实现如下代码：

template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...> {Head h;Tuple<Tail...> t;
};

此时模板参数类型为空类时存在内存浪费；下一步应用EBO优化得到：

template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...> : private Head, Tuple<Tail...> {
};

但Head可能为int或者final类等不可继承类型，因此引入TupleEle：

template<typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<typename T>
struct TupleEle <T, false> {T value;T& Get() { return value; }
};template<typename T>
struct TupleEle <T, true> : private T {T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: private TupleEle<Head>, private Tuple<Tail...> {
};

此时如果送入重复类型，则重复继承了TupleEle<xxx>，导致 派生类转换到基类存在歧义，因此进一步修改为：

template<size_t index, typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<size_t index, typename T>
struct TupleEle <index, T, false> {T value;T& Get() { return value; }
};template<size_t index, typename T>
struct TupleEle <index, T, true> : private T {T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: private TupleEle<sizeof...(Tail), Head>, private Tuple<Tail...> {
};

得益于EBO继承关系，在实现Get<xxx>(tuple)利用模板参数推导，可以在常量时间内获取对应元素，补充Get之后的完整代码如下：

template<size_t index, typename T, bool = std::is_class<T>::value && !std::is_final<T>::value>
struct TupleEle;template<size_t index, typename T>
struct TupleEle <index, T, false> {template<typename U>TupleEle(U&& u) : value(std::forward<U>(u)) {};T& Get() { return value; }
private:T value;
};template<size_t index, typename T>
struct TupleEle <index, T, true> : private T {template<typename U>TupleEle(U&& u) : T(std::forward<U>(u)) {};T& Get() { return *this; }
};template<typename ...Args>
struct Tuple;
template<>
struct Tuple<> {
};template<typename Head, typename ...Tail>
struct Tuple<Head, Tail...>: TupleEle<sizeof...(Tail), Head>, private Tuple<Tail...> {template<typename H, typename ...Rest>Tuple(H&& h, Rest&&...rest) : TupleEle<sizeof...(Tail), Head>(std::forward<H>(h)),Tuple<Tail...>(std::forward<Rest>(rest)...){}template<size_t index, typename ...Ts>friend decltype(auto) Get(Tuple<Ts...>& t);
};template<size_t index, typename T>
T& GetIndex(TupleEle<index, T>& te) { return te.Get(); }template<size_t index, typename ...Ts>
decltype(auto) Get(Tuple<Ts...>& t) { return GetIndex<sizeof...(Ts) - index -1>(t); }

在GetIndex调用时通过模板参数推导，index确定，推导出对应T；

std::tuple在vs2019平台上的实现跟mingw上的实现还是有些差异，具体的差异可以查看我的另外一篇博客：

C++之std::tuple(二) : 揭秘底层实现原理-CSDN博客

5.总结

        为了减少空基类对象的内存占用，C++编译器引入了空基类优化。当一个类作为基类被继承时，如果这个基类是空的，编译器会将派生类对象的地址指向基类对象的地址，从而实现对基类对象的共享。这样一来，派生类对象就可以共享基类对象的内存空间，避免了额外的内存开销。

        空基类优化可以提高程序的性能和内存利用率，特别是在涉及大量继承关系和多重继承的情况下。通过减少空基类对象的内存占用，可以降低内存开销，并提高程序的运行效率。

        需要注意的是，不是所有的编译器都支持空基类优化技术。因此，在使用该技术时，需要检
查目标编译器是否支持该优化，并确保代码符合优化的要求。

参考：空基类优化 - cppreference.com

这篇关于C++惯用法之空基类优化的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/759756。

相关文章

C++11范围for初始化列表auto decltype详解

C++11范围for初始化列表auto decltype详解

《C++11范围for初始化列表autodecltype详解》C++11引入auto类型推导、decltype类型推断、统一列表初始化、范围for循环及智能指针,提升代码简洁性、类型安全与资源管理效... 目录C++11新特性1. 自动类型推导auto1.1 基本语法2. decltype3. 列表初始化3
阅读更多...
C++11右值引用与Lambda表达式的使用

C++11右值引用与Lambda表达式的使用

《C++11右值引用与Lambda表达式的使用》C++11引入右值引用,实现移动语义提升性能,支持资源转移与完美转发；同时引入Lambda表达式,简化匿名函数定义,通过捕获列表和参数列表灵活处理变量... 目录C++11新特性右值引用和移动语义左值 / 右值常见的左值和右值移动语义移动构造函数移动复制运算符
阅读更多...
C++中detach的作用、使用场景及注意事项

C++中detach的作用、使用场景及注意事项

《C++中detach的作用、使用场景及注意事项》关于C++中的detach,它主要涉及多线程编程中的线程管理,理解detach的作用、使用场景以及注意事项,对于写出高效、安全的多线程程序至关重要,下... 目录一、什么是join()？它的作用是什么？类比一下：二、join()的作用总结三、join()怎么
阅读更多...
小白也能轻松上手! 路由器设置优化指南

小白也能轻松上手! 路由器设置优化指南

《小白也能轻松上手!路由器设置优化指南》在日常生活中，我们常常会遇到WiFi网速慢的问题，这主要受到三个方面的影响,首要原因是WiFi产品的配置优化不合理，其次是硬件性能的不足，以及宽带线路本身的质... 在数字化时代，网络已成为生活必需品，追剧、游戏、办公、学习都离不开稳定高速的网络。但很多人面对新路由器
阅读更多...
C++中全局变量和局部变量的区别

C++中全局变量和局部变量的区别

《C++中全局变量和局部变量的区别》本文主要介绍了C++中全局变量和局部变量的区别,全局变量和局部变量在作用域和生命周期上有显著的区别,下面就来介绍一下,感兴趣的可以了解一下... 目录一、全局变量定义生命周期存储位置代码示例输出二、局部变量定义生命周期存储位置代码示例输出三、全局变量和局部变量的区别作用域
阅读更多...
C++中assign函数的使用

C++中assign函数的使用

《C++中assign函数的使用》在C++标准模板库中,std::list等容器都提供了assign成员函数,它比操作符更灵活,支持多种初始化方式,下面就来介绍一下assign的用法,具有一定的参考价... 目录​1.assign的基本功能​​语法​2. 具体用法示例​​​(1) 填充n个相同值​​(2)
阅读更多...
MySQL深分页进行性能优化的常见方法

MySQL深分页进行性能优化的常见方法

《MySQL深分页进行性能优化的常见方法》在Web应用中,分页查询是数据库操作中的常见需求,然而,在面对大型数据集时,深分页（deeppagination）却成为了性能优化的一个挑战,在本文中,我们将... 目录引言：深分页，真的只是“翻页慢”那么简单吗？一、背景介绍二、深分页的性能问题三、业务场景分析四、
阅读更多...
Linux进程CPU绑定优化与实践过程

Linux进程CPU绑定优化与实践过程

《Linux进程CPU绑定优化与实践过程》Linux支持进程绑定至特定CPU核心,通过sched_setaffinity系统调用和taskset工具实现,优化缓存效率与上下文切换,提升多核计算性能,适... 目录1. 多核处理器及并行计算概念1.1 多核处理器架构概述1.2 并行计算的含义及重要性1.3 并
阅读更多...
c++ 类成员变量默认初始值的实现

c++ 类成员变量默认初始值的实现

《c++类成员变量默认初始值的实现》本文主要介绍了c++类成员变量默认初始值,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学习学习吧... 目录C++类成员变量初始化c++类的变量的初始化在C++中，如果使用类成员变量时未给定其初始值，那么它将被
阅读更多...
C++中NULL与nullptr的区别小结

C++中NULL与nullptr的区别小结

《C++中NULL与nullptr的区别小结》本文介绍了C++编程中NULL与nullptr的区别,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编... 目录C++98空值——NULLC++11空值——nullptr区别对比示例 C++98空值——NUL
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2