结论是模板编译慢主因是隐式实例化重复展开，应通过extern template控制实例化位置和时机，并集中显式实例化常用类型组合以显著提速。
直接说结论：模板编译慢，90% 以上是隐式实例化重复展开导致的，不是模板本身写得有问题。关键不是“少用模板”，而是控制实例化位置和时机。
显式实例化声明（extern template）必须配对使用
只在头文件加 extern template class std::vector<int>;</int> 不起作用——它只是告诉编译器“别在这儿生成”，但没人真正提供定义，链接会失败。
- 头文件中放声明：
extern template class MyContainer<int>;</int> - 单独一个
.cpp文件（比如templates.cpp）里放定义：template class MyContainer<int>;</int> - 所有其他源文件包含该头文件时，就不再解析、展开、生成这份代码，直接链接
- 注意：
extern template只对显式写出的类型组合生效，MyContainer<:string></:string>得另写一行声明+定义
ccache 对模板编译提速效果有限，但值得开
模板代码每次改动参数或逻辑，ccache 就失效——它缓存的是预处理后的翻译单元，而模板展开发生在预处理之后、编译中间阶段。但它对非模板部分（如普通函数、宏展开、头文件包含树）仍非常有效。
- 实测：大型项目中，
ccache能让整体构建快 2–3 倍，尤其在改了业务逻辑但没碰模板时 - 务必设置缓存大小：
ccache -M 10G，否则默认 1G 容易满，反而拖慢 - 验证是否生效：
ccache -s看cache hit rate，开发中稳定在 60% 以上才算合理
避免在头文件里无节制地 #include <bits></bits> 或泛滥包含
这不是模板专属问题，但会极大放大模板编译负担。一个 <bits></bits> 展开后常超 10 万行，每个包含它的 .cpp 都要重新解析一遍，再叠加模板展开，编译器内存和时间双双爆炸。
立即学习“C++免费学习笔记（深入）”；
- 把
<bits></bits>全换成具体需要的头文件，如<vector></vector>、<algorithm></algorithm> - 模板类的实现不要塞在头文件里——把声明放
.h，定义抽到.tpp或.cpp（配合extern template使用） - 用前置声明替代包含：比如只需要
std::shared_ptr<t></t>，就别#include <memory></memory>，改用class T;+std::shared_ptr<t></t>前置用法
if constexpr 比 SFINAE 更轻量，但别滥用
if constexpr 在编译期剪枝，确实能减少无效分支的实例化，但它本身仍是模板上下文——整个函数体仍需被解析，只是某些语句不参与实例化。而 SFINAE 是更早一层的匹配过滤，开销更大。
- 适合场景：同一模板函数内，根据类型做简单分支，比如
if constexpr (std::is_integral_v<t>) { ... } else { ... }</t> - 不适合场景：想靠
if constexpr替代完整特化，尤其是分支里还嵌套了其他模板调用时，可能反而增加解析深度 - 真正省编译时间的，还是减少被实例化的模板函数总数，而不是优化单个函数内部的分支
最容易被忽略的点：模板编译慢，往往不是某一个模板太复杂，而是几十个地方都在各自实例化同一组常用类型。盯住 std::vector、std::map、你自己的 Buffer 或 EventQueue，把它们列出来，集中显式实例化——这才是见效最快的切口。
