C语言三元运算符能否省略分支部分？技术问询

核心结论 #

C语言标准（C99及后续版本）不允许省略三元运算符?:的第二或第三操作数，它的语法严格要求条件表达式 ? 表达式1 : 表达式2三个部分完整存在——这和if-else的else、switch的default可选性逻辑不同，因为三元运算符本质是表达式，必须产生一个确定的值，而if/switch是语句，仅控制执行流程不需要返回值。

你的尝试为什么报错？ #

• x == y ? x*=2;：缺少: 表达式部分，完全不符合三元运算符的语法结构，编译器直接抛出语法错误。
• x == y ? x *=2 : continue;：continue是语句，但三元运算符的第二、第三部分必须是合法的表达式，语句不能作为表达式的分支，因此编译失败。
• x == y ?: x /=2;：这是GCC的非标准扩展语法（称为"省略中间操作数"的三元运算符），逻辑是条件为真时返回x==y的布尔值，条件为假时执行x/=2，和你想要的"条件为真时执行x*=2"的需求不符，而且依赖编译器扩展会损失代码可移植性。

除了if语句之外的替代方案 #

如果一定要用类似三元运算符的写法实现单分支逻辑，可以通过以下合法方式填充不需要的分支：

1. 用逗号表达式填充无关分支
   当只需要执行条件为真的操作时，可以用逗号表达式执行目标操作，再返回一个无关值，另一分支用相同无关值占位：

   x == y ? (x *= 2, 0) : 0;
   

   逗号表达式(x *= 2, 0)会先执行x*=2，再返回0；整个三元表达式的值被丢弃，仅起到条件执行的效果。

2. 用无操作表达式占位
   用(void)0这种合法的无操作表达式填充不需要的分支，明确表示该分支无实际逻辑：

   x == y ? (x *= 2) : (void)0;
   

   这种写法更清晰，且完全符合标准C语法。

3. GCC环境下的扩展写法（不推荐）
   如果你只在GCC环境下编译，可以使用它的省略分支扩展，但注意逻辑和标准语法的差异：

   x == y ? (x *= 2) : ; // 省略第三部分，仅GCC支持
   

   但这种写法不具备可移植性，不建议在跨平台代码中使用。

内容的提问来源于stack exchange，提问作者user174174