第17章 模板编程基础

想象一下，你需要为不同尺寸的螺丝准备不同的螺丝刀，这很麻烦。模板就像一把可调节的“万能螺丝刀”，它能根据你给的螺丝（数据类型）自动调整刀头形状，拧紧任何尺寸的螺丝。在C++中，模板是一种编译期生成代码的机制，它允许你编写与数据类型无关的通用代码。编译器会根据你使用的具体类型，在编译时“实例化”出对应的函数或类版本。

17.1 函数模板：让算法通用化

函数模板是模板编程的起点。它的语法核心是使用`template`关键字引入一个或多个类型参数。

// 一个简单的函数模板示例
template <typename T> // 声明一个类型参数T
const T& myMax(const T& a, const T& b) {
    return (a < b) ? b : a;
}

当你调用`myMax(3, 5)`时，编译器推导出`T`是`int`，然后生成一个`int`版本的`myMax`函数。这个过程叫模板实例化。

模板参数推导与显式指定

编译器通常很聪明，能根据实参自动推导模板参数类型。但有时你需要手动指定，比如当类型推导失败或你想使用特定类型时。

int a = 5, b = 10;
myMax(a, b); // 推导 T = int
myMax<double>(a, b); // 显式指定 T = double，a和b会被隐式转换为double

17.2 类模板：构建通用容器

如果说函数模板让算法通用，那么类模板就让数据结构通用。STL中的`vector`、`list`、`map`都是类模板的经典代表。

// 一个简易的栈类模板
template <typename T, int MAX_SIZE = 100> // 非类型模板参数
class SimpleStack {
private:
    T data[MAX_SIZE];
    int topIndex;
public:
    SimpleStack() : topIndex(-1) {}
    void push(const T& value) {
        if (topIndex >= MAX_SIZE - 1) throw "Stack overflow";
        data[++topIndex] = value;
    }
    T pop() {
        if (topIndex < 0) throw "Stack underflow";
        return data[topIndex--];
    }
};

使用这个类模板时，你需要同时指定类型和（可选的）大小：

SimpleStack<int, 50> intStack; // 一个最大容量为50的int栈
SimpleStack<std::string> strStack; // 使用默认容量100的string栈

注意第二行模板参数`int MAX_SIZE = 100`，这是一个非类型模板参数。它必须是编译期常量（整型、枚举、指针或引用）。实际开发中，这常用于指定缓冲区大小、数组维度等固定值。

17.3 模板特化：为特定类型定制行为

通用规则很好，但总有例外。模板特化允许你为特定的类型或类型组合提供特殊的实现。这就像万能螺丝刀配了一个专门对付生锈螺丝的专用附件。

来看一个全特化的例子。我们有一个通用的“类型信息”模板，但对于`bool`类型，我们想返回不同的描述：

template <typename T>
class TypeInfo {
public:
    static const char* name() { return "Unknown type"; }
};

// 全特化版本
template<>
class TypeInfo<bool> {
public:
    static const char* name() { return "bool"; }
};

// 使用
std::cout << TypeInfo<int>::name(); // 输出 "Unknown type"
std::cout << TypeInfo<bool>::name(); // 输出 "bool"

偏特化更灵活。假设我们有一个`IsPointer`模板，用于判断类型是否为指针：

template <typename T>
class IsPointer {
public:
    static const bool value = false;
};

// 偏特化版本：匹配所有指针类型 T*
template <typename T>
class IsPointer {
public:
    static const bool value = true;
};

// 使用
std::cout << IsPointer<int>::value; // 输出 0 (false)
std::cout << IsPointer<int*>::value; // 输出 1 (true)

我在一个序列化库中大量使用了模板特化。对于基本类型（`int`、`float`）使用内存拷贝，对于`std::string`则特化一个版本，先写入长度再写入数据，对于用户自定义类又提供另一个特化接口。这让库既高效又灵活。

函数模板的特化

函数模板也可以特化，但更常见的做法是使用函数重载。因为函数模板的特化不参与重载决议，行为可能不符合直觉。通常建议：如果需要为特定类型提供不同实现，直接写一个普通的重载函数。