本文探讨了_Compresseed_pair类在源代码中的常见用途，特别是与智能指针的关系。is_empty_v<_Ty1>是一个用于判断类型是否为空类的特性，它的定义并不直接可推导，依赖于底层的类型运算。通过代码验证，我们发现is_empty_v用来检测一个类是否不占用内存，即sizeof(A)=0，即使类包含成员方法但无成员变量。文章还举例说明了继承空类如何影响内存布局。
（1）为什么要研究这个问题，因为包括智能指针等很多源代码里都会使用 _Compressed_pair 这个类，其是一对值。研究这个类，就牵涉另一个更基础的类 is_empty_v<_Ty1>
（2） is_empty_v<_Ty1>的定义与 _Compressed_pair 的定义如下：
可见 is_empty_v<_Ty1> 并不能完全推导出来，其来源于更底层的运算给的一个值。
（3）所以，用代码验证一下。其实，望文生义，大家也能猜到， is_empty_v，是指一个类是否为空类，即sizeof（A） = 0 ，A即为空类。A可以有成员方法，但没有成员变量。对 A 的实例化不占有内存空间。
当然，如图，对B对象的实例化，还是要给一字节，以表示这个位置有一个类。
注意以上的D只有4字节，继承了空类B，就不会再对空祖宗B分配那一个字节了。
谢谢阅读
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
