C++ 模板编程基础：泛型编程入门与实践

定义与调用

下面是一个通用加法函数模板的示例，支持任意支持 + 运算符的类型。

#include<iostream>
using namespace std;

// 函数模板：通用加法函数，支持任意支持 + 运算符的类型
template<typename T>
T add(T a, T b) {
    cout << "模板函数调用，类型为：" << typeid(T).name() << endl;
    return a + b;
}

int main() {
    // 1. 显式指定类型参数（推荐，可读性强）
    int num1 = add<int>(10, 20);
    cout << "int 类型加法：10 + 20 = " << num1 << endl; // 30

    double num2 = add<double>(3.14, 2.86);
    cout << "double 类型加法：3.14 + 2.86 = " << num2 << endl; // 6.0

    // 2. 隐式推导类型参数（编译器根据实参类型自动推导 T）
    float num3 = add(5.5f, 3.5f);
    cout << "float 类型加法：5.5 + 3.5 = " << num3 << endl; // 9.0f

    string str1 = "Hello, ", str2 = "C++!";
    string str3 = add(str1, str2); // 字符串支持 + 运算符，推导 T 为 string
    cout << "string 类型加法：" << str3 << endl; // Hello, C++!

    return 0;
}

运行结果会显示对应的类型名称及计算结果。

类型推导规则

编译器会根据实参类型自动推导模板的类型参数 T，推导规则如下：

1. 实参类型必须一致（若函数参数均为 T 类型），否则推导失败。
2. 引用/const 修饰会被保留或忽略（需注意类型匹配）。
3. 数组、函数会退化为指针类型（除非显式指定为引用）。

template<typename T>
void print_type(T param) {
    cout << "参数类型：" << typeid(T).name() << endl;
}

int main() {
    int a = 10;
    const int b = 20;
    int& c = a;
    int arr[5] = {1, 2, 3, 4, 5};
    void func(int) {}

    print_type(a);      // 实参为 int，推导 T=int
    print_type(b);      // 实参为 const int，推导 T=int（const 被忽略）
    print_type(c);      // 实参为 int&，推导 T=int（引用被忽略）
    print_type(arr);    // 实参数组，推导 T=int*（数组退化为指针）
    print_type(func);   // 实参函数，推导 T=void(*)(int)

    // 若需保留引用/const，需显式指定模板参数为引用类型
    template<typename T>
    void print_ref_type(T& param) {}
    print_ref_type(b);  // 推导 T=const int（保留 const）
    print_ref_type(c);  // 推导 T=int（保留引用，param 为 int&）

    return 0;
}

注意：若实参类型不一致且未显式指定类型，会导致编译错误。例如 add(10, 3.14) 会报错，因为 int 和 double 无法统一推导为同一个 T。解决方式是显式指定类型，如 add<double>(10, 3.14)。

函数模板的重载

函数模板支持重载，可与普通函数或其他函数模板构成重载关系，调用时遵循'最匹配原则'：

1. 普通函数优先于模板函数（若参数完全匹配）。
2. 模板函数的显式特化优先于通用模板。
3. 更具体的模板优先于更通用的模板。

#include<iostream>
using namespace std;

// 普通函数：处理 int 类型加法
int add(int a, int b) {
    cout << "普通函数（int）调用：";
    return a + b;
}

// 函数模板：通用加法
template<typename T> T add(T a, T b) {
    cout << "模板函数（" << typeid(T).name() << "）调用：";
    return a + b;
}

// 函数模板重载：支持两个不同类型的参数
template<typename T1, typename T2>
auto add(T1 a, T2 b) -> decltype(a + b) {
    cout << "模板函数（" << typeid(T1).name() << "," << typeid(T2).name() << "）调用：";
    return a + b;
}

int main() {
    cout << add(10, 20) << endl;           // 输出：普通函数（int）调用：30
    cout << add(3.14, 2.86) << endl;       // 输出：模板函数（double）调用：6
    cout << add(10, 3.14) << endl;         // 输出：模板函数（int,double）调用：13.14
    return 0;
}

函数模板的特化

当通用模板无法满足特定类型的需求（如特殊逻辑、运算符不支持）时，可对模板进行特化（Specialization），为特定类型提供专属实现。

特化的语法格式

template<>
// 空模板参数列表，表示特化
返回值类型 函数名<特化类型>(特化类型 参数 1, 特化类型 参数 2,...){
    // 专属逻辑
}

