C++模板编程入门与进阶

一、引言

C++模板是泛型编程的基础，通过模板可以编写与类型无关的通用代码，实现代码复用和灵活设计。模板不仅支持函数和类的泛化，还能进行元编程，编写在编译期执行的逻辑。

本文将系统介绍C++模板的基础知识、进阶特性和应用实践，帮助你掌握模板编程的精髓。

二、模板基础

1. 函数模板

函数模板允许定义参数类型通用的函数：

cpp复制编辑template<typename T>
T max(T a, T b) {
    return (a > b) ? a : b;
}

调用时自动推断类型：

cpp复制编辑int x = max(3, 5);
double y = max(2.3, 4.5);

2. 类模板

类模板用于定义通用类型的类：

cpp复制编辑template<typename T>
class MyContainer {
    T data;
public:
    MyContainer(T val) : data(val) {}
    T get() { return data; }
};

使用：

cpp复制编辑MyContainer<int> c(10);

三、模板特化

1. 全特化

针对特定类型实现特殊版本：

cpp复制编辑template<>
class MyContainer<bool> {
    bool data;
public:
    MyContainer(bool val) : data(val) {}
    void print() { std::cout << "Bool container: " << data << std::endl; }
};

2. 偏特化

针对部分类型参数进行特化：

cpp复制编辑template<typename T>
class MyContainer<T*> {
    T* data;
public:
    MyContainer(T* val) : data(val) {}
    void print() { std::cout << "Pointer container: " << *data << std::endl; }
};

四、模板元编程基础

模板元编程是利用模板实现编译期计算的技术。

1. 递归模板

计算阶乘：

cpp复制编辑template<int N>
struct Factorial {
    static constexpr int value = N * Factorial<N - 1>::value;
};

template<>
struct Factorial<0> {
    static constexpr int value = 1;
};

使用：

cpp复制编辑int val = Factorial<5>::value;  // 120

2. 条件判断

使用std::conditional实现类型选择：

cpp复制编辑#include <type_traits>

using IntOrDouble = std::conditional<true, int, double>::type;  // int

五、变参模板

C++11支持模板参数包，实现灵活参数列表。

cpp复制编辑template<typename... Args>
void printAll(Args... args) {
    (std::cout << ... << args) << '\n';  // fold表达式
}

printAll(1, 2.5, "hello");

六、模板别名与别名模板

使用using定义模板别名：

cpp复制编辑template<typename T>
using Vec = std::vector<T>;

Vec<int> v;  // 等价于std::vector<int>

七、SFINAE与模板约束

SFINAE（Substitution Failure Is Not An Error）允许通过模板参数替换失败来选择重载。

cpp复制编辑template<typename T>
auto func(T t) -> decltype(t.size(), void()) {
    std::cout << "有size()方法\n";
}

template<typename T>
void func(...) {
    std::cout << "无size()方法\n";
}

C++20引入concepts，提供更优雅的模板约束：

cpp复制编辑template<typename T>
concept HasSize = requires(T t) {
    { t.size() } -> std::convertible_to<std::size_t>;
};

template<HasSize T>
void func(T t) {
    std::cout << "调用带size的版本\n";
}

八、实战示例：泛型排序函数

cpp复制编辑template<typename RandomIt>
void bubbleSort(RandomIt begin, RandomIt end) {
    for (auto i = begin; i != end; ++i) {
        for (auto j = begin; j < end - (i - begin) - 1; ++j) {
            if (*(j + 1) < *j) std::iter_swap(j, j + 1);
        }
    }
}

调用：

cpp复制编辑std::vector<int> v = {5, 3, 8, 1};
bubbleSort(v.begin(), v.end());

九、总结

C++模板是强大的泛型工具，灵活多变。掌握模板语法、特化、元编程、变参模板及约束，有助于写出高效、类型安全的代码。

来源：入口内容

来源：信息页跳转

来源：链接内容

来源：文档渠道

来源：内容说明

来源：文章获取

来源：详情跳转

来源：资料通道

来源：页面获取

来源：信息数据

