第1章模板初探

课程目录第1章模板初探

一、模板初探：从“写死”到“通用”的第一步

说实话，我刚开始学C++那会儿，最烦的就是写重复代码。比如要写一个交换两个整数的函数，再来一个交换两个double的，还得再写一个交换两个string的……你想想看，除了类型不一样，逻辑完全一样。这不就是体力活吗？

后来我遇到了模板，才明白什么叫“一次编写，到处使用”。模板说白了就是让编译器帮我们生成代码。你给它一个“蓝图”，它根据你实际用的类型，自动生成对应的函数或类。

  核心思想： 模板是编译期的多态，不是运行时的多态。这一点非常重要，后面我会反复强调。

1.1 函数模板：让函数“百变”起来

先看一个最简单的例子。假设我们要写一个求最大值的函数：

// 传统写法：每个类型写一遍
int max_int(int a, int b) { return a > b ? a : b; }
double max_double(double a, double b) { return a > b ? a : b; }

// 模板写法：一次搞定
template <typename T>
T max(T a, T b) {
    return a > b ? a : b;
}

这里 template <typename T> 就是告诉编译器：“嘿，我这儿有个类型占位符叫T，你看着办。” 当你调用 max(3, 5) 时，编译器自动把T替换成int；调用 max(3.14, 2.71) 时，T就变成double。

我个人习惯： 用 typename 而不是 class 来声明模板参数。虽然两者在函数模板里等价，但 typename 更直观地表达了“这是一个类型”的含义。

我在项目中遇到过一个问题：两个参数类型不一致怎么办？比如 max(3, 3.14)，编译器会报错，因为T只能是一个类型。这时候有两种解法：

显式指定类型：max<double>(3, 3.14)
用两个模板参数：template <typename T1, typename T2>，但返回值类型需要你自己处理

嗯，这里要注意：模板参数推导是“挑剔”的。它不会帮你做隐式类型转换，除非你明确告诉它。

1.2 类模板：把“类”也变成可配置的

函数模板解决的是函数层面的通用性，类模板则解决的是数据结构的通用性。最经典的例子就是 std::vector<int>、std::vector<string>——它们背后的实现就是类模板。

我们手写一个简单的栈：

template <typename T, size_t Capacity = 100>
class Stack {
public:
    void push(const T& value) {
        if (top_ < Capacity) {
            data_[top_++] = value;
        }
    }
    T pop() {
        if (top_ > 0) {
            return data_[--top_];
        }
        throw std::out_of_range("Stack empty");
    }
    bool empty() const { return top_ == 0; }

private:
    T data_[Capacity];
    size_t top_ = 0;
};

// 使用
Stack<int> intStack;          // 默认容量100
Stack<double, 200> dblStack;  // 容量200

看到没？typename T 是类型参数，size_t Capacity 是非类型参数（一个具体的值）。类模板可以同时接受类型和值作为参数，这让它非常灵活。

我曾经踩过的坑： 类模板的成员函数只有在被调用时才会被实例化。这意味着你可以在模板类里写一些“看起来会编译错误”的代码，只要你不调用那个成员函数，编译器就不会报错。这既是优点（节省编译时间）也是陷阱（隐藏的错误可能很晚才暴露）。

1.3 模板与多态：两个世界的对话

很多初学者会把模板和多态搞混。我刚开始学的时候也困惑过：它们不都是“一种接口，多种实现”吗？

其实，它们是完全不同的两套机制：

对比维度	模板（编译期多态）	虚函数（运行期多态）
绑定时机	编译期	运行期
性能开销	无运行时开销（代码膨胀）	虚表查找（少量开销）
类型要求	不同类型必须提供相同接口	不同类型必须继承自同一基类
代码复用	源代码级复用	二进制级复用
典型应用	容器、算法、数值计算	插件系统、事件处理、UI框架

说白了，模板是“编译时我帮你把代码写好”，虚函数是“运行时我根据实际情况调用”。

举个例子你就明白了：

// 模板方式：编译期确定
template <typename Animal>
void makeSound(const Animal& a) {
    a.speak();  // 编译期检查是否有speak()方法
}

// 虚函数方式：运行期确定
class AnimalBase {
public:
    virtual void speak() const = 0;
    virtual ~AnimalBase() = default;
};

void makeSound(const AnimalBase& a) {
    a.speak();  // 运行期通过虚表调用
}

模板方式的好处是：没有虚表开销，而且你可以传入任何类型——只要它有 speak() 方法。这就是所谓的“鸭子类型”（Duck Typing）：如果它走路像鸭子，叫起来像鸭子，那它就是鸭子。

虚函数方式的好处是：你可以把不同的子类对象放进同一个容器里，然后在运行时统一处理。这在插件系统、事件分发等场景下非常有用。

  我的建议： 如果你在设计一个库，不确定用户会传入什么类型，用模板。如果你在设计一个框架，需要用户继承你的基类并重写方法，用虚函数。两者不是非此即彼的关系，很多优秀代码会同时使用它们。

1.4 本章知识体系总览

下面这张图总结了本章的核心内容，你可以把它当作一个快速参考：

1.5 避坑指南：我踩过的那些坑

最后分享几个实战中容易犯的错误：

模板代码放在 .cpp 文件里 —— 我曾经这么干过，结果链接器报“未定义引用”。记住：模板的声明和定义必须放在同一个头文件里，或者使用 export 关键字（C++20之前不推荐）。
过度使用模板 —— 不是所有地方都需要模板。如果你的类型只有两三种，手写几个重载函数可能更清晰。模板会增加编译时间和代码体积。
忽略非类型参数的合法性 —— 比如 Stack<int, 0> 会创建一个容量为0的栈，这合理吗？你需要自己加静态断言来检查。

一个小技巧： 用 static_assert 在编译期检查模板参数。比如 static_assert(Capacity > 0, "Capacity must be positive"); 这样错误在编译期就能被发现，而不是等到运行时崩溃。

好了，第一章就到这里。模板的世界才刚刚打开，后面我们会深入模板特化、变参模板、SFINAE等更高级的话题。记住：模板是C++最强大的特性之一，但也是最容易让人困惑的。慢慢来，多写多练，你一定能掌握它。

📚 课程目录

一、模板初探：从“写死”到“通用”的第一步

1.1 函数模板：让函数“百变”起来

1.2 类模板：把“类”也变成可配置的

1.3 模板与多态：两个世界的对话

1.4 本章知识体系总览

1.5 避坑指南：我踩过的那些坑