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

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

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

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

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

template 
void my_swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

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

template 
T add(const T& a, const U& b) {
    return static_cast(a + b);
}

大多数时候依赖自动推导，但某些场景需手动指定：

函数参数无法提供足够信息时（如空数组、字面量类型模糊），可用 my_func(x) 显式指定
显式实例化（template void my_swap<:string>(std::string&, std::string&);）可强制生成某版本代码，用于分离编译或提前检查
函数模板不支持偏特化（类模板才支持），如需特殊处理某类型，应使用函数重载或 if constexpr（C++17起）

您的项目需求

*请认真填写需求信息，我们会在24小时内与您取得联系。