何为VLA类型表达式？关于sizeof操作数与VLA的疑问

嘿，这个问题其实戳中了sizeof运算符和变长数组（VLA）的一个容易混淆的细节，咱们一步步把它掰明白：

先搞懂sizeof的核心规则 #

首先得记住：绝大多数情况下，sizeof的操作数是不会被求值的——也就是说操作数里的副作用（比如i++这种自增操作）压根不会执行。但有个关键例外：当操作数是变长数组类型的表达式时，sizeof必须对这个表达式求值，因为VLA的大小是运行时动态确定的，只有求值才能拿到它的实际大小。

为什么a[i++]不算VLA类型表达式？ #

你可能会疑惑：a本身是VLA啊，为什么a[i++]就不算？这里的核心是表达式的类型：

• a作为数组名，它的类型是int[n]（假设你定义的是int a[n];，n是运行时变量），这确实是VLA类型；
• 但a[i++]是通过下标访问数组的单个元素，它的类型是int——一个标量类型，完全不是数组类型，更别说VLA类型了。

换句话说，a[i++]只是VLA里的一个元素，不是VLA本身，所以它不符合“VLA类型表达式”的定义，自然不会触发sizeof的求值逻辑，i++的副作用也就不会发生。

什么样的表达式才会触发sizeof的求值？ #

拿二维VLA举例子就清楚了：比如你定义int b[m][n];（m和n都是运行时变量），那么b[i++]的类型是int[n]——这是一个一维的VLA类型表达式。这时候用sizeof(b[i++])，sizeof就必须求值b[i++]来确定这个一维VLA的大小，i也就会被递增了。

对比代码示例 #

一维VLA场景（i不递增）

#include <stdio.h>
int main() {
    int n = 5;
    int a[n];
    int i = 0;
    printf("sizeof(a[i++]) = %zu\n", sizeof(a[i++]));
    printf("i = %d\n", i); // 输出i=0，因为a[i++]是int类型，sizeof不求值
    return 0;
}

二维VLA场景（i会递增）

#include <stdio.h>
int main() {
    int m = 3, n = 5;
    int b[m][n];
    int i = 0;
    printf("sizeof(b[i++]) = %zu\n", sizeof(b[i++]));
    printf("i = %d\n", i); // 输出i=1，因为b[i++]是VLA类型，sizeof会求值
    return 0;
}

总结一下 #

• sizeof仅在操作数的类型为变长数组时，才会对操作数求值并触发副作用；
• 一维VLA的元素访问是标量类型，不属于VLA类型表达式，所以sizeof不会执行i++；
• 二维VLA的行访问是一维VLA类型，符合触发条件，sizeof会执行i++。

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