(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分配那一个字节了。
谢谢阅读
本文探讨了_Compresseed_pair类在源代码中的常见用途,特别是与智能指针的关系。is_empty_v<_Ty1>是一个用于判断类型是否为空类的特性,它的定义并不直接可推导,依赖于底层的类型运算。通过代码验证,我们发现is_empty_v用来检测一个类是否不占用内存,即sizeof(A)=0,即使类包含成员方法但无成员变量。文章还举例说明了继承空类如何影响内存布局。
1087

被折叠的 条评论
为什么被折叠?



