模板实例化即静态多态的实质，编译器为每种具体类型生成独立函数或类，实现编译期确定的静态分发，无虚函数调用开销。
模板实例化就是静态多态的实质
静态多态不是靠运行时查表或跳转，而是靠编译器为每组具体类型生成独立函数/类。你写一个 template，实际是告诉编译器：“等我用 int、double、MyClass 实例化你的时候，再分别造出三份完全不同的代码”。这三份代码彼此无关联，地址不同、内联自由、无虚调开销。
CRTP 是最典型的静态多态模式
奇异递归模板模式（CRTP）让基类模板“知道”派生类类型，从而把虚函数调用变成编译期确定的静态分发。常见错误是忘记在派生类中显式继承并传入自身类型：
-
class Derived : public Base—— 必须这样写，不能漏掉 - 基类中调用
static_cast，若(this)->impl() T不是真实派生类，会编译失败或未定义行为 - CRTP 无法支持运行时类型切换，比如不能把
Base指针 later 指向* DerivedB对象
函数模板重载比类模板更容易踩坑
函数模板和普通函数重载共存时，编译器优先级顺序是：非模板函数 > 特化模板 > 普通模板。容易出现“本想调特化版，结果调了泛化版”的问题：
- 显式指定模板参数，如
func，可绕过重载解析歧义(x) - 使用
enable_if或 C++20requires约束模板可用类型，避免意外匹配 - 函数模板不参与
ADL（参数依赖查找），除非实参类型定义了同名函数且在对应命名空间里
静态多态不等于零成本，编译时间和二进制体积可能暴涨
每个模板实例都是一份全新代码，尤其当模板嵌套多层、类型组合爆炸时（比如 std::vector<:map std::string>>），编译时间显著上升，目标文件体积也膨胀。这不是 bug，是设计代价：
- 用
extern template显式实例化可抑制重复生成（C++11 起支持） - 对高频使用的类型组合，在 cpp 文件里提前
extern template class MyContainer; - 避免在头文件里无节制展开模板递归，比如深度元编程计算阶乘超过 1000 会卡死编译器
真正难的不是写出能编译的静态多态代码，而是判断“这里到底该不该用模板”。比如传感器驱动中，如果通道数固定为 4，用 template 做编译期配置没问题；但如果通道数来自配置文件，就必须切回运行时多态或策略对象——静态多态只吃编译期常量。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
