C++模板使用教程，泛型编程详解
模板是编译期代码生成器，非语法糖；声明与定义须同在头文件，否则链接失败；CTAD需推导指南；auto非模板替代品；特化是替换而非重载；concept比偏特化更易维护。
模板是编译期代码生成器，非语法糖；声明与定义须同在头文件，否则链接失败；CTAD需推导指南；auto非模板替代品；特化是替换而非重载；concept比偏特化更易维护。
模板不是语法糖，是编译期代码生成器
写 template 不是在“泛化函数”，而是在告诉编译器：“等实际类型出现时，按这个蓝图现场生成一份新函数”。所以 std::vector 和 std::vector 在目标文件里是两套完全独立的代码，不是共享一份逻辑。
常见错误现象：undefined reference to 'MyClass —— 因为模板定义没在头文件里，链接时找不到实例化版本。
- 所有模板声明和定义必须放在头文件中（
.h或.hpp），不能分离到.cpp - 不支持显式导出模板（C++17 前），
extern template是优化手段，不是解决链接问题的通用方案 - 模板参数推导失败时，编译器报错位置往往远离调用点，要顺着 “candidate template ignored” 往上翻
函数模板推导 vs 类模板推导（C++17）
函数模板能自动推导参数类型，类模板默认不能。比如 std::pair(1, 3.14) 能推成 std::pair，是因为 C++17 加了类模板推导（CTAD），但这是特例，不是通则。
使用场景：写容器包装器或工厂函数时，想省掉冗长的模板参数。
- 自定义类加 CTAD 需提供推导指南（deduction guide），不是加个
auto就行 std::make_unique比直接写() std::unique_ptr更安全，且支持完美转发(new T{}) - 推导失败常见于引用/const 修饰丢失，比如传入
const int&却期望推导出int，得用std::decay_t或显式指定
别把 auto 当模板替代品
auto 是类型占位符，只做单次推导；模板是多实例化机制。两者语义不同，混用容易误判行为。
性能影响：用 auto x = foo(); 可能触发隐式拷贝（若 foo() 返回值是临时对象且未启用 RVO），而模板函数可配合 T&& 实现移动语义。
auto无法表达“接受任意可调用对象”的约束，模板 +std::is_invocable_v才能做 SFINAE 或 C++20 concept 限定- 调试时，
auto变量类型在 IDE 中可能显示为struct XXX，而模板实例化名清晰可见（如std::vector） - 模板参数可参与编译期计算（
constexpr if、if constexpr），auto不行
模板特化不是重载，是完全替换
全特化（template<> struct MyTrait）会彻底屏蔽主模板，偏特化（template）只匹配指针类型。但偏特化不适用于函数模板 —— 函数只有重载，没有偏特化。
容易踩的坑：以为特化后能继承主模板的静态成员或友元，其实特化体是全新类型，一切从零开始。
- 函数模板想“特化行为”，必须用重载或
if constexpr分支，否则会因重复定义报错 - 类模板偏特化不能改变模板参数数量（比如主模板是
template，偏特化不能变成template） - 概念（concept）在 C++20 后比特化更易读、更易维护，但老项目仍大量依赖特化，注意编译器兼容性（GCC 7+ / Clang 6+）
模板的复杂度不在语法，而在实例化时机和符号可见性。很多人卡在链接阶段，不是因为不会写 template，而是忘了头文件里必须有定义。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
