第32章模板基础

课程目录第32章模板基础

模板基础：函数模板、类模板、模板实例化

说实话，模板这个话题，很多C++初学者看到就头大。我当年刚接触时也一样，觉得这玩意儿语法怪怪的，尖括号套尖括号，看着就晕。但后来在实际项目中写通用库、做算法封装时，才发现模板是真香——没有模板，C++的泛型编程就无从谈起。

今天咱们就把模板这块硬骨头啃下来。我会从最基础的函数模板讲起，再到类模板，最后聊聊模板实例化那些坑。嗯，保证让你听完就能上手写。

一、为什么需要模板？

你想想看，如果让你写一个交换两个整数的函数，很简单：

void swap(int& a, int& b) {
    int temp = a;
    a = b;
    b = temp;
}

那如果要交换两个double呢？再写一个重载？那float呢？string呢？

这不就变成体力活了嘛。我早期做项目时，就见过一个老项目里写了七八个swap重载，代码冗余不说，改一个还得改一堆。模板就是来解决这个问题的——写一次，适用于任意类型。

二、函数模板

函数模板是模板最直观的体现。说白了，就是让类型也变成参数。

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

这里的 typename T 就是告诉编译器：T 是一个类型占位符，具体是什么类型，等调用时再说。

调用时你可以显式指定类型：

int x = 10, y = 20;
mySwap<int>(x, y);   // 显式实例化

也可以让编译器自己推导：

double a = 3.14, b = 2.71;
mySwap(a, b);        // 隐式推导，编译器自动推断T为double

我的习惯：简单场景下我一般让编译器推导，代码更简洁。但如果涉及模板参数嵌套或者有歧义时，我会显式指定类型，避免编译器猜错。

函数模板的重载

函数模板也可以重载。比如你写了一个通用的排序模板，但发现对int类型有更高效的实现，可以单独写一个非模板版本：

// 模板版本
template <typename T>
void sortArray(T arr[], int size) {
    // 通用排序逻辑
}

// 针对int的特化版本
void sortArray(int arr[], int size) {
    // 更高效的int排序
}

调用时，编译器会优先匹配非模板版本。如果找不到精确匹配，才会考虑模板。这个优先级规则我在项目中踩过坑——有时候你以为调的是模板，结果编译器选了另一个重载。

三、类模板

函数模板搞定了，类模板就好理解了。类模板就是让类的成员变量或成员函数的类型也可以参数化。

举个最经典的例子——栈：

template <typename T>
class Stack {
private:
    T* data;
    int top;
    int capacity;
public:
    Stack(int cap = 100) : capacity(cap), top(-1) {
        data = new T[capacity];
    }
    ~Stack() { delete[] data; }
    
    void push(const T& value) {
        if (top < capacity - 1) {
            data[++top] = value;
        }
    }
    
    T pop() {
        if (top >= 0) {
            return data[top--];
        }
        throw std::out_of_range("Stack empty");
    }
    
    bool isEmpty() const { return top == -1; }
};

使用时：

Stack<int> intStack;        // 存整数的栈
Stack<std::string> strStack; // 存字符串的栈

注意：类模板的成员函数如果定义在类外，也需要带上 template 声明。比如：

template <typename T>
void Stack<T>::push(const T& value) {
    // 实现
}

我记得有一次接手一个遗留代码，里面用类模板写了一个容器，但所有成员函数都定义在类内部。代码编译没问题，但可读性很差。我个人建议：短小的函数可以放类内，复杂的实现放类外，这样头文件看起来清爽很多。

四、模板实例化

模板实例化，说白了就是编译器根据你提供的具体类型，生成真正的代码。这个过程是编译期完成的，不是运行时。

隐式实例化

当你写下 Stack<int> s; 时，编译器看到 int，就会自动生成一份 Stack<int> 的完整代码。这个过程叫隐式实例化。

显式实例化

你也可以主动告诉编译器：帮我生成某个类型的实例。比如：

template class Stack<double>;  // 显式实例化

这样做的好处是：可以把模板的实例化放在 .cpp 文件中，避免头文件暴露太多实现细节。我在做大型项目时，经常用这个技巧来缩短编译时间。

实例化带来的代码膨胀

这里有个坑——模板实例化会导致代码膨胀。你每用一个类型，编译器就生成一份完整的代码。如果你用了10种不同类型的 Stack，那就有10份几乎一样的机器码。

我曾经踩过的坑：在一个嵌入式项目中，我用了大量模板容器，结果编译出来的二进制体积暴涨，差点塞不进芯片的Flash。后来通过限制实例化类型数量、使用类型擦除技巧才解决。所以，在资源受限的环境下，模板要慎用。

五、知识体系总览

下面这张图帮你理清模板的核心脉络：

六、避坑指南与实用技巧

常见问题	原因	解决方案
模板代码编译报错	模板定义和实例化分离（.h/.cpp）	将模板实现放在头文件，或使用显式实例化
代码膨胀	每个类型生成一份独立代码	限制实例化类型数量，或使用类型擦除
编译时间过长	模板在编译期展开，增加编译负担	使用显式实例化，减少头文件依赖
模板参数推导失败	参数类型不匹配或歧义	显式指定模板参数

我的一个小技巧：调试模板代码时，可以用 __PRETTY_FUNCTION__ 或 typeid(T).name() 打印出编译器实际推导出的类型。这样能清楚看到模板到底被实例化成了什么样子。

好了，模板基础就聊到这儿。说白了，模板就是C++给咱们的「代码生成器」——你写一份逻辑，编译器帮你生成任意类型的版本。用好了，代码复用率极高；用不好，编译时间和二进制体积都会让你头疼。多写多练，慢慢就能找到感觉。

📚 课程目录

模板基础：函数模板、类模板、模板实例化

一、为什么需要模板？

二、函数模板

函数模板的重载

三、类模板

四、模板实例化

隐式实例化

显式实例化

实例化带来的代码膨胀

五、知识体系总览

六、避坑指南与实用技巧