函数模板是C++泛型编程核心,用template定义,支持自动类型推导与显式指定,要求参数类型一致或通过多参数模板适配,运算符需对实际类型有效。

函数模板是C++中实现泛型编程的核心机制,它让同一段逻辑能自动适配多种类型,避免重复写多个相似函数。
基本语法:定义一个函数模板
用 template
templateT max(T a, T b) { return (a > b) ? a : b; }
这里 typename(也可用 class)告诉编译器 T 是一个类型,不是变量或值。
使用方式:编译器自动推导或显式指定
调用时通常无需写明类型,编译器根据实参自动推导:
立即学习“C++免费学习笔记(深入)”;
传媒企业网站系统使用热腾CMS(RTCMS),根据网站板块定制的栏目,如果修改栏目,需要修改模板相应的标签。站点内容均可在后台网站基本设置中添加。全站可生成HTML,安装默认动态浏览。并可以独立设置SEO标题、关键字、描述信息。源码包中带有少量测试数据,安装时可选择演示安装或全新安装。如果全新安装,后台内容充实后,首页才能完全显示出来。(全新安装后可以删除演示数据用到的图片,目录在https://
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(5, 3.14); // 强制按 double 比较,5 被提升为 5.0
注意类型一致性与限制
模板函数要求所有同名模板参数位置上的实参类型一致(除非重载或特化):
-
max(3, 4.5)会报错:T 无法同时是 int 和 double - 若需支持混合类型,可定义两个模板参数:
template(C++11 后支持返回类型后置推导)auto max(T a, U b) -> decltype(a > b ? a : b) - 运算符必须对实际类型有效——比如
max要求类型支持 >;自定义类需重载该运算符才能使用
一个实用小例子:交换两个值
templatevoid swap(T& a, T& b) { T temp = a; a = b; b = temp; } int m = 10, n = 20; swap(m, n); // 编译器生成 int 版本的 swap
标准库中的 std::swap 就是这样工作的。它不依赖具体类型,只要支持拷贝构造和赋值即可。
基本上就这些。写函数模板不复杂,但容易忽略类型约束和推导规则。