示例：处理 string 类型的特殊加法

#include<iostream>
#include<string>
using namespace std;

// 通用函数模板：加法
template<typename T> T add(T a, T b) {
    cout << "通用模板：";
    return a + b;
}

// 特化：为 string 类型提供专属实现（拼接字符串时添加空格）
template<> string add<string>(string a, string b) {
    cout << "string 特化模板：";
    return a + " " + b; // 特殊逻辑：拼接时添加空格
}

int main() {
    cout << add(10, 20) << endl;              // 通用模板：30
    cout << add(3.14, 2.86) << endl;          // 通用模板：6
    cout << add(string("Hello"), string("World")) << endl; // string 特化模板：Hello World
    return 0;
}

注意事项：特化模板必须与通用模板在同一作用域，且函数名、参数列表必须与通用模板一致。特化后，调用该类型时优先使用特化版本。

类模板：通用类的实现

基本语法

类模板用于创建通用类，支持不同类型的成员变量和成员函数参数。

template<typename T>// 模板参数列表（可多个类型参数）
class 类名 {
public:
    // 成员变量（类型为 T）
    T 成员变量;
    // 构造函数
    类名 (T 参数): 成员变量 (参数) {}
    // 成员函数（参数/返回值类型可使用 T）
    T get_value() const {
        return 成员变量;
    }
    void set_value(T value) {
        成员变量 = value;
    }
};

类模板的成员函数若在类外定义，需再次声明模板参数列表。

定义与实例化

类模板不能直接使用，需实例化（指定具体类型）后才能创建对象，分为显式实例化和隐式实例化。

#include<iostream>
using namespace std;

// 类模板：通用容器类（存储单个元素）
template<typename T>
class Container {
private:
    T data; // 成员变量，类型为 T
public:
    // 构造函数
    Container(T value) : data(value) {}
    // 成员函数：类内定义
    T get_data() const {
        return data;
    }
    // 成员函数：类外定义（需再次声明模板参数）
    void set_data(T value);
};

// 类外定义成员函数：必须加 template <typename T>
template<typename T>
void Container<T>::set_data(T value) {
    data = value;
}

int main() {
    // 1. 显式实例化（推荐，可读性强）
    Container<int> int_container(100);
    cout << "int 容器初始值：" << int_container.get_data() << endl; // 100
    int_container.set_data(200);
    cout << "int 容器修改后：" << int_container.get_data() << endl; // 200

    // 2. 隐式实例化（编译器根据构造函数参数推导类型）
    Container<double> double_container(3.14);
    cout << "double 容器值：" << double_container.get_data() << endl; // 3.14

    // 3. 实例化不同类型的对象（相互独立）
    Container<string> str_container("Hello C++");
    cout << "string 容器值：" << str_container.get_data() << endl; // Hello C++

    return 0;
}

多参数模板

类模板支持多个类型参数（或非类型参数），参数之间用逗号分隔。

// 多类型参数：T 为元素类型，Alloc 为分配器类型（默认值为 void）
template<typename T, typename Alloc = void>
class MyVector {
    // 类实现
};

// 非类型参数：N 为常量整数（必须是编译期可确定的值）
template<typename T, int N>
class Array {
private:
    T data[N]; // 固定大小的数组，N 为模板参数
public:
    int size() const {
        return N;
    }
    T& operator[](int index) {
        return data[index];
    }
};

示例：带非类型参数的类模板（固定大小数组）

#include<iostream>
using namespace std;

// 类模板：固定大小数组（N 为非类型参数，编译期确定大小）
template<typename T, int N>
class FixedArray {
private:
    T data[N]; // 数组大小为 N（编译期固定）
public:
    // 构造函数：初始化所有元素为默认值
    FixedArray() {
        for (int i = 0; i < N; ++i) {
            data[i] = T(); // T() 为默认构造（如 int 默认 0，string 默认空串）
        }
    }
    // 赋值操作：设置指定索引的元素
    void set(int index, T value) {
        if (index >= 0 && index < N) {
            data[index] = value;
        }
    }
    // 获取元素
    T get(int index) const {
        if (index >= 0 && index < N) {
            return data[index];
        }
        return T(); // 索引越界返回默认值
    }
    // 获取数组大小
    int size() const {
        return N;
    }
    // 打印数组
    void print() const {
        for (int i = 0; i < N; ++i) {
            cout << data[i] << " ";
        }
        cout << endl;
    }
};