来源：信息内容

来源：文档页

来源：资料页

来源：数据详情

来源：渠道文档

来源：浏览资源

来源：详情资源

来源：链接渠道

来源：资源获取

来源：出处入口

来源：文档路径

来源：参考详情

来源：阅读入口

来源：文段通道

来源：文页信息

来源：文稿资源

来源：文章数据

来源：资源页

来源：参考条目

来源：访问页面

来源：资料页跳转

来源：参考出处

来源：信息源

来源：原始资料

来源：相关内容

来源：参考路径

来源：了解文档

来源：资料通道页

来源：文章索引

来源：浏览条目

来源：说明信息

来源：文章文档

来源：阅读资料

来源：条目信息

来源：展示内容

来源：入口通道

来源：文稿页

来源：条目跳转

来源：信息页链接

来源：访问内容

来源：参考页面

来源：内容素材

来源：文档条目

来源：路径说明

来源：资源来源

来源：展示页面

来源：资源链接

来源：内容段落

来源：入口来源

来源：信息获取

来源：资源入口

来源：条目内容

来源：文章渠道

来源：入口跳转

来源：资源文稿

来源：资料索引

来源：获取详情

来源：数据源

来源：渠道入口

来源：资料数据

来源：资源片段

来源：资料展示

来源：内容文章

来源：内容段

来源：条目展示

来源：文段入口

来源：素材链接

来源：条目资源

来源：详情入口

来源：素材内容

来源：段落入口

来源：入口条目

来源：链接渠道页

来源：数据详情页

来源：文页通道

来源：文档原文

来源：原文页

来源：文稿入口

来源：资源数据页

来源：条目文献

来源：段落链接

来源：信息片段

来源：信息展示

来源：详情页面

来源：源文入口

来源：语段入口

来源：资源页面

来源：参考链接

来源：数据片段

来源：片段详情

来源：入口数据

来源：访问路径

来源：数据展示

来源：段落数据

来源：参考信息页

来源：信息源页

来源：条目索引

来源：条目片段

来源：索引入口

来源：路径内容

来源：素材页面

来源：路径详情

来源：资源说明页

来源：文稿详情

来源：文档信息

来源：链接信息

来源：获取数据

来源：参考数据

来源：访问展示

来源：入口展示

来源：访问素材

来源：入口文页

来源：参考段落

来源：内容库

来源：素材页

来源：素材数据

来源：语料内容

来源：跳转素材

来源：资料库

来源：文库链接

来源：渠道内容

来源：渠道说明

来源：展示页

来源：访问素材页

来源：素材入口

来源：文档链接

来源：数据通道

来源：信息路径

来源：素材展示

来源：文稿展示

来源：内容渠道

来源：文段展示

来源：素材说明

来源：素材展示页

来源：资源通道页

来源：路径资源

来源：获取原文

来源：索引内容页

来源：信息入口页

来源：资源页跳转

来源：内容链接页

来源：资源展示页

来源：信息展示页

来源：资料路径

来源：获取文章

来源：内容参考页

来源：文章跳转页

来源：素材入口页

来源：文档展示页

来源：渠道跳转页

来源：数据资源页

来源：段落展示页

来源：语段展示页

来源：跳转资料页

来源：入口信息页

来源：展示资源页

来源：资源路径

来源：片段展示页

来源：资料展示页

来源：内容说明页

来源：数据页链接

来源：链接资料页

来源：展示内容页

来源：通道入口页

来源：原文展示页

来源：数据链接页

来源：内容链接通道

来源：内容展示页

来源：跳转信息页

来源：说明内容页

来源：文章展示页

来源：素材链接页

来源：参考展示页

来源：信息跳转页

来源：渠道链接页

来源：详情展示页

来源：展示文档页

来源：信息数据页

来源：素材数据页

来源：片段链接页

来源：资料跳转通道

来源：展示文稿页

来源：信息渠道页

来源：渠道数据页

来源：条目展示页

来源：文库入口页

来源：数据说明页

来源：内容跳转页

来源：资料浏览

