模板代码全放头文件导致二进制膨胀，应分离声明与非内联实现、用extern template抑制重复实例化、避免auto推导独特类型、慎用std::function/std::any，并管控模板间隐式耦合。
模板定义别全塞在头文件里
模板代码全放在 .h 或 .hpp 里，是膨胀的主因——每个包含它的编译单元都会实例化一遍相同特化版本。比如 std::vector<int></int> 在 10 个 .cpp 文件里被用到，就可能生成 10 份几乎一样的二进制代码。
实操建议：
- 把模板声明留在头文件，但将**非内联、可共享的成员函数实现**挪到单独的
.tpp或.cpp（需显式实例化） - 对常用特化（如
MyContainer<int></int>,MyContainer<:string></:string>），在.cpp里加template class MyContainer<int>;</int> - 避免在模板函数里无节制调用其他模板函数——每多一层，组合爆炸风险就高一分
用 extern template 抑制重复实例化
当你已在某处显式实例化了 std::vector<mytype></mytype>，其他编译单元再遇到它时，就不该再生成一份。但默认不会自动抑制，得手动告诉编译器：“这个我不管，你去别处找”。
常见错误现象：加了 extern template 却忘了在某个 .cpp 里做对应显式实例化，链接时报 undefined reference to 'MyClass<int>::func()'</int>。
立即学习“C++免费学习笔记（深入）”；
实操建议：
- 在头文件末尾加
extern template class MyClass<int>;</int> - 在且仅在一个
.cpp文件里写template class MyClass<int>;</int> - 注意顺序：
extern template必须出现在任何隐式实例化之前（比如不能放在#include后面又用了MyClass<int></int>）
警惕 auto + 模板 + 复杂表达式
看似省事的 auto x = some_template_func(a, b); 可能悄悄推导出一个独一无二的类型（比如嵌套 std::tuple 套 std::optional 套 std::function），导致无法复用已有实例，还拖慢编译。
使用场景：泛型算法内部、配置构建器、元编程链式调用——这些地方最容易产出“一次性类型”。
实操建议：
- 对中间结果，优先用明确类型（哪怕写长点），比如改用
std::vector<int> x = ...;</int>而不是auto x = ...; - 函数返回类型别名化：用
using ResultType = std::array<:pair float>, 42>;</:pair>，再让多个函数统一返回它 - 避免在模板参数里传递 lambda（除非用
std::function或类型擦除封装），否则每个 lambda 都是新类型
检查 std::function 和 std::any 的滥用
它们底层依赖模板，但接口抽象掩盖了实例化开销。一个 std::function<void std::string></void> 看似简单，背后可能触发几十个辅助模板的展开；std::any 存什么类型，就可能为那个类型生成一套新的 type-erasure 支撑代码。
性能影响：不仅增大目标文件，更严重的是让编译器难以内联、优化，甚至阻断 LTO 的跨模块合并。
实操建议：
- 能用函数指针或虚函数的地方，别第一反应选
std::function - 用
std::variant替代std::any（如果值域确定），它只实例化你列出的那几个类型 - 检查构建日志里是否高频出现
std::function<...>::invoke</...>或std::any::_Manager<...></...>的符号——那是膨胀的线索
真正难控制的不是单个模板，而是模板之间的隐式耦合：一个改动引发连锁推导。所以别只盯着自己写的模板，更要盯住它调用的、传入的、返回的每一个类型——那些才是膨胀真正的入口点。
