单类型模板参数类模板的非类型模板参数特化合规性与编译器差异问题

问题现象 #

先看核心代码片段：

#include <type_traits>
template <int N> struct num {};
template <typename> struct A; // 主模板
template <int N> struct A<num<N>> { using type = bool; }; // 特化1
template <long N> struct A<num<N>> { using type = char; }; // 特化2
static_assert(!std::is_same_v<long, int>, ""); // 确保平台上long和int为不同类型
static_assert(std::is_same_v<A<num<1>>::type, bool>, "");
int main() {}

在GCC中两个静态断言都能通过，编译器选择了特化1；但Clang会触发第二个断言失败，认为A<num<1>>::type是char，也就是选择了特化2。

再看简化后的代码：

template <int N> struct num {};
template <typename> struct A; // 主模板
template <long N> struct A<num<N>> { using type = char; }; // 特化2
int main() { A<num<1>> a{}; (void)a; }

GCC编译失败，提示A<num<1>>是不完全类型（未匹配到任何特化，主模板未定义）；而Clang能正常编译，认为特化2匹配成功。

标准条款分析 #

结合N4659（C++17 DIS）的关键条款来拆解问题：

1. 部分特化的匹配规则 #

根据[temp.class.spec.match]/3：

部分特化匹配给定的实际模板实参列表，当且仅当部分特化的模板参数可以从实际模板实参列表推导出来。

针对非类型模板参数的推导，[temp.deduct.type]/17明确：

对于非类型模板参数，仅比较模板参数与对应实参的类型，不比较值；除数组到指针、函数到指针等有限转换外，不允许隐式转换。

回到例子，实例化A<num<1>>时：

• 特化1的模板参数是int N，num<N>的N类型与num的模板参数类型（int）完全一致，推导成功。
• 特化2的模板参数是long N，但num要求模板参数为int，类型不匹配，理论上推导应该失败。

Clang的行为显然违反了这一推导规则，错误允许了非类型参数的隐式转换。

2. 特化的优先级（更特化规则） #

如果假设两个特化都能匹配（比如编译器错误允许了转换），则需根据[temp.class.order]判断优先级：

确定两个部分特化的优先级，需检查是否其中一个特化的模板参数能被另一个特化的模板参数推导，反之则不行。

对特化1和特化2来说：

• 用特化1的num<N1>（N1为int）推导特化2的num<N2>（N2为long）：N2需被推导为int，与自身类型long冲突，推导失败。
• 用特化2的num<N2>（N2为long）推导特化1的num<N1>（N1为int）：N1需被推导为long，同样与自身类型冲突，推导失败。

这说明两个特化不可比较，此时程序属于格式错误（无需诊断）——标准允许编译器以任意方式处理这种歧义，甚至不报错。

结论 #

第一个代码片段本质是格式错误（无需诊断），因为两个部分特化的匹配存在歧义（或其中一个特化的推导本就不合法）。两个编译器的不同行为源于对规则的执行差异：

• GCC严格遵循推导规则，仅选择类型完全匹配的特化1；
• Clang错误允许了非类型模板参数的隐式转换，选择了特化2。

简化后的代码中，GCC的行为符合标准：特化2的推导本就不应该成功，A<num<1>>匹配未定义的主模板，因此编译失败；Clang的行为则不符合推导规则。

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