【C++提高篇】—— C++泛型编程之模板基本语法和使用的详解

C++泛型编程之模板基本语法和使用详解
一、引言
在C++中，泛型编程是一种强大的编程范式，它允许程序员编写与数据类型无关的代码，从而提高代码的复用性和可维护性。模板（Template）是C++实现泛型编程的核心机制。通过模板，我们可以定义通用的函数和类，这些函数和类可以在编译时根据不同的数据类型生成特定的代码版本。本文将详细介绍C++模板的基本语法和使用方法，帮助读者深入理解泛型编程的概念和实践。
二、模板的基本概念
模板是一种在编译时生成代码的技术。它允许程序员定义一个通用的函数或类，然后在使用时指定具体的类型参数。模板分为函数模板和类模板两种。
（一）函数模板
函数模板允许我们定义一个通用的函数，其参数类型可以在调用时动态指定。这使得我们能够编写出适用于多种数据类型的函数，而无需为每种类型重复编写代码。
1. 函数模板的定义
函数模板的定义以关键字template开头，后面跟着模板参数列表，通常使用typename或class关键字来声明模板参数。typename和class在这里的作用是相同的，但typename更常用于模板参数的声明。
语法：
template <typename T>
返回类型 函数名(参数列表) {
    // 函数体
}

示例：
#include <iostream>
using namespace std;

// 定义一个函数模板，用于比较两个值并返回较大的那个
template <typename T>
T max(T a, T b) {
    return a > b ? a : b;
}

int main() {
    cout << "Max of 5 and 10: " << max(5, 10) << endl;  // 调用模板函数，T为int
    cout << "Max of 3.5 and 7.2: " << max(3.5, 7.2) << endl;  // 调用模板函数，T为double
    return 0;
}

说明：
•  在函数模板中，T是一个占位符，表示任意类型。当调用模板函数时，编译器会根据传入的参数类型自动推导出T的具体类型。
•  函数模板的实例化是隐式的，即编译器会根据函数调用的上下文自动推导模板参数的类型，并生成相应的函数代码。
2. 显式实例化
除了让编译器自动推导模板参数的类型外，我们还可以显式地指定模板参数的类型。这在某些情况下可以提高代码的可读性和明确性。
示例：
#include <iostream>
using namespace std;

template <typename T>
T max(T a, T b) {
    return a > b ? a : b;
}

int main() {
    cout << "Max of 5 and 10: " << max<int>(5, 10) << endl;  // 显式指定模板参数T为int
    cout << "Max of 3.5 and 7.2: " << max<double>(3.5, 7.2) << endl;  // 显式指定模板参数T为double
    return 0;
}

说明：
•  在调用模板函数时，我们可以通过在函数名后面加上<类型>的方式显式地指定模板参数的类型。
•  显式实例化可以避免编译器的类型推导，确保模板函数的实例化类型是我们期望的类型。
3. 模板参数的默认值
函数模板的模板参数可以有默认值。当调用模板函数时，如果没有显式指定模板参数的类型，编译器会使用默认值。
示例：
#include <iostream>
using namespace std;

template <typename T = int>
T add(T a, T b) {
    return a + b;
}

int main() {
    cout << "Add of 5 and 10: " << add(5, 10) << endl;  // 使用默认模板参数T=int
    cout << "Add of 3.5 and 7.2: " << add<double>(3.5, 7.2) << endl;  // 显式指定模板参数T=double
    return 0;
}

说明：
•  在模板参数列表中，T = int表示模板参数T的默认值为int。
•  如果在调用模板函数时没有显式指定模板参数的类型，编译器会