结构体声明中指定C++模板类型的不同方式及偏特化写法疑问

我在学习模板元编程时遇到了如下声明：

template<class> struct S;
template<class R, class...A> struct S<R(A...)>;

想搞懂结构体特化时，标识符后尖括号里指定类型名的合法写法规则，于是尝试了多种结构体声明组合，但部分写法无法生效。以下是我尝试的代码，注释掉的即为无法生效的部分：

template<class> struct S;
// template<class A> struct S<A>; // 1. 无法生效
// template<class A, class B> struct S<A, B>; // 2. 无法生效
template<class A, class B> struct S<A(B)>;
template<class A, class ... B> struct S<A(B...)>;
template<class A, class ... B, class C> struct S<A(B..., C)>;
template<class A, class B, class ... C> struct S<A(B, C...)>;
template<class A, class ... B, class ... C> struct S<A(B..., C...)>;
template<class A, class ... B, class ... C, class D> struct S<A(B..., D, C...)>;

// template<class A, class ... B> struct S<B..., A>; // 3. 无法生效
// template<class A, class ... B> struct S<A, B...>; // 4. 无法生效
template<class A, class B, class C, class D> struct S<A(B(C(D)))>;
template<class A, class B, class C, class D> struct S<A(B(C, D))>;
template<class A, class B, class C, class D> struct S<A(B, C(D))>;
template<class A, class B, class C, class D> struct S<A(B(D), C)>;
template<class A, class B, class C, class D> struct S<A(B, C, D)>;

int main() {
    return 0;
}

无法生效写法的原因解析 #

1. template<class A> struct S<A>; #

原模板是单模板参数的主模板template<class> struct S;。该写法并非特化，而是试图重复定义主模板——它的模板参数列表和主模板完全一致，S<A>也完全匹配主模板的参数占位符，编译器会判定为重复定义，因此报错。

2. template<class A, class B> struct S<A, B>; #

主模板仅包含1个模板参数，而此声明试图定义一个双模板参数的S模板，这不属于特化，而是定义全新模板。但同一模板的参数数量必须固定，不能同时存在单参数和双参数的版本，因此编译失败。模板特化必须严格匹配主模板的参数数量，只能对已有参数的类型模式做匹配，不能增减参数数量。

3. template<class A, class ... B> struct S<B..., A>; #

问题出在参数包的展开位置。在模板特化的类型列表中，参数包B...必须放在末尾位置（C++标准的基础规则）。将参数包放在前面展开时，编译器无法推断模板参数的对应关系——参数包长度不确定，无法确定A的匹配位置，因此写法不合法。

4. template<class A, class ... B> struct S<A, B...>; #

主模板的S<T>中T是单一类型，而此写法试图用A, B...多个类型去匹配主模板的单个参数，这违背了模板参数的匹配规则——单个模板参数只能对应单一类型（或符合模式的单一类型，比如函数类型R(A...)），无法匹配多个类型的组合，因此编译不通过。

合法写法的核心规则 #

1. 参数数量严格匹配：特化的模板参数数量必须和主模板完全一致，只能对主模板已有参数的类型模式做匹配，不能新增或减少参数。
2. 参数包位置限制：在函数类型的参数列表中（如A(B...)），参数包必须放在末尾（C11/14/17标准）；C20虽允许模板参数包在非末尾位置，但函数参数的可变参数仍要求放在最后，因此A(B..., C)这类写法依然不合法。
3. 单一参数对应单一类型：主模板的单个参数只能匹配单一类型（包括复合类型如函数类型、嵌套函数类型等），不能用多个类型的组合去匹配单个参数。

内容的提问来源于stack exchange，提问作者Anubhav Gupta