C++类模板默认实参与偏特化实参不同时的匹配规则疑问

核心前提：模板实例化的参数补全逻辑 #

你在书写 A<1> 或者 B<1> 时，编译器首先会基于主模板的定义补全所有未显式指定的模板参数：

• 主模板 A 和 B 的第二个参数默认值都是 void，因此你写的 A<1> 实际等价于 A<1, void>，B<1> 实际等价于 B<1, void>。
  补全全量参数后，编译器才会拿着完整的参数列表，去和所有偏特化版本做匹配。

偏特化的匹配逻辑 #

偏特化的匹配需要同时满足两个条件：

1. 偏特化的SFINAE约束（这里是std::enable_if_t的条件）有效，不会被替换失败排除；
2. 实例化的全量参数列表，和偏特化定义的参数模式完全匹配。

模板A的匹配过程 #

对于 A<1, void>：

• 偏特化 A<N, std::enable_if_t<(N != 0), void>> 中，N=1满足N!=0的约束，std::enable_if_t的返回类型为void，因此偏特化的参数模式展开后是A<1, void>，和实例化的全量参数完全匹配；
• 偏特化版本比主模板更特殊，因此编译器优先选择偏特化，输出1。
  对于 A<0, void>：
• N=0不满足N!=0的约束，std::enable_if_t替换失败，该偏特化被排除，只能匹配主模板，输出0。

模板B的匹配过程 #

对于 B<1, void>：

• 偏特化 B<N, std::enable_if_t<(N != 0), int>> 中，N=1满足N!=0的约束，std::enable_if_t的返回类型为int，因此偏特化的参数模式展开后是B<1, int>；
• 你实例化的是B<1, void>，和偏特化的参数列表完全不匹配，因此该偏特化被排除，只能匹配主模板，输出0。
  如果你显式实例化B<1, int>，就会匹配到对应的偏特化版本，输出1。

常见误区说明 #

你之前的预期错误，本质是混淆了默认参数的作用范围：主模板的默认参数只负责补全实例化时缺失的参数，不会主动适配偏特化的参数类型。偏特化的匹配是在实例化参数补全完成之后才进行的，不会反过来修改已经补全的参数值。

内容的提问来源于stack exchange，提问作者Nadman Ashraf Khan