C++函数调用模版技术允许我们定义不依赖具体数据类型的通用函数，通过模版参数将参数类型和返回值类型抽象化，从而在调用时根据实际传入的参数自动生成对应类型的函数实例，实现参数传递和返回值的泛型化。
函数模版基础语法
函数模版的定义以template关键字开头，后面跟着模版参数列表，模版参数通常用typename或者class声明，表示这是一个待推导的类型参数。基础的函数模版定义格式如下：
// 定义一个简单的加法函数模版
template <typename T>
T add(T a, T b) {
return a + b;
}这里的T就是泛型类型参数，在调用add函数时，编译器会根据传入的实参类型自动推导T的具体类型，生成对应的函数实例。
参数传递的泛型化实现
函数模版的参数传递同样支持泛型化，常见的参数传递方式包括值传递、引用传递和指针传递，都可以通过模版参数实现适配多种类型。
值传递泛型化
值传递是最基础的传递方式，模版参数T会直接匹配实参的类型，函数内部操作的是实参的副本。示例如下：
template <typename T>
void print_value(T val) {
// 输出传入的值
std::cout << "值为: " << val << std::endl;
}
int main() {
print_value(10); // T推导为int
print_value(3.14); // T推导为double
print_value('a'); // T推导为char
return 0;
}引用传递泛型化
引用传递可以让函数直接操作实参本身，模版参数T匹配实参的类型后，引用类型会自动适配。如果需要同时支持普通引用和常量引用，可以结合const修饰符：
template <typename T>
void swap_value(T &a, T &b) {
T temp = a;
a = b;
b = temp;
}
int main() {
int x = 1, y = 2;
swap_value(x, y); // T推导为int，a和b是int类型的引用
double m = 1.5, n = 2.5;
swap_value(m, n); // T推导为double，a和b是double类型的引用
return 0;
}指针传递泛型化
指针传递的泛型化同样通过模版参数实现，T会匹配指针指向的类型，示例如下：
template <typename T>
void modify_pointer(T *ptr, T new_val) {
if (ptr != nullptr) {
*ptr = new_val;
}
}
int main() {
int num = 0;
modify_pointer(&num, 100); // T推导为int，ptr是int*类型
return 0;
}返回值的泛型化实现
函数模版的返回值泛型化主要有两种方式，一种是让返回值类型直接使用模版参数T，另一种是使用自动推导或者尾置返回类型适配更复杂的场景。
返回值类型使用模版参数
当返回值的类型和某个参数类型一致时，可以直接用模版参数作为返回值类型，编译器会根据参数类型自动推导：
template <typename T>
T max_value(T a, T b) {
return a > b ? a : b;
}
int main() {
int int_max = max_value(3, 5); // 返回int类型
double double_max = max_value(2.1, 1.9); // 返回double类型
return 0;
}多参数类型的返回值泛型化
如果函数有多个不同类型的参数，返回值可能需要根据参数类型推导，此时可以使用auto和decltype结合尾置返回类型实现：
template <typename T1, typename T2>
auto add_diff_type(T1 a, T2 b) -> decltype(a + b) {
return a + b;
}
int main() {
// 返回值类型由a+b的结果类型决定，这里是double
auto result = add_diff_type(10, 3.14);
std::cout << result << std::endl;
return 0;
}模版参数显式指定
当编译器无法自动推导模版参数类型时，可以在函数调用时显式指定模版参数的具体类型，此时参数传递和返回值的泛型化会按照指定的类型生效：
template <typename T>
T multiply(T a, T b) {
return a * b;
}
int main() {
// 显式指定T为int，即使传入的是浮点数也会转换为int
int res = multiply<int>(2.5, 3.1);
std::cout << res << std::endl; // 输出6
return 0;
}注意事项
- 函数模版的参数传递和返回值泛型化依赖编译器的类型推导，推导失败时需要显式指定模版参数。
- 不是所有类型都支持模版中的操作，比如自定义类型如果没有重载
+运算符，就无法使用上述add模版。 - 引用传递和指针传递的泛型化需要注意实参的生命周期，避免返回局部变量的引用或指针。