C++的模板简介

一、前言

C++的模板（Template）是C++中一种强大的特性，它允许编写泛型程序，即编写不依赖于具体类型的代码。模板提供了一种机制，可以在编译时生成针对不同数据类型的代码，而不需要重复编写相同逻辑的代码。这种机制使得代码更加灵活和可重用。

二、函数模板（Function Template）

函数模板允许我们编写与具体类型无关的函数，从而使得函数能够处理不同的数据类型。函数模板的语法格式如下：

template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表)
{
    // 函数体
}
注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)

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

int main() {
    int x = 10, y = 20;
    double a = 5.5, b = 2.3;
    
    std::cout << max(x, y) << std::endl;  // 输出 20
    std::cout << max(a, b) << std::endl;  // 输出 5.5
    
    return 0;
}

在这里，typename T 表示模板参数T，它是一个占位符，表示函数中可以使用任意类型。当我们调用这个函数时，编译器会根据传递的参数类型自动推导出T的具体类型。

• 模板类型参数与非类型模板参数

除了类型参数外，C++还支持非类型模板参数。非类型模板参数通常是一个整数或指针值，可以在编译时确定。例如：

template <typename T, int size>
T arraySum(T (&arr)[size]) {
    T sum = 0;
    for (int i = 0; i < size; ++i) {
        sum += arr[i];
    }
    return sum;
}

在这个例子中，size 是一个非类型模板参数，表示数组的大小。

• 显式指定模板参数

虽然编译器通常可以推导出模板参数，但也可以显式地指定它们：

int a = max<int>(3, 7);

三、类模板（Class Template）

类模板允许定义一个通用的类，然后可以用不同的数据类型来实例化该类。典型的例子是标准库中的 std::vector 类，它是一个类模板，可以用来存储任意类型的元素。它的语法格式跟类模板类型，下面是一个简单的类模板示例：

template <typename T>
class Pair {
public:
    Pair(T first, T second) : first_(first), second_(second) {}
    
    T getFirst() const { return first_; }
    T getSecond() const { return second_; }
    
private:
    T first_, second_;
};

int main() {
    Pair<int> intPair(1, 2);
    Pair<std::string> stringPair("hello", "world");
    
    std::cout << intPair.getFirst() << ", " << intPair.getSecond() << std::endl;  // 输出 1, 2
    std::cout << stringPair.getFirst() << ", " << stringPair.getSecond() << std::endl;  // 输出 hello, world
    
    return 0;
}

• 模板特化（Template Specialization）

模板特化允许我们为特定类型提供模板的特殊实现。模板特化有两种形式：全特化和部分特化。全特化是为模板的特定类型提供完全不同的实现，下面这个例子实例化Pair< bool >时就会调用特化实现而不是通用实现：

template <typename T>
class Pair {
public:
    Pair(T first, T second) : first_(first), second_(second) {}
    
    T getFirst() const { return first_; }
    T getSecond() const { return second_; }
    
private:
    T first_, second_;
};

template <>
class Pair<bool> {
public:
    Pair(bool first, bool second) : bits((first ? 1 : 0) | (second ? 2 : 0)) {}
    
    bool getFirst() const { return bits & 1; }
    bool getSecond() const { return bits & 2; }
    
private:
    int bits;
};

部分特化只适用于类模板，而不是函数模板，它允许为一部分模板参数提供特定实现：

template <typename T, typename U>
class Pair {
public:
    Pair(T first, U second) : first_(first), second_(second) {}
    void print() { std::cout << first_ << ", " << second_ << std::endl; }
private:
    T first_;
    U second_;
};

// 部分特化版本，针对相同类型的 Pair
template <typename T>
class Pair<T, T> {
public:
    Pair(T first, T second) : first_(first), second_(second) {}
    void print() { std::cout << "Matching types: " << first_ << ", " << second_ << std::endl; }
private:
    T first_;
    T second_;
};

在这个例子中，当 Pair 的两个模板参数类型相同时，编译器会选择部分特化版本，而不是通用版本。

四、变参模板（Variadic Template）

C++11 引入了变参模板，允许模板接受可变数量的模板参数。这对处理不定数量的参数或类型非常有用。

template<typename... Args>
void print(Args... args) {
    (std::cout << ... << args) << std::endl;
}

在这个例子中，print函数可以接受任意数量的参数，并将它们打印出来。

五、模板的递归与元编程

模板递归和元编程是一种高级用法，允许在编译时进行复杂的计算和逻辑处理。典型的例子是计算编译时的斐波那契数列：

template<int N>
struct Fibonacci {
    static const int value = Fibonacci<N-1>::value + Fibonacci<N-2>::value;
};

template<>
struct Fibonacci<1> {
    static const int value = 1;
};

template<>
struct Fibonacci<0> {
    static const int value = 0;
};

这种编译期计算被称为模板元编程（Template Metaprogramming），用于在编译期执行逻辑判断和计算。

六、模板的局限与陷阱

编译时间: 模板实例化会增加编译时间，尤其是对于大型代码库。
代码膨胀: 模板实例化会导致二进制文件膨胀，因为每种类型的实例化都会生成独立的代码。
错误信息复杂: 当模板代码出错时，编译器产生的错误信息通常较为复杂且难以理解。

七、常用模板的实例

STL 是 C++ 标准库的一部分，其中包含了大量的模板，如 std::vector, std::map, std::set 等。这些模板类使得开发者能够方便地使用各种数据结构和算法，而不必为每种类型单独实现。

八、C++20 的概念（Concepts）

C++20 引入了概念（Concepts），使得模板的类型约束更加明确。概念是一种用于限制模板参数的特性，可以显著提高模板代码的可读性和可维护性。

template <typename T>
concept Addable = requires(T a, T b) {
    { a + b } -> std::convertible_to<T>;
};

template <Addable T>
T add(T a, T b) {
    return a + b;
}

通过引入概念，编译器可以更早地检测出不满足条件的模板参数，从而减少复杂的编译错误信息。

九、总结

C++模板是一种功能强大且灵活的机制，能够极大地提高代码的复用性和类型安全性。模板的学习曲线较为陡峭，但一旦掌握，它将成为编写高效、通用代码的利器。C++20 的概念进一步增强了模板的表达能力，使得模板编程更加直观和强大。