函数模板只支持全特化，不支持偏特化。通过template为特定类型提供专用实现，如对char和const char特化print函数，编译器优先匹配特化版本，否则使用通用模板。
在C++中，函数模板允许我们编写通用的函数，适用于多种类型。但在某些特定类型上，我们可能希望使用不同的实现方式，这就需要用到函数模板的特化。模板特化分为全特化和偏特化，但需要注意的是：函数模板只支持全特化，不支持偏特化（类模板才支持偏特化）。
函数模板全特化的定义
函数模板全特化是指为模板中的所有模板参数都指定具体的类型，提供一个针对这些具体类型的特殊实现。
语法格式如下：
template 返回类型 函数名(参数列表) { // 特化版本的实现 }注意：template 表示这是一个特化版本，且后面尖括号中不再有参数，因为所有参数都被具体化了。
立即学习“C++免费学习笔记（深入）”；
函数模板特化的使用方法
下面通过一个简单例子说明如何定义和使用函数模板的全特化：
#include iostream> using namespace std;
// 通用模板
template
void print(T value) {
cout
}
// 全特化：针对 char 类型
template
void print
cout ): "
}
// 全特化：针对 const char
template
void print
cout ): "
}
在调用时：
int main() { print(123); // 调用通用版本 print("hello"); // 调用 const char* 特化版本 char str[] = "world"; print(str); // 调用 char* 特化版本 return 0; }注意事项与常见问题
函数模板特化使用时需注意以下几点：
- 特化必须在同一个命名空间或类作用域中进行，且必须先声明主模板。
- 编译器会优先匹配特化版本，如果没有匹配的特化，则使用通用模板。
- 不能对函数模板进行偏特化。例如，不能写 template
void print (T*) —— 这是非法的。 - 如果想实现类似“偏特化”的效果，通常需要改用类模板，并在其内部定义静态函数或操作符。
类模板中的函数特化对比
虽然函数模板不支持偏特化，但类模板可以。例如：
template// 偏特化：T 为 int 的情况
template
class MyClass
public:
void func();
};
然后可以在类外对不同特化版本实现各自的 func()。这种方式常被用来绕过函数模板不能偏特化的限制。
基本上就这些。函数模板特化是提升代码效率和可读性的重要手段，尤其在处理原始指针、特定数据结构时非常有用。只要记住：只能全特化，不能偏特化，就能避免大多数陷阱。
