if constexpr 是现代 C++ 元编程首选入口，比 std::enable_if 更简洁、错误更清晰；仅在重载决议或模板类约束时才需 std::enable_if，C++20 概念是更优替代。
std::enable_if 不是必须写的起点，if constexpr 才是现代 C++ 里最该优先用的元编程入口——它直接把编译期分支写得像运行时代码一样直白，而且错误信息干净。
先写 if constexpr，别急着上 std::enable_if
你遇到类型分派需求（比如对整型做位运算、对浮点做精度截断、对容器调用 size()），第一反应不该是翻 SFINAE 教程。C++17 的 if constexpr 已经能覆盖 80% 的场景，而且不触发重载解析歧义：
- 写法简单：
if constexpr (std::is_integral_v<t>) { ... }</t>，条件为false的分支整个被丢弃，不参与编译 - 不会污染函数签名，避免和其它重载版本打架
- 错误只出现在真正被选中的分支里，调试路径清晰
- 比
std::enable_if少写至少三行模板参数和返回类型约束
std::enable_if 只在两类地方绕不开
当你需要函数重载决议参与决策，或者要约束模板类/别名模板本身时，std::enable_if 还是得用。但要注意它不是“加个条件就行”，而是和 SFINAE 绑定的机制：
- 必须放在模板参数列表或返回类型里（不能塞进函数体），否则就变成运行时
static_assert - 典型误用：
template<typename t> void foo(T) { static_assert(std::is_arithmetic_v<t>); }</t></typename>——这只能报错，不能实现“有算术类型就用这个版本，没有就退到另一个” - 正确姿势之一：作为返回类型的默认模板参数：
template<typename t typename="std::enable_if_t<std::is_floating_point_v<T">>></typename> - 更安全的替代：C++20
concept，错误提示更准，语法更扁平
递归模板？先试试 constexpr 函数
编译期计算（比如阶乘、字符串哈希）不用非写 Factorial<n>::value</n> 那种嵌套结构。C++14 起 constexpr 函数已支持循环和分支，可读性高、编译器优化好、递归深度限制宽松：
constexpr int fib(int n) { return n 在 <code>fib(20)时就是纯编译期常量- 比模板递归更容易调试：GDB 可单步，IDE 能跳转，错误位置明确
- 模板递归容易触发编译器栈溢出（尤其 GCC 默认深度约 900），而
constexpr函数由编译器自行展开，策略更灵活 - 仅当需要“类型+值”混合计算（如
std::array<int n></int>的维度推导）时，才回归模板参数形式
类型萃取别硬造，先查 <type_traits></type_traits>
95% 的类型判断逻辑（是否可默认构造、是否有某个成员函数、是否可隐式转换）标准库都提供了现成的 std::is_* 和 std::has_* 特性。自己写 decltype(&T::foo) 检测不仅冗长，还容易漏掉 const/volatile 限定或重载情况：
立即学习“C++免费学习笔记（深入）”；
- 检测成员函数存在且可调用：
requires { std::declval<t>().foo(); }</t>（C++20requires表达式） - 兼容旧标准：用
std::is_invocable_r_v或std::is_detected_v（需自定义探测别名） - 别在头文件里反复写同一套 SFINAE 探测逻辑——封装成命名的
concept或内联constexpr变量，复用性和语义都更稳
if constexpr 加几个 std::is_* 就够了。 
