调整C++模板函数声明顺序为何会改变重载解析匹配结果

首先明确一个极易被误解的C++标准规则：

函数模板的显式全特化不参与重载决议。编译器处理函数调用时，第一步会先从所有可见的普通函数、基础函数模板中选出匹配优先级最高的候选；只有当选中的候选是某个基础函数模板时，才会进一步查找这个基础模板是否存在对应类型的显式特化，有则调用特化，无则调用基础模板实例。

两个版本代码的匹配逻辑完全符合这个规则，差异来自于全特化绑定的基础模板不同。 #

第一版代码（输出int*）的执行逻辑 #

代码声明顺序如下：

#include <stdio.h>
template<class T>void f(T){printf("T\n");}    // 基础模板A
template<class T>void f(T*){printf("T*\n");}  // 基础模板B
template<>       void f(int*){printf("int*\n");} // 显式特化
int main(int argc,char**) {
    int *p = &argc;
    f(p);
    return 0;
}

• 重载决议阶段，可见的基础模板只有A和B：
  • 传入参数类型为int*，匹配基础模板A时T推导为int*，属于通用类型匹配
  • 传入参数类型为int*，匹配基础模板B时T推导为int，属于指针类型的精确匹配，根据模板偏序规则，B的匹配优先级高于A
• 重载阶段选中基础模板B后，查找B的对应特化：写显式特化时B已经声明，这个int*特化是T推导为int、对应B的特化版本，因此最终调用特化实现，输出int*。

第二版代码（输出T*）的执行逻辑 #

代码声明顺序调整后：

#include <stdio.h>
template<class T>void f(T){printf("T\n");}    // 基础模板A
template<>       void f(int*){printf("int*\n");} // 显式特化
template<class T>void f(T*){printf("T*\n");}  // 基础模板B
int main(int argc,char**) {
    int *p = &argc;
    f(p);
    return 0;
}

• 写显式特化时，编译器可见的基础模板只有A，因此这个int*特化是绑定给基础模板A的（对应A中T推导为int*的情况），和后面才声明的基础模板B没有任何关联。
• 重载决议阶段，可见的基础模板仍然是A和B，按照模板偏序规则，B对int*参数的匹配优先级更高，因此选中基础模板B。
• 查找基础模板B的特化时，编译器发现没有为B定义过int*类型的显式特化，因此直接实例化B的通用实现，输出T*。

实践避坑要点 #

• 函数模板的显式特化不会“自动找最匹配的基础模板”，它只会绑定到写特化语句前已经声明的、可匹配的基础模板。
• 如果需要针对特定类型实现高优先级的自定义逻辑，不要用函数模板全特化，直接编写同签名的普通函数即可——普通函数参与重载决议，优先级高于所有基础模板，不会受声明顺序的这类意外影响。

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