C++ 模板详解：从入门到精通-CSDN博客

本文链接：https://blog.csdn.net/Jay_515/article/details/148863535

掌握C++模板是进阶高级开发的必经之路，本文将带你由浅入深理解模板的核心概念和应用

一、模板简介：为何需要模板？

在C++中，模板是实现泛型编程的核心工具。它允许我们编写与类型无关的通用代码，从而避免为不同类型重复编写相似的代码。

模板的主要优势：

提高代码复用性
增强类型安全性（相比宏）
支持编译时多态
为STL（标准模板库）提供基础

// 没有模板时需要为不同类型编写重复代码
int max(int a, int b) { return a > b ? a : b; }
double max(double a, double b) { return a > b ? a : b; }

二、函数模板：通用算法实现

2.1 基础函数模板

template <typename T>  // 模板声明，T是类型参数
T max(T a, T b) {
    return a > b ? a : b;
}

// 使用示例
int main() {
    cout << max(10, 5) << endl;        // T推导为int
    cout << max(3.14, 2.71) << endl;   // T推导为double
    cout << max('a', 'z') << endl;     // T推导为char
}

2.2 多参数模板

template <typename T1, typename T2>
void printPair(T1 first, T2 second) {
    cout << "(" << first << ", " << second << ")" << endl;
}

// 使用示例
printPair(42, "Hello");   // int 和 const char*
printPair(3.14, true);    // double 和 bool

2.3 显式指定模板参数

template <typename T>
T create() {
    return T();  // 调用默认构造函数
}

int main() {
    int i = create<int>();
    double d = create<double>();
}

三、类模板：通用数据结构

3.1 基础类模板

template <typename T>
class Box {
private:
    T content;
public:
    void setContent(T newContent) {
        content = newContent;
    }
    T getContent() const {
        return content;
    }
};

// 使用示例
int main() {
    Box<int> intBox;
    intBox.setContent(42);
    
    Box<string> strBox;
    strBox.setContent("Hello Templates!");
}

3.2 模板成员函数

class Printer {
public:
    template <typename T>
    void print(const T& value) {
        cout << value << endl;
    }
};

// 使用示例
Printer p;
p.print(10);       // 调用print<int>
p.print("Hello");  // 调用print<const char*>

四、模板高级特性

4.1 非类型模板参数

template <typename T, int size>
class FixedArray {
private:
    T arr[size];
public:

    T& operator[ ](int index) {

        if (index < 0 || index >= size) 
            throw out_of_range("Index out of range");
        return arr[index];
    }
};

// 使用示例
FixedArray<double, 10> temperatures;

4.2 默认模板参数

template <typename T = int, int size = 100>
class Buffer {
    // ...
};

// 使用默认参数
Buffer<> defaultBuffer;  // Buffer<int, 100>

4.3 模板特化与偏特化

全特化：

template <>
class Box<const char*> {
private:
    const char* content;
public:
    void setContent(const char* newContent) {
        content = newContent;
    }
    const char* getContent() const {
        return (content) ? content : "null";
    }
};

偏特化：

template <typename T>
class PointerWrapper {
    // 通用实现
};

// 偏特化：针对指针类型
template <typename T>
class PointerWrapper<T*> {
    // 针对指针的特化实现
};

五、可变参数模板（C++11+）

// 递归终止函数
void print() {
    cout << endl;
}

// 可变参数模板
template <typename T, typename... Args>
void print(T first, Args... args) {
    cout << first << " ";
    print(args...);  // 递归调用
}

// 使用示例
int main() {
    print(1, 2.5, "Hello", 'a'); 
    // 输出：1 2.5 Hello a
}

六、模板使用最佳实践

优先使用函数模板简化接口
在类模板中分离声明与定义（使用.hpp文件）
使用static_assert进行模板参数约束
合理使用类型推导（C++11 auto）
注意模板实例化可能导致的代码膨胀

template <typename T>
void process(T value) {
    static_assert(is_integral<T>::value, 
                 "Integer type required");
    // ...
}

七、总结与学习路径

C++模板技术的学习路径：

掌握基础函数模板和类模板
理解模板实例化机制
学习模板特化技术
探索可变参数模板
研究模板元编程（TMP）
学习概念（C++20特性）

"模板是C++中最强大的特性之一，也是最具挑战性的部分。持续实践是掌握它的唯一捷径。" - Bjarne Stroustrup

通过本文的学习，你应该已经建立了C++模板的知识框架。实际开发中，建议结合STL源码分析来加深理解，这将极大提升你的模板编程能力。