为何指定<>时C++模板特化未被调用？重载匹配问题解析

核心逻辑：特化仅绑定到签名匹配的主模板 #

函数模板的特化必须和某一个主模板的实例化签名严格匹配，编译器会根据特化<>中的模板参数，匹配哪个主模板替换后能生成与特化完全一致的函数签名。

拆解代码中的模板匹配关系 #

先明确两个主模板的签名推导逻辑：

• 第一个主模板：template <typename T> void foo(T)
  模板参数T直接对应函数参数的类型，当T=int*时，实例化出的函数签名是void foo(int*)。
• 第二个主模板：template <typename T> void foo(T*)
  模板参数T是函数参数指针指向的类型，当T=int时，实例化出的函数签名是void foo(int*)。

再看你写的特化：template <> void foo<int*>(int*)
这个特化的签名是void foo(int*)，和第一个主模板在T=int*时的实例化签名完全一致，因此编译器会将该特化绑定到第一个主模板，和第二个主模板没有关联。

重载决议的执行过程 #

当调用foo(&x)（&x为int*类型）时，编译器优先执行重载决议：

• 第二个主模板foo(T*)可以直接匹配：令T=int，函数参数正好是int*，完美匹配实参。
• 第一个主模板foo(T)需要令T=int*才能匹配，但它的匹配优先级低于第二个主模板（第二个模板是更特化的版本）。

最终重载决议选中第二个主模板，实例化出void foo(int*)（输出"2"），而你写的特化属于未被选中的第一个主模板，自然不会被执行。

绑定到第二个主模板的正确特化写法 #

如果想让特化关联第二个主模板，需将特化的模板参数改为int（对应第二个主模板的T=int）：

template <> void foo<int>(int*) {std::cout << "3";}

此时该特化会绑定到第二个主模板，调用foo(&x)时就会执行这个特化版本，输出"3"。

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