C++0x 元组向后存储元素

Question

经过一番调查，我发现 C++0x 将元素向后存储在内存中的元组中。

以这段代码为例：

std::tuple<char, char, char> x('\0', 'b', 'a');
char* y = (char*)&x;
std::cout << sizeof(x) << std::endl;
std::cout << y << std::endl;

使用 GCC 4.5.2 编译时，我得到以下输出：

3
ab

这最初让我感到困惑。为什么数据是向后存储的？在搜索了 GNU 无意中混淆的标头后，我注意到实现类似于：

template<typename head, typename... tail> class tuple<head, tail...> : public tuple<tail...>
{
  head value;
  ...
};

由于基类包含最后一个元素，那么下一个派生类包含倒数第二个等，模板参数的实际顺序是相反的。

当我第一次接触元组时，我认为我可以将它们用于像glInterleavedArrays() 这样的函数，它将顶点数据数组设置为颜色、纹理坐标、法线和点的元组。当然，如果我创建一个元组数组，这些数据将不得不反向输入，如果您碰巧忘记将参数按正确的顺序放置，这可能会导致非常奇怪的错误。

那么这样的事情呢？

template<typename... head, typename tail> class tuple<head..., tail> : public tuple<head...>
{
  tail value;
  ...
};

在 GCC 4.5.2 下：

错误：参数包参数‘head ...’必须在模板参数列表的末尾

除非将来可以使用此功能，否则我几乎无法找到另一种实现此功能的方法。还有其他方法吗？有什么方法可以诱使 GCC 在内存方面获得正确排序的元组？

Answer 1

您正在探索的元组布局是元组的未指定实现细节。其他实现将有其他布局。如果你写这个，根据 gcc 的布局，你的代码可能无法移植到其他 std::libs。

libc++ 元组实现（例如）具有相反的（按顺序）布局。

Answer 2

你为什么关心元组的实现是什么？ Program to an interface, not an implementation.

如果您仅通过其广告接口使用元组，那么您将按照放入对象的相同顺序取出对象。如果您通过直接访问其内容来破坏封装，例如通过示例中的狡猾指针转换，那么所有的赌注都取消了。