C++函数模板

函数模板是C++中的一个特性，它允许你编写可以处理不同数据类型的通用函数。使用函数模板可以避免为每种数据类型重复编写相同的逻辑代码。

基本语法

template <typename T>
return_type function_name(parameters) {
    // function body
}

举个例子

#include <iostream>

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

int main() {
    int x = 10, y = 20;
    double d1 = 1.5, d2 = 2.5;

    std::cout << "Before swap: x = " << x << ", y = " << y << std::endl;
    swap(x, y);
    std::cout << "After swap: x = " << x << ", y = " << y << std::endl;

    std::cout << "Before swap: d1 = " << d1 << ", d2 = " << d2 << std::endl;
    swap(d1, d2);
    std::cout << "After swap: d1 = " << d1 << ", d2 = " << d2 << std::endl;

    return 0;
}

多个类型的参数时

template <typename T1, typename T2>
void printPair(const T1& first, const T2& second) {
    std::cout << "(" << first << ", " << second << ")" << std::endl;
}

int main() {
    printPair(42, "hello"); // T1=int, T2=const char*
    printPair(std::string("world"), 3.14); // T1=std::string, T2=double
    return 0;
}

可以像普通函数一样重载函数模板：

template <typename T>
void print(T value) {
    std::cout << "Template: " << value << std::endl;
}

void print(const char* value) {
    std::cout << "Non-template: " << value << std::endl;
}

int main() {
    print(42);
    print("Hello, World!");
    return 0;
}

显式实例化和特例化的例子：

#include <iostream>
#include <string>

// 函数模板定义
template<typename T>
void print(T value) {
    std::cout << "Generic print: " << value << std::endl;
}

// 显式特例化
template<>
void print(const std::string& value) {
    std::cout << "String print: " << value << std::endl;
}

// 显式实例化
template void print<int>(int);

int main() {
    print(42);          // 隐式实例化，编译器推断 T 为 int
    print(std::string("hi")); // 显式特例化，调用 string 版本
    print(3.14);        // 隐式实例化，编译器推断 T 为 double
    return 0;
}