如何定义variadic模板的参数？

Question

我有一个变异模板，将使用别名声明使用来定义参数。

这是一个示例：

template<class I, class... P>
struct Molecule {
  using Index = I;
};

我的问题是，如何定义p ...的第一个参数？

我已经尝试过，但是它会产生一个错误：

template<class I, class... P>
struct Molecule {
  using Index = I;
  P array[sizeof...(P)] = { P... };
  using Part1 = array[0];
};

请提出任何建议吗？

Answer 1

我如何定义p ...？

的第一个参数

如果可以将分子重新定义为以下内容，则可以直接获得：

template<class I, class First, class... P> { 
    using Part1 = First;
    // .....
}

否则，制定特征以找到第一种类型：

template<typename First, typename... Rest> 
struct first { using type = First; };
template<typename... Args> using first_t = typename first<Args...>::type;

现在

template<class I, class... P> struct Molecule {  
    using Part1 = first_t<P...>; // first type
};

假设您在variadic p中至少有一个参数。 ..。

请参阅演示