当前位置： 主页 > 新闻动态 > 技术帮助

C++如何编写函数模板？（泛型编程入门）

发布日期： 2026-01-02 阅读量： 作者： 裘德小鎮的故事

函数模板是C++泛型编程核心，用template声明，支持自动类型推导、多参数及默认参数，但不支持偏特化，需重载或if constexpr处理特例。

函数模板是C++泛型编程的核心机制，它允许你用一套代码适配多种类型，避免重复编写相似逻辑的函数。

函数模板的基本语法

用 template 或 template 声明模板参数，再定义函数。T 是占位符，编译器会在调用时自动推导实际类型。

typename 和 class 在这里完全等价，习惯上对类型参数多用 typename
模板声明必须紧邻函数定义之前，不能有空行或其它语句隔开
函数体中可像使用普通类型一样使用 T，比如声明变量、作为参数或返回值类型

一个实用的交换函数模板

以 swap 为例，对比普通函数和模板写法：

template 
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 必须唯一确定

处理多个类型参数与默认模板参数

模板可接受多个类型参数，也可为部分参数设置默认类型：

template 
T add(const T& a, const U& b) {
    return static_cast(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起）

上一篇: Win11怎么开启游戏模式_Windows11优化游戏帧数设

下一篇: Win11任务栏天气怎么关闭 Win11隐藏天气小组件图标【

南昌壹佳企网络通信有限公司

关注官方公众号

关于我们

服务项目: 网站建设运营推广小程序短视频

推广方案

案例中心: 网站案例广告设计营销传播影像大片