C++模板特化异常行为咨询：g++编译结果与预期不符

你的代码核心问题出在模板特化的归属错误，以及C++模板重载决议的规则逻辑上。

先明确三个函数的关系 #

• 第一个通用主模板：template <typename T> void fun(T) —— 接受任意类型参数，输出1
• 第二个是第一个主模板的全特化：template <> void fun(int*) —— 仅当第一个模板的T被推导为int*时触发，输出2
• 第三个是独立的重载主模板：template <typename T> void fun(T*) —— 专门接受任意指针类型参数，输出3

调用fun(x)时的匹配过程 #

当传入int* x时，编译器会先执行重载决议：

1. 对比两个主模板：第一个模板需要将T推导为int*（参数为T），第二个模板需要将T推导为int（参数为T*）。
2. 根据C++模板匹配规则，更具体的模板优先级更高：第三个模板是专门针对指针类型设计的，比第一个通用模板更匹配int*参数，因此编译器会优先选择第三个主模板，完全不会考虑第一个模板的特化版本。

这就是fun(x)输出3而非你预期2的原因——你误以为那个特化是针对第三个模板的，但实际上它属于第一个模板，而第三个模板的匹配优先级更高。

如何得到预期输出 #

如果想让fun(x)调用输出2的版本，需要把特化改为针对第三个模板：

// 针对第三个模板（fun(T*)）的全特化，T=int时匹配int*
template <>
void fun<int>(int*) { cout << 2 << endl; }

修改后，调用fun(x)时编译器会先选中第三个主模板，再匹配它的特化版本输出2；fun(y)则会使用第三个主模板的通用版本输出3，最终结果为1、2、3。若想让fun(y)也输出2，需要再为double*特化第三个模板。

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