函数模板是c++泛型编程核心，用template声明，支持自动类型推导、多参数及默认参数，但不支持偏特化，需重载或if constexpr处理特例。
函数模板是C++泛型编程的核心机制，它允许你用一套代码适配多种类型，避免重复编写相似逻辑的函数。
函数模板的基本语法
用 template
- typename 和 class 在这里完全等价，习惯上对类型参数多用 typename
- 模板声明必须紧邻函数定义之前，不能有空行或其它语句隔开
- 函数体中可像使用普通类型一样使用 T，比如声明变量、作为参数或返回值类型
一个实用的交换函数模板
以 swap 为例，对比普通函数和模板写法：
Python精要参考 pdf版
下载
这本书给出了一份关于python这门优美语言的精要的参考。作者通过一个完整而清晰的入门指引将你带入python的乐园，随后在语法、类型和对象、运算符与表达式、控制流函数与函数编程、类及面向对象编程、模块和包、输入输出、执行环境等多方面给出了详尽的讲解。如果你想加入 python的世界，David M beazley的这本书可不要错过哦。 (封面是最新英文版的,中文版貌似只译到第二版)
template <typename T>
void my_swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
- 调用时无需显式指定类型：my_swap(x, y)，编译器自动识别 x、y 的类型
- 支持内置类型（int、double）、自定义类（只要支持拷贝构造和赋值）
- 若传入不同类型（如 my_swap(a, 3.14)），编译失败——模板参数 T 必须唯一确定
处理多个类型参数与默认模板参数
模板可接受多个类型参数，也可为部分参数设置默认类型：
立即学习“C++免费学习笔记（深入）”；
template <typename T, typename U = int>
T add(const T& a, const U& b) {
return static_cast<T>(a + b);
}
- 调用 add(5, 2) 时，T 和 U 都是 int；调用 add(5.5, 2) 时，T 是 double，U 是 int
- 默认参数必须靠右，不能跳过中间参数（即不能只指定 U 而不指定 T）
- 注意隐式转换风险，建议在关键逻辑中用 static_cast 明确类型行为
模板实参推导与显式实例化
大多数时候依赖自动推导，但某些场景需手动指定：
- 函数参数无法提供足够信息时（如空数组、字面量类型模糊），可用 my_func
(x) 显式指定 - 显式实例化（template void my_swap<:string>(std::string&, std::string&);）可强制生成某版本代码，用于分离编译或提前检查
- 函数模板不支持偏特化（类模板才支持），如需特殊处理某类型，应使用函数重载或 if constexpr（C++17起）
