元组和compress_pair有什么区别？

Question

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

对文档的引用：compressed_pair和tuple。

Answer 1

C++要求所有类型的大小都大于0.如果类型的的大小为0，则数组索引和其他指针数学会出错。

class EmptyClass { }; 

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

甲compressed_pair是优化不要求额外的存储一种类型的，因为0的尺寸是被禁止的仅具有一个尺寸为1两种元素的元组。

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

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