std::conditional是编译期三元类型选择工具，仅接受布尔常量表达式，通过::type或c++14起的std::conditional_t获取结果类型，须与type traits配合使用，不可用于运行时分支或替代if constexpr。
std::conditional 的基本用法和常见误用
std::conditional 是一个编译期类型选择工具，它不推导类型、不执行逻辑判断，只做三元类型选择：当布尔常量表达式为 true 时取第一个类型，否则取第二个。它本身不产生值，只产生嵌套的 ::type 别名。
容易踩的坑是把它当成运行时 if 或模板特化替代品——它不能响应变量值，也不能处理非字面量布尔表达式。比如 std::conditional<sizeof int long></sizeof> 合法，但 std::conditional<x int float></x>（其中 x 是函数参数）直接编译失败。
- 必须传入编译期可求值的布尔常量表达式（如
std::is_integral_v<t></t>、sizeof(T) > 8） - 结果要通过
::type访问，漏掉这层会报“no member named 'type'”错误 - C++14 起推荐用
std::conditional_t（即typename std::conditional<...>::type</...>的别名），更简洁
配合类型特征（type traits）做实际类型决策
单独用 std::conditional 意义有限，真正价值在于和 std::is_* 系列 trait 组合，实现泛型逻辑分支。比如根据参数是否为浮点类型，选不同精度的累加器类型：
template<typename t>
using accumulator_type = std::conditional_t,
double,
long long
>;</typename>
这里 std::is_floating_point_v<t></t> 是 C++17 的变量模板，编译期返回 true 或 false；std::conditional_t 直接给出对应类型，无需再写 ::type。
- 避免混用 C++11/14/17 特性导致兼容问题：若项目限用 C++11，需写
std::is_floating_point<t>::value</t>和std::conditional<...>::type</...> - 多个条件嵌套时（如“是浮点？→是 double；是整型？→是 long long；否则是 int”），建议改用
if constexpr（C++17）或模板特化，嵌套std::conditional可读性差且易出错
std::conditional 和 if constexpr 的分工边界
std::conditional 只负责“选类型”，不负责“选代码路径”。如果需要根据类型做不同计算逻辑（比如对浮点数调用 std::sqrt，对整数做位运算），必须用 if constexpr，而不是靠 std::conditional 勉强塞进一个函数体。
例如下面这段是错的：
template<typename t>
auto process(T x) {
using T2 = std::conditional_t<:is_floating_point_v>, double, int>;
return static_cast<t2>(x) * 2; // 所有分支都走，T2 必须对所有 T 都合法
}</t2></:is_floating_point_v></typename>
而正确做法是：
template<typename t>
auto process(T x) {
if constexpr (std::is_floating_point_v<t>) {
return std::sqrt(x); // 仅当 T 是浮点时才实例化这一行
} else {
return x <ul>
<li>
<code>std::conditional</code> 适合定义别名、类型成员、模板参数默认值等纯类型场景</li>
<li>
<code>if constexpr</code> 适合控制语句级、表达式级的编译期分支</li>
<li>二者混合使用没问题，但目标要清晰：类型归类型，行为归行为</li>
</ul>
<h3>在类模板中用 std::conditional 定义差异化成员类型</h3>
<p>这是很常见的实用场景：让一个通用容器根据用户是否启用异常，切换内部错误处理机制的类型。比如：</p>
<pre class="brush:php;toolbar:false;">template<bool enableexceptions>
struct buffer {
using error_policy = std::conditional_t;
<pre class="brush:php;toolbar:false;"><code>error_policy last_error;</code>
};
这样 buffer<true></true> 的 last_error 是异常对象，buffer<false></false> 则是轻量 std::error_code，零开销抽象成立。
- 注意模板参数必须是非类型模板参数（NTTP），即字面量常量，不能是变量或运行时值
- 若想根据类型而非布尔值选型（如“如果是
std::string就用size_t，否则用int”），应优先考虑std::enable_if_t+ SFINAE 或概念（C++20），而非硬套std::conditional - VS2017 及更早版本对嵌套
std::conditional_t的错误提示较模糊，遇到 “type is incomplete” 类错误，先检查所有分支类型是否都已完整定义
最常被忽略的是：std::conditional 不会帮你做隐式转换或类型适配——它只是把两个类型并排放好，由你决定哪个该出现。选错类型或漏掉前置声明，编译器不会“猜你想用什么”。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
