完美的一对

Question

受到this question 的启发，我开始思考完美的std::pair 应该是什么样子。压缩对类（例如boost's）提供了一个对，当其中一个类型为空类时，其大小会减小。压缩对需要 getter（first()、second()）来隐藏具有空类型的成员不存在的事实。

其次，根据C++ docs：“对是元组的一种特殊情况”，但它们被实现为一个单独的类。为什么不使用部分模板特化，例如

template <typename ...Args> class tuple {};
template <typename T1, typename T2> class tuple<T1, T2> {}; // Implements a compressed pair
template <typename T1, typename T2> using pair = tuple<T1, T2>;

此外，为了提供更统一的 API，可以为 pair 重载 std::get 和 std::set，并放弃 first() 和 second() 访问器。或者一个可以同时拥有:)

问题

1. 为什么std::pair 不是std::tuple 的特化？

2. 什么时候可以使用std::pair 而不是压缩对？而且即使有情况，也应该默认是压缩对吗？

3. 为什么没有压缩元组类？

Answer 1

1. pair 比 tuple 早了 10 年。由于历史原因和向后兼容性，它作为一个单独的类存在。对它进行重大更改比它的价值更麻烦。如果有人想要包含两个元素的元组，他们可以使用包含两个元素的元组。

2. 我无法使用非人工示例，我认为唯一真正的原因是使用标准库类，以及与假设 sizeof(pair<A,B>) >= sizeof(A) + sizeof(B) 和类似代码的代码的向后兼容性。

3. 没有 compressed_tuple，因为 std::tuple 已经在每个标准库实现中执行 EBO。