C++如何使用模板（template）函数_C++泛型编程模板函数写法指南

模板函数通过template实现泛型编程，支持自动类型推导与显式指定类型，可重载并特化处理特定类型，提升代码复用性与灵活性。

在C++中，模板函数是实现泛型编程的核心工具之一。它允许我们编写与数据类型无关的通用函数，从而提高代码复用性和灵活性。使用模板函数，可以对多种类型执行相同逻辑，而无需为每种类型单独重写函数。

模板函数的基本语法

定义一个模板函数需要使用 template 关键字，后跟模板参数列表，然后是函数定义。

template 
T max(T a, T b) {
    return (a > b) ? a : b;
}

上面的例子中，typename T 表示T是一个类型占位符，在调用时会被实际类型自动推导替换（如 int、double、string 等）。

也可以使用 class 替代 typename，两者在此场景下等价：

template 
T max(T a, T b) { ... }

如何调用模板函数

模板函数可以在不显式指定类型的情况下被调用，编译器会根据传入参数自动推导类型：

int x = 5, y = 10;
double a = 3.14, b = 2.71;
int m1 = max(x, y);     // 推导为 max
double m2 = max(a, b);  // 推导为 max

当然，也可以显式指定模板类型：

max(x, a);  // 显式使用 double 类型版本

这在参数类型不一致但希望统一处理时特别有用。

支持多个模板参数

模板函数可以接受多个类型参数，适用于更复杂的泛型逻辑：

template 
auto add(T a, U b) -> decltype(a + b) {
    return a + b;
}

这里使用了尾置返回类型 decltype(a + b) 来让返回值类型由两个参数相加的结果决定。C++14 后也可简化为：

template 
auto add(T a, U b) {
    return a + b;
}

这样就能支持 int + double、float + long 等混合类型运算。

模板函数的重载与特化

你可以为特定类型提供专门的实现——称为模板特化。

// 通用版本
template 
void print(T value) {
    std::cout << "Value: " << value << std::endl;
}
// 全特化：针对 const char
template <>
void print(const char str) {
std::cout << "String: " << str << std::endl;
}

当调用 print("hello") 时，会匹配特化版本。注意全特化需在原始模板同一作用域内定义。

此外，函数模板本身也支持重载：

template 
void func(T x);           // 版本1
template 
void func(T* x);          // 版本2：指针重载
void func(int x);         // 普通函数重载

调用时编译器会根据参数选择最匹配的版本。

基本上就这些。掌握模板函数写法是进入C++高级编程和STL源码理解的关键一步。合理使用模板，能写出高效、安全、可维护的通用代码。不复杂但容易忽略的是类型推导规则和特化语法，建议多写示例加深理解。