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

函数模板是C++中实现泛型编程的核心机制,它让同一段逻辑能自动适配多种类型,避免重复写多个相似函数。
基本语法:定义一个函数模板
用 template
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/code/10684" title="传媒公司模板(RTCMS)1.0"><img
src="https://img.php.cn/upload/webcode/000/000/013/176327820790052.jpg" alt="传媒公司模板(RTCMS)1.0" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a href="/xiazai/code/10684" title="传媒公司模板(RTCMS)1.0">传媒公司模板(RTCMS)1.0</a>
<p>传媒企业网站系统使用热腾CMS(RTCMS),根据网站板块定制的栏目,如果修改栏目,需要修改模板相应的标签。站点内容均可在后台网站基本设置中添加。全站可生成HTML,安装默认动态浏览。并可以独立设置SEO标题、关键字、描述信息。源码包中带有少量测试数据,安装时可选择演示安装或全新安装。如果全新安装,后台内容充实后,首页才能完全显示出来。(全新安装后可以删除演示数据用到的图片,目录在https://</p>
</div>
<a href="/xiazai/code/10684" title="传媒公司模板(RTCMS)1.0" 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)</typename>(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 就是这样工作的。它不依赖具体类型,只要支持拷贝构造和赋值即可。
基本上就这些。写函数模板不复杂,但容易忽略类型约束和推导规则。








