元组和压缩对有什么区别？

Question

我看到两者都用于相同的目的，但我想知道结果会有什么不同（如果有的话）以及为什么要使用它。

参考文档：compressed_pair 和 tuple。

Answer 1

C++ 要求所有 complete types 的大小大于 0。如果一个类型可能的大小为 0，数组索引和其他指针数学就会出错。

class EmptyClass { };

std::cout << sizeof( EmptyClass );  // Prints "1" (typically)

boost::compressed_pair 是一个包含两个元素的元组，对于只有大小为 1 的类型不需要额外的存储空间，因为禁止大小为 0。

if ( sizeof( compressed_pair<int,EmptyClass> ) == sizeof(int) )
{
   std::cout << "EmptyClass was compressed.";  // (This will print)
}

这是通过Empty Base Optimization 实现的。这两种类型都放在一个类包装器中，如果一种类型是“空的”，则该类成为另一个的父类。