C++有类型与无类型模板推导匹配优先级疑问：默认值为何改变结果？

场景1：无默认值的无类型模板参数 #

// First
template<int>
void g(int a)
{
...
}

// Second
template<class A>
void g(A a)
{
...
}

int a = 1;
g(a);

第一个模板的无类型模板参数int没有默认值，且函数参数int a和该模板参数无关联——编译器无法从实参a的类型或值推导出模板参数的具体值。因此这个模板无法参与重载决议，只有第二个模板能完成推导（A被推导为int），最终选择第二个模板。

场景2：带默认值的无类型模板参数 #

// First
template<int m = 1>
void g(int a)
{
...
}

// Second
template<class A>
void g(A a)
{
...
}

int a = 1;
g(a);

此时第一个模板因有默认模板参数m=1，无需推导模板参数就能生成有效函数实例g<1>(int)，函数参数与实参完全匹配；第二个模板也能推导出A=int，生成g<int>(int)。两个模板都符合要求，这时候靠模板特化程度决定优先级。

根据C++标准中[temp.func.order]（模板函数排序）和[temp.deduct.partial]（部分推导）的规则：模板重载决议会优先选择更特化的模板。判断特化程度的核心是「替换测试」：

• 将第二个模板的类型参数A替换为int，得到的函数签名与第一个模板的实例签名一致，说明第一个模板是第二个模板的特化版本；
• 反过来，将第一个模板的函数参数int替换为任意类型A，无法匹配第一个模板的固定int参数，说明第二个模板不能特化出第一个模板。

因此第一个模板更特化，重载决议优先选择它。

内容的提问来源于stack exchange，提问作者O.T.Vinta