模板特化怎么绕过通用实现直接走高性能路径
编译器不会主动给你加速，得靠显式特化把关键类型“拎出来”单独写一遍逻辑。通用模板是兜底方案，特化版本才是性能主力——前提是它真被调用了，而不是被 SFINAE 或重载决议意外绕过。
- 必须确保特化声明在所有使用点之前可见，头文件里定义最稳妥，否则链接时可能静默退回到通用版本
- 函数模板不能偏特化，只能全特化；类模板支持全特化和偏特化，但偏特化不能只改 cv 限定符（比如
const intvsint） - 特化不是重载，不参与重载决议；如果通用模板和特化都匹配，编译器优先选特化，但若特化因约束失败（比如
enable_if不满足），也不会回退——直接报错
什么时候该用 std::is_same_v 而不是手动写 T == int
类型比较必须用类型特质，不能用值比较语法。T == int 是非法的，而 std::is_same_v<T, int> 是编译期常量表达式，能进 if constexpr 分支或 enable_if 条件。
-
if constexpr (std::is_same_v<T, float>)可以让编译器彻底剔除另一分支代码，避免无用实例化和潜在编译错误 - 别用
typeid(T) == typeid(int)—— 运行时开销、不支持非多态类型、无法用于编译期判断 - 注意
std::is_same_v<T, const int>和std::is_same_v<T, int>是不同条件，必要时用std::remove_cv_t归一化
constexpr if 和模板特化的性能差异在哪
两者都能实现编译期分支，但生成的代码结构不同：constexpr if 是单个函数体内裁剪，特化是多个独立函数符号。对内联、符号体积、调试体验影响明显。
- 频繁调用的小函数（如向量分量访问），用特化更易被内联，且调试器看到的是清晰的
vec3<float>::x()而不是一堆if constexpr嵌套 - 逻辑差异大、共用代码少的场景，
constexpr if更轻量，避免重复声明多个特化版本 - 特化会增加模板实例化数量，可能拖慢编译；
constexpr if只实例化一个函数，但每个分支里的类型必须合法（哪怕不执行）
特化后发现没生效？检查这三处硬伤
最常见的是“以为特化了，其实根本没命中”，尤其在跨编译单元或模板参数推导模糊时。
立即学习“C++免费学习笔记（深入）”；
- 调用点传入的是
int&，但你只特化了int—— 类型不完全匹配，必须特化int&或用std::decay_t统一处理 - 类模板特化时忘了加
template<>前缀，写成template<typename T> struct my_vec<float>是错误的，正确是template<> struct my_vec<float> - 特化定义在 .cpp 里，而模板声明在头文件中——编译器在实例化点看不到特化，自然用通用版
编译期优化不靠玄学，靠每处类型精确匹配和实例化可见性。漏掉一个 & 或少一个 template<>，就退回通用实现，还可能不报错。