int main() {
    // 实例化：int 类型，大小为 5 的数组
    FixedArray<int, 5> int_arr;
    int_arr.set(0, 10);
    int_arr.set(1, 20);
    int_arr.set(2, 30);
    cout << "int 数组（大小" << int_arr.size() << "）：";
    int_arr.print(); // 10 20 30 0 0

    // 实例化：double 类型，大小为 3 的数组
    FixedArray<double, 3> double_arr;
    double_arr.set(0, 1.1);
    double_arr.set(1, 2.2);
    double_arr.set(2, 3.3);
    cout << "double 数组（大小" << double_arr.size() << "）：";
    double_arr.print(); // 1.1 2.2 3.3

    // 实例化：string 类型，大小为 4 的数组
    FixedArray<string, 4> str_arr;
    str_arr.set(0, "Apple");
    str_arr.set(1, "Banana");
    cout << "string 数组（大小" << str_arr.size() << "）：";
    str_arr.print(); // Apple Banana （后两个为默认空串）

    return 0;
}

非类型参数的限制：必须是编译期可确定的常量（如字面量、const 变量、enum 值）。支持的类型包括整数类型、枚举类型、指针类型、引用类型。不支持浮点数或类类型。

类模板的特化与偏特化

类模板同样支持特化（为特定类型提供专属实现），且支持偏特化（为部分模板参数指定类型，保留其他参数的通用性）。

全特化

全特化是为所有模板参数指定具体类型。

template<>
// 空模板参数列表
class 类名<特化类型>{
    // 专属实现
};

示例：为 string 和 int 类型提供专属的 Printer 实现。

#include<iostream>
#include<string>
using namespace std;

// 通用类模板：打印元素类型和值
template<typename T>
class Printer {
public:
    void print(T value) {
        cout << "通用模板 - 类型：" << typeid(T).name() << "，值：" << value << endl;
    }
};

// 全特化：为 string 类型提供专属实现（美化输出）
template<>
class Printer<string> {
public:
    void print(string value) {
        cout << "string 特化模板 - 字符串：\"" << value << "\"" << endl;
    }
};

// 全特化：为 int 类型提供专属实现（添加单位）
template<>
class Printer<int> {
public:
    void print(int value) {
        cout << "int 特化模板 - 整数：" << value << "（单位：个）" << endl;
    }
};

int main() {
    Printer<double> double_printer;
    double_printer.print(3.14); // 通用模板

    Printer<string> str_printer;
    str_printer.print("Hello C++"); // string 特化模板

    Printer<int> int_printer;
    int_printer.print(100); // int 特化模板

    return 0;
}

偏特化

偏特化是为部分模板参数指定类型，适用于多参数模板。

template<保留的模板参数>
class 类名<保留参数，指定的参数>{
    // 偏特化实现
};

示例：当第二个参数 U 为 int 时，或两个参数均为指针类型时的专属实现。

#include<iostream>
using namespace std;

// 多参数类模板：T 为元素类型，U 为附加类型
template<typename T, typename U>
class Pair {
public:
    Pair(T first, U second) : first_val(first), second_val(second) {}
    void display() {
        cout << "通用模板 - 第一个值（" << typeid(T).name() << "）：" << first_val << "，第二个值（" << typeid(U).name() << "）：" << second_val << endl;
    }
private:
    T first_val;
    U second_val;
};

// 偏特化 1：当第二个参数 U 为 int 时的专属实现
template<typename T>
class Pair<T, int> {
public:
    Pair(T first, int second) : first_val(first), second_val(second) {}
    void display() {
        cout << "偏特化（U=int） - 第一个值：" << first_val << "，第二个值（整数）：" << second_val << "（已乘以 2：" << second_val * 2 << "）" << endl;
    }
private:
    T first_val;
    int second_val;
};

// 偏特化 2：当两个参数均为指针类型时的专属实现
template<typename T, typename U>
class Pair<T*, U*> {
public:
    Pair(T* first, U* second) : first_ptr(first), second_ptr(second) {}
    void display() {
        cout << "偏特化（T*+U*） - 第一个指针地址：" << first_ptr << "，值：" << *first_ptr << "；第二个指针地址：" << second_ptr << "，值：" << *second_ptr << endl;
    }
private:
    T* first_ptr;
    U* second_ptr;
};

