在C++开发中，泛型编程的核心目标是通过抽象类型让代码适配多种数据类型，减少重复逻辑的编写。对于函数而言，实现参数传递和返回值的类型抽象，最常用的方法是使用函数模板，它可以在编译期根据实际传入的类型自动生成对应版本的函数，无需手动为每种类型编写重复代码。
函数模板的基本定义
函数模板使用template关键字声明模板参数，通常用typename或者class定义类型参数，之后定义的函数就可以使用该类型参数作为形参类型和返回值类型。例如下面是一个简单的加法函数模板，支持任意支持+运算符的类型：
#include <iostream>
using namespace std;
// 定义函数模板，T为类型参数
template <typename T>
T add(T a, T b) {
return a + b;
}
int main() {
// 传入int类型，编译器自动推导T为int
int intResult = add(1, 2);
cout << "int result: " << intResult << endl;
// 传入double类型，编译器自动推导T为double
double doubleResult = add(1.5, 2.3);
cout << "double result: " << doubleResult << endl;
return 0;
}参数传递的类型抽象规则
函数模板的参数传递类型抽象遵循编译期类型推导规则，具体可以分为几种常见场景：
- 当传入的是普通变量时，编译器会根据变量的实际类型推导模板参数T的类型，要求所有参数的推导类型一致，否则会编译报错。
- 如果需要传入不同类型的参数，可以定义多个模板参数，让不同形参对应不同的类型参数：
#include <iostream>
using namespace std;
// 定义两个类型参数，分别适配两个参数
template <typename T1, typename T2>
void printTwoArgs(T1 a, T2 b) {
cout << "first arg: " << a << ", second arg: " << b << endl;
}
int main() {
// 传入int和string，自动推导T1为int，T2为string
printTwoArgs(10, "hello");
// 传入double和int，自动推导T1为double，T2为int
printTwoArgs(3.14, 20);
return 0;
}返回值的类型抽象实现
返回值的类型抽象同样可以通过模板参数实现，常见的方式有三种：
1. 返回值类型与参数类型一致
如果返回值类型和某个参数类型相同，可以直接使用该参数的模板类型作为返回值类型，如前面的add函数，返回值T和参数类型一致。
2. 使用自动类型推导（C++14及以上）
如果返回值类型无法提前确定，可以使用auto作为返回值类型，让编译器根据return语句的表达式自动推导返回类型：
#include <iostream>
using namespace std;
// 返回值使用auto，编译器自动推导
template <typename T1, typename T2>
auto multiply(T1 a, T2 b) {
return a * b;
}
int main() {
// 返回类型为int
auto res1 = multiply(2, 3);
// 返回类型为double
auto res2 = multiply(2, 3.5);
cout << "res1: " << res1 << ", res2: " << res2 << endl;
return 0;
}3. 显式指定返回值类型（C++11及以上）
如果需要明确指定返回值类型，可以使用尾置返回类型结合decltype推导，或者显式指定模板参数作为返回类型：
#include <iostream>
using namespace std;
// 尾置返回类型，使用decltype推导返回类型
template <typename T1, typename T2>
auto divide(T1 a, T2 b) -> decltype(a / b) {
return a / b;
}
int main() {
// 返回类型为double
auto res = divide(5, 2);
cout << "divide result: " << res << endl;
return 0;
}注意事项
使用函数模板实现类型抽象时需要注意几个问题：
- 模板参数推导只在函数调用时发生，无法根据函数体内的逻辑推导类型，因此如果返回值类型和参数无关，可能需要显式指定或者使用
decltype配合表达式推导。 - 如果函数模板需要支持特定类型的操作，要确保传入的类型支持对应的运算符或操作，否则编译期会报类型不匹配的错误。
- 对于复杂的类型抽象场景，可以结合模板特化针对特定类型做特殊处理，避免通用模板无法适配的情况。