变量模板、参数包及其在参数列表中讨论的模糊性

在这个问题中,我将参考 my previous 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> { };

事实上,它似乎有效,所以多亏了提出它的人。

无论如何,我不明白的是,为什么这是有效的代码,而上一个不是。
它是否应该受到先前解决方案的同样模糊的影响?在这种情况下,编译器为什么以及如何解决这种歧义?
根据上一个问题(请参见本问题开头的链接),在我看来,变量部分仍然应该将所有参数都吸到最后,因此此代码也不应该有效。
当然,我错了,但我的推理到底有什么错?