变量模板,参数包及其在参数列表中讨论的歧义

Question

在这个问题中,我将参考我之前的问题.

在那个问题中,我发现以下内容无效:

template<typename T, typename... A, typename S>
class C { };

这是因为:

[它不是有效的代码]用于类模板,因为必须始终指定它们的参数,这将始终导致歧义,除非参数包在最后并且填充任何剩余的模板参数.

这是有道理的,当然,我得到了它.

然后,作为替代方法,提出了涉及专业化的以下内容:

template<typename F, typename S>
class C;

template<typename T, typename... A, typename S>
class C<T(A...), S> { };

实际上,它似乎有效,所以感谢提出它的人.

无论如何,我不明白为什么这是有效的代码,而前一个不是.
它是否应该受到先前解决方案的模糊性的影响？在这种情况下,编译器为什么以及如何解决这种模糊性？
根据上一个问题(参见本问题开头的链接),在我看来,仍然可变参数部分应该将任何参数填充到最后,因此该代码也不应该是有效的.
当然,我错了,但在我的推理中究竟出了什么问题？

Answer 1

在类模板中,预期模板参数列表C<a,b,c,d,e,f>需要匹配

template<typename T, typename... A, typename S>

其中...... A只是浮动在参数列表中.

但在专业化中,需要匹配的不是模板变量列表,而是模式:

C<T(A...), S>

这很容易,因为它A...是分隔的.

因此,在模板特化中,参数列表只是一个符号清单,一些标量和一些参数包,它们将出现在一个模式中.