为什么模板参数包必须放在最后？

Question

我在gcc10.2和clang11之间面临以下不一致：

template<typename ... Args, typename T>
static constexpr int fuu = sizeof(T);

clang抱怨模板包必须是模板声明中的最后一件事：

error: template parameter pack must be the last template parameter
template<typename ... Args, typename T>  

但是gcc很酷。
见https://godbolt.org/z/v9KeW6

这“最后一件事”实际上是规则吗？ 在一个函数中，这适用于两个编译器。

template<typename... Args, typename T>
int foo(T) {
    return sizeof(T);
}

我看不出第一个片段不应该工作的原因，模板参数是明确可推论的。

Answer 1

变量模板声明格式错误，这是一个 gcc 错误，无法诊断它。

从temp.param#14 ：

... 如果主类模板、主变量模板或别名模板的模板参数是模板参数包，则它应是最后一个模板参数。 ...

函数模板很好，因为函数模板的规则不同。 如果参数包后面的模板参数可以通过调用点提供的参数推导出来，那么模板就ok了。