来源：内容索引

来源：路径页面

来源：资源概览

来源：参考素材

来源：文章链接

来源：原始文段

来源：文库索引

来源：资料路径页

来源：内容引用

来源：资源文段

来源：跳转资料

来源：链接入口页

来源：资料内容页

来源：文档访问

来源：资料详情页

来源：文库页面

来源：内容入口页

来源：段落资源

来源：条目链接

来源：内容详情页

来源：入口文库

来源：素材文段

来源：片段页面

来源：段落素材

来源：素材参考

来源：链接条目页

来源：文章内容页

来源：展示信息页

来源：参考段落页

来源：原始片段

来源：片段入口页

来源：文段链接页

来源：数据引用

来源：数据参考页

来源：原始内容页

来源：资源引用

来源：链接参考页

来源：资料引用

来源：入口索引页

来源：资源参考页

来源：展示入口页

来源：跳转链接页

来源：详情路径页

来源：路径通道页

来源：说明链接页

来源：索引文段

来源：入口文段

来源：内容引用页

来源：资源访问页

来源：访问详情页

来源：资料详情信息

来源：段落条目页

来源：说明通道页

来源：文章片段页

来源：展示索引页

来源：内容资源页

来源：资源页通道

来源：跳转索引页

来源：获取链接

来源：链接获取页

来源：内容详情信息

来源：原始数据页

来源：参考片段

来源：条目内容页

来源：段落跳转页

来源：段落链接通道

来源：条目引用

来源：内容提要页

来源：资源浏览页

来源：资料获取页

来源：片段索引页

来源：文库参考

来源：说明文章

来源：入口展示页

来源：信息获取页

来源：内容通道页

来源：说明参考页

来源：资料文稿页

来源：参考内容页

来源：通道展示页

来源：页面片段

来源：素材索引页

来源：通道资料页

来源：链接文章页

来源：展示说明页

来源：资料语段

来源：资源段落

来源：资料语料页

来源：信息详情页

来源：参考展示内容

来源：资料数据页

来源：通道跳转页

来源：原始数据内容

来源：说明资源页

来源：展示内容信息

来源：展示片段页

来源：资料通道链接

来源：访问通道页

来源：链接展示页

来源：说明资料页

来源：数据展示信息

来源：原文跳转页

来源：素材链接通道

来源：内容片段展示

来源：展示资料信息

来源：展示资源内容

来源：信息索引页

来源：素材参考页

来源：展示数据内容

来源：链接通道展示

来源：链接信息展示

来源：信息参考内容

来源：资源跳转信息

来源：条目跳转链接

来源：文档跳转信息

来源：片段跳转链接

来源：语段展示内容

来源：内容跳转展示

来源：页面跳转链接

来源：资料页面信息

来源：原文跳转链接

来源：条目跳转内容

来源：数据页展示链接

来源：链接内容展示页

来源：链接条目展示页

来源：信息跳转通道页

来源：资料跳转展示内容

来源：链接内容展示信息

来源：展示入口链接页面

来源：内容入口链接页面

来源：展示资料跳转链接

来源：入口展示跳转链接

来源：数据资料跳转链接

来源：入口内容跳转链接

来源：信息入口跳转链接

来源：路径入口跳转链接

来源：入口路径跳转链接

来源：通道入口跳转链接

来源：文稿内容跳转链接

来源：资料信息跳转链接

来源：数据内容跳转链接

来源：入口数据跳转链接

来源：文章信息跳转链接

来源：展示信息跳转链接

来源：展示资料入口链接

来源：内容链接入口展示页

来源：入口通道资源展示页

来源：参考来源入口展示链接

来源：内容资料跳转链接页面

来源：通道资源展示跳转链接

来源：链接文章入口资料页面

来源：访问通道信息展示链接

来源：文章展示页面跳转链接

来源：展示信息链接资源入口

来源：入口链接展示信息资源

来源：资料链接跳转展示通道

来源：文章入口跳转资料页面

来源：链接文章入口资源页面

来源：跳转文章入口链接资料

