C++模板与STL详解：类型参数、函数模板、类模板特化

ame 类型形参1, ...> class 类模板名 { // 成员定义 }; • 声明定义分开 template< typename 类型形参1, ...> class 类模板名; template< typename 类型形参1, ...> class 类模板名 { // 成员定义 }; 知 识 讲 解 18 语法公式 • 类模板 –特化版本 • 完全特化 template<> class 类模板名<类型实参1, ...> { // 特化成员定义 }; • 部分特化 template<typename 类型形参1, ...> class 类模板名<特定类型实参> { // 部分特化成员定义 }; 知 识 讲 解 19 编译模型 • 模板实际上是元编程的基础，它在编译时进行展开 • 编译器为每种类型实例化模板，生成相应的代码 • 可能导致代码膨胀（code bloat），但提高了运行时效率 知 识 讲 解 20 局部特化 • 局部特化仅限于模板的某个部分，如成员函数 • 当通用模板对特定类型不适用时，提供局部特化版本 知 识 讲 解 21 非类型参数 • 类型参数之外，模板还可以接受非类型参数 • 如整型、指针等，用于实现更灵活的泛型编程 知 识 讲 解 22 缺省参数 • 类模板或函数模板的类型参数可以有缺省值 • 提供更方便的调用方式，减少重载 知 识 讲 解 23 模板与继承 • 模板类可以作为基类，派生出具体类 • 派生类可以是模板类，进一步泛化 知 识 讲 解 24 模板型成员 • 类模板的成员可以是模板，形成嵌套模板 • 提供更复杂的泛型功能 知 识 讲 解 25 模板递归实例化 • 在模板类或函数中，可以递归地调用自身 • 实现自相似的数据结构，如斐波那契堆、图的深度优先搜索等 知 识 讲 解 26 模板型模板参数 • 模板可以接受其他模板作为参数，实现更高层次的抽象 • 例如，`std::function`接受一个函数对象模板作为参数 知 识 讲 解 27 typename与class • 在模板中声明类型参数时，typename和class是等价的 • 但在某些上下文中，typename用于指示后续标识符是类型名称，特别是在依赖于模板参数的类型推断中 知 识 讲 解 28 STL容器与迭代器 • STL（Standard Template Library）包括各种容器（如vector、list、set等） • 迭代器是访问容器内元素的关键工具，具有类似指针的行为 • 容器和迭代器结合，提供了高效且灵活的数据操作方式 知 识 讲 解 29 STL算法 • STL还包含一系列模板函数，如sort、find、transform等 • 这些算法可作用于任何支持迭代器的容器，实现通用的算法应用 知 识 讲 解 30 STL ал