std::conditional 必须加 ::type 或用 C++14 的 std::conditional_t，Cond 需为 constexpr bool，T/F 必须已定义；它仅选类型，不支持运行时分支或 SFINAE 延迟实例化。
std::conditional 怎么写才不报错？
直接用 std::conditional 时最常见的错误是漏掉 ::type ——它不是类型别名，而是一个模板类，必须显式取 ::type 才能得到最终类型。比如 std::conditional<true int double></true> 本身不是类型，std::conditional<true int double>::type</true> 才是 int。
常见错误现象：error: expected a type 或 template argument deduction/substitution failed，基本都是因为忘了加 ::type。
- 永远写成
std::conditional<cond t f>::type</cond>，不要省略::type -
Cond必须是编译期常量表达式（constexpr bool），不能是运行时变量 - 如果
T或F是未定义类型（比如前向声明但没定义的类），即使分支没被选中，也会导致编译失败 ——std::conditional不做 SFINAE 延迟实例化
替代 if constexpr 的场景有哪些？
std::conditional 只能选类型，不能选值或执行分支逻辑；而 if constexpr（C++17 起）可以选代码路径。二者根本不是同一层工具：前者是类型元编程基础构件，后者是控制流优化手段。
典型使用场景：
立即学习“C++免费学习笔记（深入）”；
- 定义模板别名时做类型分发，比如
using ptr_t = std::conditional_t<:is_const_v>, const U*, U*>;</:is_const_v> - 配合
std::enable_if做 SFINAE 约束（虽然现在更常用requires） - 实现 traits 类型映射，如
std::iterator_traits内部可能用到 - 不能用于函数体内根据运行时条件选类型 —— 那根本不可能，类型必须在编译期确定
std::conditional_t 和 std::conditional 有什么区别？
std::conditional_t 是 C++14 引入的便捷别名模板，等价于 std::conditional<...>::type</...>。用了它就不用手敲 ::type，少出错也更干净。
示例对比：
using A = std::conditional<true, int, double>::type; // C++11 风格 using B = std::conditional_t<true, int, double>; // C++14+ 推荐
- 只要编译器支持 C++14（几乎全部现代编译器都支持），无理由不用
std::conditional_t - 两者语义完全一致，无性能或兼容性差异
- 注意：没有
std::conditional_v——那个是给布尔常量用的，别混淆
和 std::enable_if 混用时容易踩什么坑？
这两个常一起出现在模板参数或返回类型中，但职责不同：std::conditional 选类型，std::enable_if 控制模板是否参与重载决议。混用时最常犯的错是把条件逻辑写反，或者误以为 std::enable_if 能“屏蔽”某个 std::conditional 分支里的非法类型。
-
std::enable_if_t<cond t></cond>在Cond为false时根本没::type，所以会导致 SFINAE 失败 —— 这才是它的作用机制 - 而
std::conditional_t<cond t u></cond>即使Cond为false，也一定会求值U；如果U本身非法（比如void&），编译直接失败，不会退到其他重载 - 想安全地“按条件提供类型且避免非法类型触发硬错误”，得用
std::enable_if先过滤模板实例化，再在合法分支里用std::conditional
真正难的不是写对语法，而是想清楚：这个类型选择，到底该发生在模板参数推导阶段、SFINAE 阶段，还是特化/偏特化阶段。一不留神，就把编译错误从“找不到匹配重载”变成“模板实例化深度超限”。
