关于变长数组（VLA）维度求值顺序及相关代码行为的技术咨询

先来看你给出的测试代码：

#include <stdio.h>
void case1(int array[][printf("hello ")][printf("world ")]) {}
int i = 0;
void case2(int array[][i++][i++]) {}
int main(void) {
  case1(0);
  case2(0);
  printf("%d\n", i);
}

下面结合C标准（C11、C23）的规定，逐一解答你的疑问：

代码行为的明确说明 #

1. 输出差异的合理性 #

GCC输出world hello 2、Clang输出hello world 2都是符合C标准的——这属于未指定行为，而非某个编译器“出错”。

2. Case1与Case2的行为分类 #

• Case1：属于未指定行为，不是未定义行为。
  两个printf调用仅涉及输出操作，修改的是标准输出流而非同一标量变量。标准明确允许VLA维度表达式以任意顺序求值，所以编译器选择先执行printf("world ")还是printf("hello ")都是合法的，不需要承担额外的兼容性责任。
• Case2：属于未定义行为，不是实现定义行为。
  两个i++对同一变量i进行了“读取-修改”操作，且这些操作之间没有明确的序列关系：第二个i++读取i当前值的动作，与第一个i++修改i的动作是完全无顺序的，直接违反了C标准中关于副作用求值的规定。即使当前GCC和Clang都输出2，也不代表结果确定——未定义行为允许任何输出，包括看似“正确”的结果，只是这两个编译器恰好选择了让结果为2的实现逻辑。

VLA维度的求值顺序与序列点细节 #

• 求值顺序规则：
  • 对于无副作用的VLA维度表达式（比如Case1中的printf调用），多个表达式的求值是不确定顺序（indeterminably-sequenced）：编译器可以选择任意顺序执行，但不会让操作重叠，这属于未指定行为。
  • 对于带有副作用的表达式（比如Case2中的i++），多个表达式的求值是无顺序（unsequenced）：操作之间没有先后关系，可能重叠执行，这直接触发未定义行为。
• 序列点：
  VLA维度表达式的求值过程中没有额外的序列点，只有当表达式本身包含序列点时（比如函数调用printf，其调用前后存在序列点），才会在对应位置产生序列点。

备注：内容来源于stack exchange，提问作者KamilCuk