c++ - 从元组中解包参数

Question

所以我想弄清楚这是如何工作的:C++11: I can go from multiple args to tuple, but can I go from tuple to multiple args?

我不明白的黑魔法是这段代码:

f(std::get<N>(std::forward<Tuple>(t))...)

就是f里面的表达式我不明白。

我知道表达式以某种方式解压/扩展了里面的内容 t进入参数列表。但是有人可以解释一下这是如何完成的吗？当我查看 std::get 的定义时( http://en.cppreference.com/w/cpp/utility/tuple/get ), 我不明白 N适合...？据我所知，N 是一个整数序列。

根据我观察到的情况，我假设表达式的形式为 E<X>...其中 X是类型序列 X1 . X2 , ... Xn , 表达式将扩展为 E<X1>, E<X2> ... E<Xn> .这是它的工作原理吗？

编辑:在这种情况下，N 不是类型序列，而是整数。但我猜测这种语言结构适用于类型和值。

Answer 1

我认为@Xeo 的评论总结得很好。来自 C++11 标准的 14.5.3:

A pack expansion consists of a pattern and an ellipsis, the instantiation of which produces zero or more instantiations of the pattern in a list.

在您的情况下，当您完成递归模板实例化并最终进入部分特化时，您已经

f(std::get<N>(std::forward<Tuple>(t))...);

...其中N是四个int的参数包(0, 1, 2 和 3)。从上面的标准来看，这里的模式是

std::get<N>(std::forward<Tuple>(t))

将 ... 省略号应用于上述模式使其扩展为列表形式的四个实例化，即

f(std::get<0>(t), std::get<1>(t), std::get<2>(t), std::get<3>(t));