C语言中`int a=0,b=a++,c=a++;`是否有确定行为？逗号是序列点吗？

问题核心 #

在C语言中，定义int a = 0, b = a++, c = a++;是否具有确定行为？换句话说，对象声明中的逗号是否像表达式中的逗号操作符那样引入序列点，保证各初始化操作的顺序和副作用可见性？

C++的参考情况 #

针对C的类似问题，公认结论是行为完全确定，依据C11标准第8/3段：

每个init-declarator在声明中会被单独分析，就如同它是一个独立声明

不过该条款仅聚焦语法分析阶段，对运行时操作的顺序描述不够精准。

C标准的具体规定 #

在C语言中，声明里的逗号是init-declarator的分隔符，而非表达式中的逗号操作符，但C标准明确了多变量初始化的执行规则：

1. 初始化顺序的确定性：同一声明中的多个变量，初始化严格按照声明的先后顺序执行。例如C11/C17标准给出的示例int i = 3, j = i;是合法且行为确定的，j会被初始化为3，这说明前一个变量的初始化完成后，才会启动后一个变量的初始化。

2. 副作用的可见性：虽然声明中的逗号不直接引入序列点，但每个变量的初始化是独立的完整操作。根据C标准中“序列前”（sequenced before）的定义：若操作A被序列在操作B之前，A的执行会在B开始前全部完成。因此a = 0完成后，b = a++的初始化才会启动，a++的副作用（a变为1）会在b赋值完成后生效；接着c = a++启动时，a的值已经是1，执行a++后a变为2，c被赋值为1。

3. 关于Annex C的措辞变化：C11之后，资料性附录Annex C的序列点描述虽有调整，但核心标准文本（如6.7.9初始化章节、5.1.2.3执行顺序章节）并未改变对多变量初始化顺序的定义，因此行为确定性不受附录措辞变化影响。

结论 #

int a = 0, b = a++, c = a++;的行为完全确定：最终a的值为2，b的值为0，c的值为1。

对于类似的int res = 0, a = res;，行为同样确定，a会被初始化为0；而int arg1 = pop(), arg2 = pop();这类带函数调用副作用的初始化，pop()的调用顺序严格按照声明顺序执行，先调用pop()初始化arg1，再调用pop()初始化arg2，行为也是确定的。

注：此类初始化方式确实不够清晰，不推荐在实际代码中使用，应优先选择更具可读性的独立声明写法。

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