当前位置： 首页 > news >正文

古交网站建设大型网站建设公司沈阳

news 2025/9/17 21:33:18
古交网站建设,大型网站建设公司沈阳,河南安阳区号,汽修厂做网站有什么好处相关系列文章 C惯用法之Pimpl C惯用法之CRTP(奇异递归模板模式) C之std::tuple(二) : 揭秘底层实现原理 目录 1.空类 2.空基类优化 3.内存布局原则 4.实例分析 5.总结 1.空类 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

http://www.yayakq.cn/news/730657/

相关文章：

  • 怎么看一个网站是用什么程序做的新手小白怎样运营1688店铺
  • 网站策划专有技术利用电脑做网站
  • 散文古诗网站建设目标网站建设的需要是什么
  • 石家庄市建设厅网站网页设计网站含义
  • 网站备案为什么这么慢wordpress访问不了
  • 想要黑掉一个网站 要怎么做磁力天堂最佳搜索引擎入口
  • 专业做网站建设设计重庆网站建站价格
  • 广西南宁网站建设公司重庆软件制作
  • 个人网站建设价格表福田做网站需要多少钱
  • 重庆哪家制作网站好做软装素材从哪些网站找
  • 精湛的网站建设排行榜业务型网站首页
  • 网站建设费 摊销处理用哪个软件做网站
  • 在互联网上建设网站可选择的方案有电子书新手学做网站
  • 建立网站的第一步是建立什么开封网站建设公司
  • 汽车之家网站是谁做的广西网站建设哪家有
  • 网站服务器去哪买的wordpress给图片加特效
  • 备案网站有哪些资料浙江企业响应式网站建设
  • 推上网站重庆天古装饰公司
  • 科创纵横 网站建设网站开发中标签栏的图标一般都在那个文件中写代码
  • 关于网站建设交易流程的描述一句话app wordpress类似
  • 佛山网站营销wordpress外链插件
  • 网站页面的滑动怎么做wordpress 内涵段子
  • 14年网站开发经验怎么创建个人网页
  • 网站建设的总体需求分析北京网站建设飞沐
  • 深圳网站设计模板工程建设沈阳网
  • 青岛网站空间城市人家装饰公司怎么样
  • 电子商务网站开发设计报告书焦作 做 网站
  • 浙江建设厅官方网站黑龙江住房和城乡建设部网站
  • 长沙建设局网站中国建设银行官网开户行查询
  • 沧州高端网站制作园州网站建设