来源：资料跳转资源入口链接

来源：文档内容跳转链接入口

来源：资料链接展示入口页面

来源：数据入口展示资料链接

来源：展示资源链接跳转页面

来源：信息入口展示跳转链接

来源：资源跳转入口展示链接

来源：展示资源入口链接页面

来源：资料展示跳转链接入口

来源：资源展示跳转链接入口

来源：跳转链接展示资源页面

来源：链接资源展示页面入口

来源：展示入口链接跳转资源

来源：链接入口跳转资源展示

来源：页面入口链接跳转展示

来源：资源跳转链接入口页面

来源：内容跳转入口链接展示

来源：文章展示跳转资源入口

来源：链接展示入口跳转资源

来源：跳转资料展示入口链接

来源：跳转入口展示链接资源

来源：信息资源跳转入口链接

来源：资料展示入口链接页面

来源：跳转链接入口展示资料

来源：资料链接入口展示页面

来源：资源展示链接入口页面

来源：入口链接展示资料资源

来源：资源展示资料链接入口

来源：跳转链接资源入口展示

来源：链接展示资料资源入口

来源：入口展示资料链接资源

来源：相关阅读

来源：资料出处

来源：资料来源

来源：内容参考

来源：延伸阅读

来源：推荐链接

来源：相关信息

来源：参考内容

来源：推荐资料

来源：详细内容

来源：更多内容

来源：查看详情

来源：点击查看

来源：深入了解

来源：官方资料

来源：资料链接

来源：信息来源

来源：阅读更多

来源：文献出处

来源：内容链接

来源：数据出处

来源：技术参考

来源：案例来源

来源：实证依据

来源：报告链接

来源：研究链接

来源：统计数据

来源：数据来源

来源：分析资料

来源：理论出处

来源：论文参考

来源：说明详情

来源：调研内容

来源：支持数据

来源：背景文献

来源：学术出处

来源：报告来源

来源：文献引用

来源：权威来源

来源：实测数据

来源：延伸信息

来源：详情参考

来源：原文链接

来源：看原文

来源：阅读原文

来源：查看原帖

来源：原帖地址

来源：原始出处

来源：相关原文

来源：官方信息

来源：经验来源

来源：更多解析

来源：看更多

来源：网页资料

来源：实用信息

来源：入门参考

来源：指南文档

来源：推荐文章

来源：实例出处

来源：小贴士

来源：快速了解

来源：点此查看

来源：点击跳转

来源：原始链接

来源：网页参考

来源：本文依据

来源：内容跳转

来源：参考文档

来源：跳转详情

来源：网页原文

来源：链接详情

来源：点击去看

来源：点我查看

来源：来源说明

来源：资讯入口

来源：阅读跳转

来源：入门来源

来源：学习资料

来源：背景说明

来源：研究出处

来源：信息拓展

来源：衍生阅读

来源：延展资料

来源：链接来源

来源：原始内容

来源：探索原文

来源：获取信息

来源：查阅资料

来源：获取来源

来源：扩展阅读

来源：查阅详情

来源：来源详情

来源：页面跳转

来源：浏览原文

来源：详情链接

来源：说明出处

来源：内容补充

来源：参考原址

来源：附加链接

来源：来源页面

来源：点此了解更多

来源：原文阅读入口

来源：原始资料入口

来源：深度解析参考

来源：外部资源链接

来源：了解背景内容

来源：延伸阅读入口

来源：本文数据支持

来源：本文相关页面

来源：点这里查看

来源：快速跳转

来源：阅读此文

来源：查看推荐

来源：跳转页面

来源：继续阅读

来源：跳转参考文档

来源：外链参考

来源：去看看

来源：内容指引

来源：访问链接

来源：小贴士链接

来源：链接入口

来源：教程连接

来源：指向原文

来源：本文链接

来源：文献资料

来源：推荐参考

来源：同类资料

来源：引用内容

来源：来源参考

来源：实际出处

来源：文档入口

来源：学习入口

来源：阅读指引

来源：参考原文

来源：拓展来源