模板函数通过template<typename T>实现泛型编程,支持自动类型推导与显式指定类型,可重载并特化处理特定类型,提升代码复用性与灵活性。

在C++中,模板函数是实现泛型编程的核心工具之一。它允许我们编写与数据类型无关的通用函数,从而提高代码复用性和灵活性。使用模板函数,可以对多种类型执行相同逻辑,而无需为每种类型单独重写函数。
定义一个模板函数需要使用 template 关键字,后跟模板参数列表,然后是函数定义。
template <typename T>
T max(T a, T b) {
return (a > b) ? a : b;
}
上面的例子中,typename T 表示T是一个类型占位符,在调用时会被实际类型自动推导替换(如 int、double、string 等)。
也可以使用 class 替代 typename,两者在此场景下等价:
立即学习“C++免费学习笔记(深入)”;
template <class T>
T max(T a, T b) { ... }
模板函数可以在不显式指定类型的情况下被调用,编译器会根据传入参数自动推导类型:
int x = 5, y = 10; double a = 3.14, b = 2.71; <p>int m1 = max(x, y); // 推导为 max<int> double m2 = max(a, b); // 推导为 max<double></p>
当然,也可以显式指定模板类型:
max<double>(x, a); // 显式使用 double 类型版本
这在参数类型不一致但希望统一处理时特别有用。
模板函数可以接受多个类型参数,适用于更复杂的泛型逻辑:
template <typename T, typename U>
auto add(T a, U b) -> decltype(a + b) {
return a + b;
}
这里使用了尾置返回类型 decltype(a + b) 来让返回值类型由两个参数相加的结果决定。C++14 后也可简化为:
template <typename T, typename U>
auto add(T a, U b) {
return a + b;
}
</font>这样就能支持 int + double、float + long 等混合类型运算。
你可以为特定类型提供专门的实现——称为模板特化。
// 通用版本
template <typename T>
void print(T value) {
std::cout << "Value: " << value << std::endl;
}
<p>// 全特化:针对 const char<em>
template <>
void print(const char</em> str) {
std::cout << "String: " << str << std::endl;
}</p>当调用 print("hello") 时,会匹配特化版本。注意全特化需在原始模板同一作用域内定义。
此外,函数模板本身也支持重载:
template <typename T> void func(T x); // 版本1 <p>template <typename T> void func(T* x); // 版本2:指针重载</p><p>void func(int x); // 普通函数重载</p>
调用时编译器会根据参数选择最匹配的版本。
基本上就这些。掌握模板函数写法是进入C++高级编程和STL源码理解的关键一步。合理使用模板,能写出高效、安全、可维护的通用代码。不复杂但容易忽略的是类型推导规则和特化语法,建议多写示例加深理解。
以上就是C++如何使用模板(template)函数_C++泛型编程模板函数写法指南的详细内容,更多请关注php中文网其它相关文章!
编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号