为什么 std::make_tuple(7 + N...) 在 C++11 中是合法的？

Question

以下代码在 C++11 中是合法的。

template<int... N>
std::tuple<decltype(N)...> f()
{
    return std::make_tuple(7 + N...); 
}

什么意思？

Answer 1

首先看模板参数：template <int ... N>。尽管可以给f 提供可变数量的模板参数，但它们都必须是int 类型。

现在，当您使用 f<t1, t2, ..., tn> 时，parameter unpacking (7 + N...) 将遵循 模式 7 + N 并扩展为

7 + t1, 7 + t2, 7 + t3, ..., 7 + tn

因此，您最终会得到一个元组，其中包含的每个模板参数都增加了 7 个。详细信息可以在第 14.5.3 节可变参数模板 [temp.variadic] 中找到。

3。包扩展由一个模式和一个省略号组成，其实例化会在列表中产生零个或多个模式的实例化 [...]。