关于C++函数模板偏特化的困惑：gcc 5.3.0中代码可运行

嘿，我来帮你理清这个困惑～你说的情况其实是个常见的误区：C++函数模板确实不支持偏特化，但你写的代码根本不是偏特化，而是函数模板的重载，这完全是两个概念，所以GCC能正常编译运行是符合标准的！

先明确核心规则 #

C++标准里有个明确规定：

• 类模板支持偏特化（包括部分偏特化和全特化）
• 函数模板只支持全特化，不支持部分偏特化，但我们可以通过重载函数模板来实现类似的“匹配更具体场景”的效果

分析你的代码 #

先把你的示例代码整理成代码块：

#include <iostream> 
using namespace std; 

template <typename T1, typename T2> 
void fun(T1 a, T2 b){ 
    cout << "template\n"; 
} 

template <typename T1> 
void fun(T1 a, int b){ 
    cout << "Function partialy specialized\n"; 
} 

int main(){ 
    fun("ab", "cd"); // 匹配第一个通用模板，输出template
    fun(2,2);        // 匹配第二个重载模板，输出Function partialy specialized
    fun("xx", 2);    // 匹配第二个重载模板，输出Function partialy specialized
}

你写的第二个fun模板，是一个新的、独立的函数模板重载——它的模板参数列表只有T1，函数参数里第二个是明确的int类型，这是编译器允许的重载行为。当你调用函数时，编译器会通过重载决议规则，选择最匹配的那个模板：

• 当两个参数都是非int类型（比如const char*），就匹配第一个通用模板
• 当第二个参数是int类型时，第二个重载模板更具体，所以会被选中

那什么才是函数模板的偏特化？ #

如果我们真的尝试写函数模板的偏特化（也就是强行指定部分模板参数），比如这样：

template <typename T1, typename T2> 
void fun(T1 a, T2 b){ 
    cout << "template\n"; 
} 

// 尝试偏特化：指定第二个模板参数为int
template <typename T1> 
void fun<T1, int>(T1 a, int b){ 
    cout << "Function partialy specialized\n"; 
} 

这时候你编译代码，GCC就会直接报错，提示你“函数模板不能被偏特化”，这才是符合标准的行为——因为函数模板确实不支持这种写法。

总结一下 #

你之前的代码能运行，是因为你用的是函数模板重载，不是偏特化。重载是C++允许的，而函数模板偏特化确实是被标准禁止的，这两者可别搞混啦～

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