C++可变模板与模板模板实参：合法与错误实例原因问询

这个问题的核心是C++模板模板参数的匹配规则：当你用一个模板去匹配模板模板参数时，两者的模板形参列表必须是兼容的。我们逐个拆解每个实例化的情况：

先明确各个模板的定义：

• t1：固定接受1个typename参数的模板
• t2：接受任意数量（包括0个）typename参数的可变参数模板
• t3：固定接受**至少1个typename参数（第一个固定，后续可变）**的模板

对应的模板模板参数要求：

• tt1：只接受固定1个typename参数的模板
• tt2：接受任意数量typename参数的可变参数模板
• tt3：接受第一个参数固定为typename，后续可跟任意数量typename参数的模板

逐个分析实例化情况 #

1. tt1<t2> _1; 错误
   tt1要求的是「只能接受1个参数」的模板，但t2是「可以接受0个或多个参数」的可变模板，两者的形参约束不匹配——t2无法满足tt1对参数数量的固定要求，因此报错。

2. tt1<t3> _2; 错误
   tt1需要单参数模板，而t3的参数列表是「1个固定参数+可变参数」，本质上它至少需要1个参数，但形参结构和tt1要求的「单一固定参数」不匹配，所以无法通过编译。

3. tt2<t1> _3; 合法
   tt2接受任意数量参数的可变模板，而t1的「固定1个参数」是可变参数模板的一个特例（可变参数恰好为1个）。C++允许这种向下兼容的匹配，因此合法。

4. tt2<t3> _4; 合法
   t3的参数列表是「1个固定参数+可变参数」，完全符合tt2对「任意数量参数」的要求（本质上typename...可以包含这种混合固定+可变的参数结构），所以可以正常匹配。

5. tt3<t1> _5; 合法
   tt3要求的是「第一个参数固定，后续可变」的模板，t1的「单一参数」可以被看作是「第一个参数固定，后续可变参数数量为0」的情况，刚好满足tt3的形参结构要求，因此合法。

6. tt3<t2> _6; 错误
   tt3要求模板必须至少有1个固定的第一个参数，但t2是可以接受0个参数的可变模板，无法满足「必须有第一个参数」的约束，因此形参列表不兼容，触发错误。

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