增量增长元组

Question

假设我想以增量方式收集元组（或等效的异构容器）中的数据，即以增量方式向元组添加另一个值（和类型）。

类似这样的东西（名称和语法是组成的）：

growable_tuple tup;
tup.push_back(42);
//...
tup.push_back("Hello");
//...
tup.push_back(' ');
//...
tup.push_back("World"s);

static_assert(4 == std::tuple_size<tup::type>::value); // or
assert(4 == tup.size());

我可以使用std::tuple_cat，但我需要将结果复制并存储在每个这样的cat 的不同局部变量中。

我不能使用std::any，因为我不知道包含的类型。 有没有办法提取any的包含类型？

是否有可能有一个单个局部变量来支持这种“插入”，最好不复制？

Hana 有这样的设施吗？

基本上，我想要一个不会擦除类型的异构容器，以便以后可以访问它们。
我还可以假设插入不依赖于运行时（没有运行时循环插入）。
具体来说，我可以手动查看添加到元组的所有类型（和索引）的代码，并使用它来定义我的初始元组。所有数据在编译时都存在。
我想知道如果没有事先手动指定元组类型就没有办法做到这一点。

这样做的一个明显方法是增量序列化数据（例如到 json）并稍后重新解析它，但这似乎有点迂回。

Answer 1

令人惊讶的是，这是显然是可能的。

参见HOW TO IMPLEMENT A COMPILE-TIME META-CONTAINER IN C++ 和相关文章。加上更多的语法糖，它应该能够提供 OP 的功能。

working code 的示例如下所示：

int main () {
  using LX = atch::meta_list<class A>;

  LX::push<void, void, void, void> ();
  LX::set<0, class Hello> ();
  LX::set<2, class World> ();
  LX::pop ();

  print_type<LX::value<>> ();
}

输出：
void print_type() [T = atch::type_list<Hello, void, World>]

这比仅将类型附加到列表更强大。
我期待smeta 库的最终发布。

这里有一个关于该技术的additional post。

Answer 2

元组是一个类，就像任何其他类一样。一旦声明，它就是那个类。一个

std::tuple<int, char *>

一旦声明，将永远是std::tuple<int, char *>。 C++ 是一种静态类型语言。每个对象的类型都已声明，并且是已知的。一旦一个对象是 std::tuple<int, char *> 这就是它的样子，它就不能以某种方式变成 std::tuple<int, char *, char *>

使用 C++17，可以通过使用 a

来实现类似的功能

std::vector<std::any>

即any对象的向量，然后将任意对象添加到向量中。此对象的类型将始终为std::vector<std::any>，需要额外的工作来确定向量的每个值是什么。