用途
该技能用于在 C++ 中创建泛型、类型安全且高效的库，借助模板与编译期机制提供编译期保证。它覆盖模板编程的主要语法与惯用法，帮助开发者编写可复用的泛型代码。
主要能力
资料按主题给出了大量代码示例，包括：
- 函数模板：基本函数模板、多模板参数、C++14 返回类型推导、函数模板特化、函数模板重载。
- 类模板：基本类模板、多模板参数、模板成员函数、模板转换运算符、类模板全特化与偏特化。
- 模板参数：类型参数与默认类型参数；非类型参数（整型、bool、C++17 指针非类型参数）；模板模板参数；可变参数模板（参数包、sizeof...、递归展开）；C++17 折叠表达式（一元/二元、逻辑、逗号折叠）；可变参数类模板与完美转发。
- SFINAE：基本 SFINAE、std::enable_if 与 enable_if_t、多条件约束、标签分派（tag dispatching）、C++17 if constexpr。
- Concepts（C++20）：定义 concept、requires 表达式、复合 concept、约束函数模板与类模板、简写函数模板、基于 concept 的重载与分支。
- 类型萃取：标准 type traits（类型属性、类型关系、类型修改、条件类型）；自定义 traits（如 has_size、is_iterable，基于 void_t 与 declval）。
- 模板元编程：编译期阶乘、编译期斐波那契、类型列表（TypeList）及其长度计算等。
使用方式
资料以代码片段形式展示每种特性的定义与调用方式，例如函数模板 template<typename T> T max(T a, T b)、类模板 Container<T>、折叠表达式 (args + ...)、concept 约束 template<Integral T>、自定义 traits has_size_v<T> 等。这些示例可直接作为编写泛型库时的语法参考。资料未提供安装命令、构建配置或运行环境说明，暂未提供。
适用场景
适合需要构建泛型、类型安全 C++ 库的开发者，或在以下情形参考：编写可复用容器与算法、按类型选择实现、在编译期进行约束与校验、编译期数值或类型计算、实现基于类型特征的分支逻辑。
限制
资料仅给出语法与示例，未说明编译器版本要求（除示例中标注的 C++14/17/20 特性外）、依赖库、性能数据或具体平台支持情况，这些暂未提供。示例中的部分辅助函数（如 insert_sorted、insert_unsorted）仅有占位注释，未给出完整实现。