std::conditional 是编译期类型选择模板，根据 constexpr 布尔值从两个合法完整类型中选其一；它不生成运行时分支、不控制执行流程、不忽略非法类型声明，仅定义类型别名。
std::conditional 是什么，它不做什么
std::conditional 不是运行时 if 语句的替代品，也不生成分支代码；它只是个类型别名模板，作用是在编译期根据布尔常量表达式从两个类型中选一个。它的结果是类型，不是值，不能用来控制函数执行流程或改变变量值。
常见错误现象：有人试图用 std::conditional 去“跳过”一段逻辑，比如写 std::conditional<cond int void>::type x = ...</cond> 期望当 cond 为 false 时整个声明被忽略——这行不通，void 类型仍会参与 SFINAE 或直接报错（如用于变量声明）。
使用场景有限但明确：配合 std::enable_if 做 SFINAE 重载、构造 trait 类型、推导返回类型、规避非法类型实例化（比如对 void 不做 operator= 调用）。
怎么写一个合法且有用的 std::conditional 实例
核心规则：两个候选类型都必须是合法的完整类型（即使未被选中），否则编译失败。例如不能写 std::conditional<false int decltype>nullptr)>::type</false>，因为 decltype(nullptr) 不是有效类型。
实操建议：
- 优先用
std::conditional_t（C++14 起），更简洁 - 布尔条件必须是字面量常量表达式（
constexpr bool），不能是普通bool变量 - 典型用法是包裹在别名模板里，避免重复写冗长的
typename std::conditional<...>::type</...>
template<bool b typename t f> using choose_type = std::conditional_t<b t f> </b><p>using ptr_or_int = choose_type<true int>, int>; // int using fallback_ref = choose_type<false int double>; // double&</false></true></p></bool>
和 std::enable_if 搭配时为什么容易出错
std::conditional 和 std::enable_if 经常一起出现，但目的不同：std::enable_if 控制函数/类模板是否参与重载决议，std::conditional 只负责类型选择。
常见错误现象：
- 把
std::conditional<cond t void>::type</cond>直接用作函数返回类型，而void在某些上下文中（如需要 deduce 的 auto 返回）导致编译失败 - 忘记
std::enable_if的第二个模板参数默认是void，误以为std::conditional可以“补救”无效的enable_if条件
实操建议：
- 若想让某个重载只在条件成立时存在，用
std::enable_if_t<cond>* = nullptr</cond>作为函数参数，而不是靠std::conditional包一层类型 - 真正需要类型二选一时，才用
std::conditional；例如定义一个容器的reference类型：对const容器返回const T&，否则返回T&
template<typename t bool isconst>
struct container_ref {
using type = std::conditional_t<isconst const t>;
};
</isconst></typename>
constexpr if 出现后，std::conditional 还有必要吗
有。虽然 C++17 的 if constexpr 能做编译期逻辑分支并丢弃未命中的代码块，但它作用于语句层级，无法替代 std::conditional 在类型推导中的位置。
关键区别：
-
if constexpr用于控制代码执行路径（如 return 不同类型、调用不同函数） -
std::conditional用于定义类型别名、模板参数、别名模板的展开结果 - 有些地方语法不允许出现语句，只允许类型，比如模板参数列表、using 声明右侧、基类列表等
容易被忽略的地方：当你在写 trait 或元函数（metafunction）时，输出必须是类型，此时 if constexpr 无能为力，std::conditional 仍是不可替代的工具。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
