在逗号运算符(a,b)中使用代码块a：GCC专属特性？原理解析

示例代码 #

#include <stdio.h>

int main()
{
    int sum = 0, result = (({for (int i = 0; i < 5; i++) sum += i;}), sum);
    
    printf("result = %d\n", result);

    return 0;
}

运行输出 #

result = 10

问题解答 #

• 该特性是否为GCC专属？
  是的，这是GNU C的**语句表达式（Statement Expressions）**扩展，不属于任何C标准（如C99、C11、C17）的规定，仅GCC及兼容GNU扩展的编译器（如Clang）支持，标准C编译器会判定为语法错误。

• 代码块在逗号运算符中生效的原因
  逗号运算符的操作数必须是表达式，而GCC的语句表达式扩展允许通过({ ... })将代码块转换为合法表达式：

  1. 括号内的代码块会被执行（此处即运行for循环完成sum的累加）；
  2. 整个({ ... })结构可以作为表达式参与运算，因此能放在逗号运算符的左侧；
  3. 逗号运算符会先执行左侧的语句表达式，再返回右侧sum的值，最终将该值赋值给result。

• 代码块为何必须加括号？
  标准C中，{}包裹的代码块属于语句范畴，并非表达式，不能直接作为逗号运算符的操作数。而GCC的语句表达式语法要求必须用({ ... })包裹代码块，外层括号是扩展语法的标识，用于告知编译器这是一个可作为表达式使用的代码块结构，缺少括号的话，编译器会将单独的{}语句判定为语法错误。

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