C++模板编程全面解析：函数模板与类模板的详解与实战

C++模板（Template）是一种用于实现泛型编程的强大工具，使得代码的通用性和复用性得以大幅提升。本文将详细介绍模板编程的概念，为什么需要模板，以及函数模板和类模板的具体用法。为便于理解，我们将配合代码示例，对模板的使用做全面剖析。

一、什么是模板？

模板是一种能让编写的代码不依赖具体数据类型的技术。在C++中，模板是实现泛型编程的主要手段，使程序员可以编写具有通用性的代码，而不需要关心数据类型。模板的使用极大提升了代码的灵活性和复用性，适合实现类似容器、算法等通用模块。

二、为什么需要使用模板？

C和C++是静态语言，编译过程会确定所有数据类型。静态编程语言的特点是运行速度快，但代码复用性较差。模板应运而生，为解决以下问题：

1. 实现代码的通用性：在实现排序等算法时，我们不想为每种类型都写一个排序函数，而希望只实现一个通用排序算法，比如快速排序、选择排序等。
2. 传统方法的缺陷：
   • void+回调函数*：可以使用void*和回调函数来实现通用代码，但实现复杂，使用繁琐。
   • 宏定义：宏定义可以实现部分通用代码，但类型检查不严格，容易产生二义性。
   • 函数重载：函数重载能提高代码的复用性，但需要为每种类型写一个重载函数。

为了解决这些问题，C++的发明者引入了模板技术。模板消除了数据类型的约束，让代码更具通用性。

三、函数模板

函数模板用于定义通用函数，自动适配不同类型的数据。函数模板的声明、原理、调用方式、特化等内容是使用函数模板的关键。

1. 函数模板的格式

template <typename T1, typename T2, typename T3 = long>
T3 add(T1 arg1, T2 arg2) {
    return arg1 + arg2;
}

说明：

• template关键字表示模板定义，typename定义模板参数的类型名。
• T1、T2、T3是类型参数，可以定义为任何合法标识符。
• T3设为long表示默认类型，当调用模板时未指定类型时使用默认类型。

2. 函数模板的原理

函数模板编译分为两个阶段：

• 第一次编译：仅检查语法，无错误即通过，但不生成二进制代码。
• 第二次编译：调用模板时，根据实参类型检查并生成二进制代码。未被调用的模板不会生成代码。这种方式称为“惰性实例化”。

3. 函数模板的调用

• 自动调用：编译器根据实参类型自动推导类型。
• 手动调用：指定类型，如add<int, float>(10, 5.0f)。

4. 模板的默认形参

模板参数可设置默认类型（如上例中的T3=long）。默认类型需C++11支持，编译时需添加-std=c++11标志。

5. 函数模板的特化

对于某些特殊类型的操作需要特化模板，如char*字符串类型：

template<>
bool compare<char*>(char* a, char* b) {
    return strcmp(a, b) == 0;
}

注意事项：

• 必须存在一个基础函数模板。
• template<>是必需的，表示为模板特化版本。
• 优先调用特化版本，不会与普通模板冲突。

示例：实现一个通用排序函数模板（选择排序）

#include <iostream>
using namespace std;

template <typename T>
void selectionSort(T arr[], int n) {
    for (int i = 0; i < n - 1; ++i) {
        int minIndex = i;
        for (int j = i + 1; j < n; ++j)
            if (arr[j] < arr[minIndex])
                minIndex = j;
        swap(arr[i], arr[minIndex]);
    }
}

int main() {
    int arr[] = {29, 10, 14, 37, 13};
    int n = sizeof(arr) / sizeof(arr[0]);
    selectionSort(arr, n);
    for (int i = 0; i < n; i++)
        cout << arr[i] << " ";
    return 0;
}

四、类模板

类模板用于设计具有通用性的类，使类能适配不同数据类型。其语法、使用方式、特化和递归实例化等特点均与函数模板有所不同。

1. 类模板的格式

template <typename T1, typename T2>
class Pair {
    T1 first;
    T2 second;
public:
    Pair(T1 f, T2 s) : first(f), second(s) {}
    void print() {
        cout << "First: " << first << ", Second: " << second << endl;
    }
};

2. 类模板的使用

类模板使用时，必须先实例化，且不能自动推导类型：

Pair<int, double> p(5, 10.5);
p.print();

3. 类模板的静态成员

类模板的静态成员定义在类外部，使用模板类型进行初始化：

template <typename T>
class Example {
    static int count;
};
template <typename T>
int Example<T>::count = 0;

4. 递归实例化

类模板的类型可以是其他类模板，如：

template <typename T>
class Node {
    T data;
};

template <typename T>
class Container {
    Node<T> node;
};

实例化方式：

Container<Node<int>> container;

5. 类模板的默认形参

类模板的类型参数同样支持默认类型：

template <typename T1, typename T2 = int>
class Example { /* ... */ };

6. 类模板的局部特化

当模板类的某些成员函数不适用于所有类型时，可以对这些函数进行局部特化。两种方式：

• 方式1：在类外定义局部特化函数：

template<>
void Example<char*>::function(char* arg) {
    // 特殊处理
}

• 方式2：在函数内部通过typeid判断类型：

template <typename T>
void Example<T>::function(T arg) {
    if (typeid(T) == typeid(char*)) {
        // 特殊处理
    } else {
        // 通用处理
    }
}

7. 类的全局特化

为某些特殊类型实现全新的类模板：

template<>
class Pair<double, double> {
    // 对double类型实现全新版本
};

总结

本文详细介绍了C++模板编程，包括函数模板与类模板的使用方法、特化、实例化、递归嵌套等内容。通过模板，程序可以轻松实现数据类型无关的通用功能，增强代码的灵活性和复用性。

模板在实现数据结构与算法（如排序算法、链表、队列、栈等）中尤为实用。希望本文能帮助读者对C++模板有更深入的理解。