函数模板是C++泛型编程核心，用template<typename T>定义，支持自动类型推导与显式指定，要求参数类型一致或通过多参数模板适配，运算符需对实际类型有效。
函数模板是C++中实现泛型编程的核心机制，它让同一段逻辑能自动适配多种类型，避免重复写多个相似函数。
基本语法：定义一个函数模板
用 template <typename T> 声明模板参数，T 是占位符类型名，可替换成任意合法类型：
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
</font>
<p>这里 <strong>typename</strong>（也可用 <strong>class</strong>）告诉编译器 T 是一个类型，不是变量或值。</p>
<H3>使用方式：编译器自动推导或显式指定</H3>
<p>调用时通常无需写明类型，编译器根据实参自动推导：</p><p><span>立即学习</span>“<a href="https://pan.quark.cn/s/6e7abc4abb9f" style="text-decoration: underline !important; color: blue; font-weight: bolder;" rel="nofollow" target="_blank">C++免费学习笔记（深入）</a>”；</p><div class="aritcle_card flexRow">
<div class="artcardd flexRow">
<a class="aritcle_card_img" href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架"><img
src="https://img.php.cn/upload/skill/000/000/081/178988956499722.jpg" alt="C++ 算法竞赛自动化测试数据生成与校验框架" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架">C++ 算法竞赛自动化测试数据生成与校验框架</a>
<p>根据原题生成新题面、验证器及完整测试数据，自动套用 testlib 模板，用于用户要求生成测试数据时。</p>
</div>
<a href="/xiazai/skill4025" title="C++ 算法竞赛自动化测试数据生成与校验框架" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span> </a>
</div>
</div>
<font color="gray">
<pre class="brush:php;toolbar:false;">
int x = max(3, 7); // 推导 T 为 int
double y = max(2.5, 1.8); // 推导 T 为 double
char c = max('a', 'z'); // 推导 T 为 char
当无法推导或需强制指定时，可用显式模板实参：
auto z = max<double>(5, 3.14); // 强制按 double 比较，5 被提升为 5.0
注意类型一致性与限制
模板函数要求所有同名模板参数位置上的实参类型一致（除非重载或特化）：
-
max(3, 4.5)会报错：T 无法同时是 int 和 double - 若需支持混合类型，可定义两个模板参数：
template <typename T, typename U> auto max(T a, U b) -> decltype(a > b ? a : b)（C++11 后支持返回类型后置推导） - 运算符必须对实际类型有效——比如
max要求类型支持 >；自定义类需重载该运算符才能使用
一个实用小例子：交换两个值
template <typename T>
void swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
int m = 10, n = 20;
swap(m, n); // 编译器生成 int 版本的 swap
标准库中的 std::swap 就是这样工作的。它不依赖具体类型，只要支持拷贝构造和赋值即可。
基本上就这些。写函数模板不复杂，但容易忽略类型约束和推导规则。
