std::conditional是编译期二选一类型元函数，根据constexpr布尔表达式静态选择t或u；误用包括传入运行时变量、忽略::type或_v后缀、过度嵌套；推荐搭配类型特征、使用conditional_t及if constexpr替代。
std::conditional 的基本用法和常见误用
std::conditional 是一个类型元函数，作用是「编译期二选一」：根据布尔常量表达式决定返回哪个类型。它不执行运行时判断，也不做类型转换——只在模板实例化时静态选择 T 或 U。
典型误用是把它当成 if 语句或试图传入运行时变量（比如 std::conditional<flag int double></flag> 中 flag 是变量而非字面量常量），这会导致编译失败，因为模板非类型参数必须是常量表达式。
- 正确写法：
std::conditional<true int double>::type</true>→ 得到int - 常用缩写：
using T = typename std::conditional<cond a b>::type;</cond>（C++14 起可用std::conditional_t省略typename和::type） - 注意：条件必须是
constexpr bool，不能是bool变量、函数返回值（除非标记为constexpr且能常量求值）
配合 std::is_same、std::is_integral 等类型特征使用
单独硬写 true/false 没有意义，std::conditional 的价值在于和类型特征组合，实现泛型逻辑分支。例如：对整型用 long long，其余用 double。
template<typename t>
using widen_type = typename std::conditional,
long long,
double
>::type;</typename>
这里 std::is_integral_v<t></t> 是 C++17 引入的变量模板，等价于 std::is_integral<t>::value</t>，更简洁安全。
- 常见搭配类型特征：
std::is_pointer_v、std::is_floating_point_v、std::is_same_v<a b></a> - 避免直接用
std::is_same<t int>::value</t>—— C++17 后统一用_v后缀版本，更易读且不依赖::value - 注意：所有类型特征都要求
T是完整类型；若T是前置声明类，在实例化前可能触发未定义行为
嵌套 conditional 实现多路分支
C++ 没有原生的 std::conditional_if_else，但可以用嵌套 std::conditional 模拟三元甚至更多分支。例如：整型→int64_t，浮点→double，其余→void。
template<typename t>
using classify_type = typename std::conditional,
int64_t,
typename std::conditional,
double,
void
>::type
>::type;</typename>
这种写法可读性会随层数增加迅速下降，三层以上建议改用 if constexpr（C++17）或专门的类型映射结构体。
- 每层
std::conditional必须显式写::type（或用_t别名），漏掉会得到模板类型而非实际类型 - 嵌套过深时，编译错误信息往往指向最外层，实际问题可能在内层 —— 建议拆成中间
using别名逐步调试 - 不要试图用
std::conditional替代 SFINAE 或requires约束；它只选类型，不参与重载决议
std::conditional_t 与别名模板的实用技巧
C++14 引入了 std::conditional_t，本质是 typename std::conditional<...>::type</...> 的简写。配合 using 别名模板，能写出清晰的类型策略。
template<typename t>
using ptr_or_value_t = std::conditional_t,
std::remove_pointer_t<t>&,
T
>;</t></typename>
这个例子把指针类型转成引用，非指针保持原样——常用于完美转发或参数适配场景。
- 优先用
std::conditional_t而非手写typename ... ::type，减少模板噪音 - 若分支类型涉及模板参数（如
std::vector<t></t>），确保T在该上下文中已定义且可实例化 - 警惕“类型膨胀”：过度嵌套或滥用
std::conditional可能让编译时间变长，尤其在大型模板库中
真正难的不是写出语法正确的 std::conditional，而是判断什么时候该用它——多数时候，if constexpr 更直观，而概念（concepts）更适合约束接口。它最适合的场景，是构建类型别名族或兼容旧标准的元编程桥接层。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
