?: 是 C 语言中唯一的三元条件运算符，语法为 condition ? expr1 : expr2，要求两分支类型兼容、返回右值，仅适用于简单二选一表达式，禁用语句、副作用操作及局部地址返回。
什么是 ?: 运算符
?: 是 C 语言中唯一的三元运算符，也叫条件运算符或三目运算符。它不是语句，而是一个表达式——必须返回一个值，且只能用于“二选一”的简单判断场景。
- 它不执行分支代码块，只计算并返回
expr1或expr2中的一个值 - 语法固定为：
condition ? expr1 : expr2，其中condition必须能转为int（非零即真），不能是 void 表达式 - 和
if-else的关键区别：你不能在?:里写printf()、return、赋值语句等；它只接受能求出值的子表达式
?: 的类型匹配规则与常见编译错误
两个分支 expr1 和 expr2 的类型必须兼容，否则 GCC/Clang 直接报错：error: operands to ?: have different types。
- 整数与浮点数混合时会自动提升（如
5 : 3.14→ 推导为double） - 字符串字面量可以互换（
"ok" : "err"合法，类型都是const char*），但混用char*和std::string（C++）或char[]就不行 - C 语言中没有隐式指针类型转换，
ptr ? ptr : NULL可能失败；稳妥写法是ptr ? ptr : (void*)0或显式强转 - 避免用
?:返回局部数组地址（如cond ? "a" : arr，其中arr是函数内char arr[4]），生命周期风险高
嵌套 ?: 怎么写才不出错
嵌套本身合法，但 C 标准规定它是右结合的：a ? b : c ? d : e 等价于 a ? b : (c ? d : e)，不是 (a ? b : c) ? d : e。
- 多层嵌套极易误读，例如
score >= 90 ? 'A' : score >= 80 ? 'B' : score >= 70 ? 'C' : 'F'虽能编译，但调试时断点打不进中间分支 - 优先级陷阱：像
a + b > c ? d : e没问题，但a + b > c ? d : e + f实际解析为a + (b > c ? d : e) + f，务必加括号明确意图 - 超过两层嵌套建议改用
if-else if-else；若坚持嵌套，可提取中间变量提高可读性，例如：int is_high = (x > 100); int is_mid = (x > 50 && x
哪些地方必须用 ?:，哪些地方不该硬套
它不是 if-else 的压缩版，而是专为“纯值选择”设计的工具。
立即学习“C语言免费学习笔记（深入）”；
- 适合场景：
const变量初始化、宏定义（如#define MAX(a,b) ((a) > (b) ? (a) : (b))）、结构体字段赋值、printf参数（printf("status: %s", flag ? "on" : "off")） - 禁止场景：含函数调用副作用（如
flag ? log("yes") : log("no")）、涉及资源分配/释放、需要单步调试逻辑分支 - 性能上无优势：现代编译器对简单
if-else和?:生成的汇编几乎一致；别为“看起来快”牺牲可维护性
最常被忽略的一点：三目运算符的结果默认是右值（rvalue），不能直接取地址或赋值给非 const 引用——比如 int& r = (a>b) ? a : b; 在 C 中非法，在 C++11 后仅当两个分支都是同类型左值时才允许。这点在写泛型宏或跨语言移植时尤其容易翻车。
