使用未展开的参数包作为模板模板参数的非类型模板参数的类型是否合法？

Question

gcc和clang在是否应该编译以下代码的问题上存在分歧：

template <typename... Args>
struct tuple {};
template <typename>
struct Test;
template <
typename... Types,
template <Types> typename... Outer, // XXX
Types... Inner
>
struct Test<tuple<Outer<Inner>...>> {};
template <long T> struct O1 {};
template <unsigned T> struct O2 {};
Test<tuple<O1<1>, O2<2>>> test;

clang接受代码，推导出Types = {long, unsigned}, Outer = {O1, O2}, Inner={1L, 2U}。从结构上看，这似乎是正确的。

gcc以一个推导失败拒绝代码。有趣的是，如果O2被更改为采用long非类型模板参数，确实接受，这在我看来似乎不一致。这表明如果Types = {long, long}，类型可以扩展，但如果Types = {long, unsigned}，类型不能扩展。

然而，从标准来看，我还不清楚哪个编译器是正确的。核心问题是：在表示为XXX的行上，将参数包作为模板模板参数的非类型模板参数的类型是否有效？它应该扩展clang声称的方式吗？

Answer 1

它是无效，因为：

类型参数包不能在其自己的参数子句中展开。

As from[temp.param]/17:

如果模板参数是在其可选标识符之前带有省略号的类型参数，或者是声明包([dcl.fct](的参数声明，则模板参数数声明，其类型包含一个或多个未扩展包，该模板参数包为包扩展作为包扩展的模板参数包不应扩展在同一模板参数列表中声明的模板参数组。

因此，考虑以下无效示例：

template<typename... Ts, Ts... vals> struct mytuple {}; //invalid

由于模板类型参数包Ts无法在其自己的参数列表中展开，因此上述示例是无效的。

出于同样的原因，您的代码示例是无效的。