三目运算符是表达式而非语句，要求两分支类型可统一为同一类型，优先级高于赋值但低于函数调用，适用于constexpr场景，不可用于定义变量或初始化列表，且需警惕副作用、求值顺序与值类别问题。
三目运算符的基本写法和优先级陷阱
三目运算符 ? : 不是“更短的 if”，它本质是表达式，必须有明确的返回值类型，且左右分支类型要能统一。很多人一上来就写 a > b ? func1() : func2()，结果编译失败——不是逻辑错，是 func1() 和 func2() 返回类型不兼容（比如一个返回 int，一个返回 void），或者其中一个是 throw 表达式但另一个不是。
-
? :的两个分支必须能隐式转换为同一类型，否则报错：error: operands to ?: have different types - 它比赋值运算符（
=）优先级高，但比函数调用、下标、成员访问低；所以a ? b : c = d等价于(a ? b : c) = d，通常这不是你想要的，得加括号 - 避免嵌套三层以上，比如
a ? b : c ? d : e ? f : g，可读性骤降，也容易因结合性出错（它是右结合）
用在 const 初始化和 constexpr 场景中
三目运算符是少数能在 constexpr 上下文中安全使用的控制结构，比 if 语句灵活得多。比如声明一个编译期确定的数组大小，或初始化 const 成员变量时，if 不能用，但 ? : 可以。
- 类内
const成员初始化必须用常量表达式：const int x = cond ? 10 : 20;合法；if (cond) x = 10; else x = 20;语法错误 -
constexpr函数里，只能用三目代替分支逻辑：constexpr int sign(int n) { return n == 0 ? 0 : (n > 0 ? 1 : -1); } - 注意：分支中不能含非常量表达式，比如
std::time(nullptr)或未标记constexpr的函数调用
避免副作用和求值顺序误用
三目运算符只对选中的那个分支求值，这点和 if 一致，但容易被忽略。有人拿它当“简洁 if”来执行带副作用的操作，比如 cond ? printf("yes") : printf("no")，看起来没问题，但一旦改成 cond ? do_something() : do_something_else()，而这两个函数还修改了共享状态，就可能掩盖逻辑依赖。
- 不要把三目当语句用：C++17 起允许分支是 throw 表达式（如
x = 0") : x * 2），但前提是两个分支都“可到达”且类型匹配；否则编译器可能拒绝优化或报错 - 如果分支涉及指针解引用或容器访问，确保不会因条件判断绕过空检查却仍在另一分支触发崩溃，例如
p ? p->val : 0安全，但p->val ? a : b在p为空时直接 UB - VS 和 GCC 对分支是否“死代码”的警告力度不同，Clang 更激进；用
-Wparentheses和-Wdangling-else类选项能提前暴露隐患
替代 if-else 的边界情况：什么时候不该用
三目运算符不是万能缩写。当你需要执行多条语句、做资源管理（比如 RAII）、或分支逻辑本身有复杂前置/后置动作时，硬套 ? : 只会让代码更难维护，甚至引入 bug。
立即学习“C++免费学习笔记（深入）”；
- 不能在分支中定义变量：
cond ? int x = 1 : int y = 2是非法语法；想局部作用域，老实用if - 不支持初始化列表作为分支：
cond ? {1,2,3} : {4,5}错误；得写成cond ? std::vector<int>{1,2,3} : std::vector<int>{4,5}</int></int>，开销陡增 - 移动语义失效风险：若分支返回临时对象，而你想 move 它，
? :会强制拷贝（因为结果类型是公共基类型），这时if+std::move更可控
最常被忽略的一点：三目运算符的结果是左值还是右值，取决于分支表达式的值类别——这个细节在模板推导和完美转发场景中会突然咬人一口。别只盯着“省了一行”，先看类型系统答不答应。
