GCC 13.1.0中不完整三元运算符无编译错误的原因咨询

第一个代码可编译的原因 #

int a = 4 == 4 ?: 7; 能正常编译并得到结果1，是因为GCC提供了一个非标准扩展：允许省略三目运算符?和:之间的中间操作数。此时编译器会自动将?前面的条件表达式的结果作为中间操作数的值。

具体到这段代码，4 == 4的结果是布尔值true，在C++中会隐式转换为int类型的1，所以这个表达式等价于：

int a = 4 == 4 ? (4 == 4) : 7;

最终变量a被赋值为1。

第二个代码编译失败的原因 #

int a = 4 == 4 ? 7 :; 触发编译错误是纯粹的语法违规。无论是C++标准还是GCC的扩展规则，都要求三目运算符的:后面必须跟一个合法的表达式，不存在省略:后操作数的语法支持。GCC的扩展仅针对省略中间操作数的场景，不允许省略末尾的表达式，因此这段代码不符合语法要求，直接编译报错。

额外说明 #

这种省略中间操作数的写法是GCC独有的非标准特性，在Clang、MSVC等其他编译器中可能直接编译失败，编写可移植代码时应避免使用。

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