int main() {
    // 通用模板：T=string，U=double
    Pair<string, double> p1("PI", 3.14);
    p1.display();

    // 偏特化 1：T=string，U=int
    Pair<string, int> p2("计数", 5);
    p2.display();

    // 偏特化 2：T=int*，U=double*
    int a = 10;
    double b = 2.5;
    Pair<int*, double*> p3(&a, &b);
    p3.display();

    return 0;
}

注意：偏特化不能改变模板参数的数量，只能为部分参数指定具体类型。若存在多个偏特化版本，编译器会选择最匹配的版本。

模板的编译机制与常见问题

编译机制

C++ 模板采用'实例化时编译'机制，核心特点：

1. 模板定义本身不会生成可执行代码，仅当实例化（指定具体类型）时，编译器才会生成对应类型的函数/类代码。
2. 模板的声明和定义需在同一翻译单元（.cpp 文件）中可见，否则会导致链接错误（'未定义的引用'）。

常见错误是模板定义与声明分离。解决方案是将模板的声明和定义放在同一 .h 文件中，或在模板定义文件中显式实例化所需类型。

常见错误与规避

1. 类型推导失败：实参类型不一致。规避方案是确保实参类型一致，或显式指定模板类型参数。
2. 模板参数不支持特定操作：传入的类型不支持模板中的运算符。规避方案是为自定义类重载所需运算符，或使用模板特化。
3. 非类型参数不是编译期常量：使用了运行时才能确定的值。规避方案是使用字面量、const 变量、enum 值等编译期常量。
4. 模板特化与通用模板不匹配：特化模板的参数列表、返回值类型需与通用模板严格一致。

实战案例：基于模板实现通用链表

问题描述

实现一个通用单向链表类，支持任意类型的元素存储，提供插入、删除、查找、遍历等基础操作，通过模板实现类型无关性。

代码实现

#include<iostream>
#include<string>
using namespace std;

// 1. 链表节点类模板
template<typename T>
class ListNode {
public:
    T data; // 节点数据（通用类型 T）
    ListNode<T>* next; // 下一个节点指针

    // 构造函数
    ListNode(T value) : data(value), next(nullptr) {}
};

// 2. 链表类模板
template<typename T>
class LinkedList {
private:
    ListNode<T>* head; // 头节点指针
    int length; // 链表长度
public:
    // 构造函数：初始化空链表
    LinkedList() : head(nullptr), length(0) {}

    // 析构函数：释放所有节点内存
    ~LinkedList() {
        ListNode<T>* curr = head;
        while (curr != nullptr) {
            ListNode<T>* temp = curr;
            curr = curr->next;
            delete temp;
        }
        head = nullptr;
        length = 0;
    }

    // 头插法：在链表头部插入元素
    void push_front(T value) {
        ListNode<T>* new_node = new ListNode<T>(value);
        new_node->next = head;
        head = new_node;
        length++;
    }

    // 尾插法：在链表尾部插入元素
    void push_back(T value) {
        ListNode<T>* new_node = new ListNode<T>(value);
        if (head == nullptr) {
            head = new_node;
        } else {
            ListNode<T>* curr = head;
            while (curr->next != nullptr) {
                curr = curr->next;
            }
            curr->next = new_node;
        }
        length++;
    }

    // 按索引插入元素（索引从 0 开始）
    bool insert(int index, T value) {
        if (index < 0 || index > length) {
            cout << "插入失败：索引" << index << "非法！" << endl;
            return false;
        }
        if (index == 0) {
            push_front(value);
            return true;
        }
        ListNode<T>* curr = head;
        for (int i = 0; i < index - 1; ++i) {
            curr = curr->next;
        }
        ListNode<T>* new_node = new ListNode<T>(value);
        new_node->next = curr->next;
        curr->next = new_node;
        length++;
        return true;
    }

    // 按值删除第一个匹配的元素
    bool remove(T value) {
        if (head == nullptr) {
            cout << "删除失败：链表为空！" << endl;
            return false;
        }
        ListNode<T>* curr = head;
        ListNode<T>* prev = nullptr;
        while (curr != nullptr && curr->data != value) {
            prev = curr;
            curr = curr->next;
        }
        if (curr == nullptr) {
            cout << "删除失败：未找到值" << value << "！" << endl;
            return false;
        }
        if (prev == nullptr) {
            head = curr->next;
        } else {
            prev->next = curr->next;
        }
        delete curr;
        length--;
        return true;
    }

