（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分配那一个字节了。
谢谢阅读