    // 按索引查找元素
    T get(int index) const {
        if (index < 0 || index >= length) {
            cout << "查找失败：索引" << index << "非法！" << endl;
            return T();
        }
        ListNode<T>* curr = head;
        for (int i = 0; i < index; ++i) {
            curr = curr->next;
        }
        return curr->data;
    }

    // 获取链表长度
    int size() const {
        return length;
    }

    // 遍历打印链表（通用版本）
    void print() const {
        if (head == nullptr) {
            cout << "链表为空！" << endl;
            return;
        }
        cout << "链表元素（长度" << length << "）：";
        ListNode<T>* curr = head;
        while (curr != nullptr) {
            cout << curr->data << " -> ";
            curr = curr->next;
        }
        cout << "nullptr" << endl;
    }
};

// 3. 特化：为 string 类型提供专属 print 函数（美化输出）
template<>
void LinkedList<string>::print() const {
    if (head == nullptr) {
        cout << "链表为空！" << endl;
        return;
    }
    cout << "字符串链表（长度" << length << "）：";
    ListNode<string>* curr = head;
    while (curr != nullptr) {
        cout << "\"" << curr->data << "\" -> ";
        curr = curr->next;
    }
    cout << "nullptr" << endl;
}

// 测试代码
int main() {
    // 测试 int 类型链表
    cout << "===== 测试 int 类型链表 =====" << endl;
    LinkedList<int> int_list;
    int_list.push_back(10);
    int_list.push_back(20);
    int_list.push_front(5);
    int_list.insert(2, 15);
    int_list.print();
    cout << "索引 2 的元素：" << int_list.get(2) << endl;
    int_list.remove(10);
    int_list.print();

    // 测试 string 类型链表（特化 print）
    cout << "\n===== 测试 string 类型链表 =====" << endl;
    LinkedList<string> str_list;
    str_list.push_back("Apple");
    str_list.push_back("Banana");
    str_list.push_front("Orange");
    str_list.insert(1, "Grape");
    str_list.print();
    str_list.remove("Grape");
    str_list.print();

    // 测试 double 类型链表
    cout << "\n===== 测试 double 类型链表 =====" << endl;
    LinkedList<double> double_list;
    double_list.push_back(1.1);
    double_list.push_back(2.2);
    double_list.push_front(0.5);
    double_list.print();

    return 0;
}

结论

通过模板实现的通用链表支持 int、string、double 等多种类型，代码复用率高，且通过特化为 string 类型提供了美化输出，兼顾了通用性和灵活性。实际开发中，类似 STL 的 vector、list 等容器均采用类似的模板设计。

模板与 STL 的关联

STL 是 C++ 泛型编程的典范，其核心组件（容器、算法、迭代器）均基于模板实现：

1. 容器：vector、list、map<K,V> 等均为类模板。
2. 算法：sort、find、reverse 等均为函数模板。
3. 迭代器：作为容器与算法的桥梁，也是模板类型。

示例：vector 容器配合 sort 算法。

#include<iostream>
#include<vector>
#include<algorithm>
using namespace std;

int main() {
    vector<int> nums = {5, 2, 9, 1, 5, 6};
    sort(nums.begin(), nums.end());
    cout << "排序后的 vector：";
    for (int num : nums) {
        cout << num << " ";
    }
    cout << endl;

    vector<string> fruits = {"Apple", "Banana", "Orange", "Grape"};
    sort(fruits.begin(), fruits.end());
    cout << "排序后的 string vector：";
    for (const string& fruit : fruits) {
        cout << fruit << " ";
    }
    cout << endl;

    return 0;
}

掌握模板编程后，能更深入理解 STL 的设计思想，甚至自定义适配 STL 的容器或算法。

总结

1. 模板是 C++ 泛型编程的核心，分为函数模板和类模板，核心价值是'一次编写，多次复用'，兼顾类型安全和灵活性。
2. 函数模板支持显式/隐式实例化、重载、特化，适用于创建通用函数。
3. 类模板支持多参数、非类型参数、全特化、偏特化，适用于创建通用容器。
4. 模板的编译机制为'实例化时编译'，需注意声明与定义的一致性，避免链接错误。
5. 模板是 STL 的底层实现基础，掌握模板编程是深入学习 STL 和 C++ 高级特性的关键。

通过本文学习，你应能独立编写函数模板和类模板，解决实际开发中的代码复用问题，并理解模板特化、偏特化等高级技术的应用场景。