c - VLA类型的表达是什么？

我在试着了解sizeof操作员的工作原理，结果发现this
问题。下面是这个问题的代码

#include <stdio.h>

int main() {
    int i = 0;
    int a[i];
    printf("%zu\n",sizeof(a[i++]));
    printf("%d\n",i); // Here, print 0 instead of 1
    return 0;
}

这里的数组a是可变长度的，但是当它用作sizeof运算符的oprand时，变量i不会递增。
一些评论和回答说a[i++]不是VLA类型，并建议op应该使用2D VLA来观察副作用（sizeof evalutes its oprand）。
我不清楚为什么a[i++]不符合VLA表达式的条件，我认为这与我们可以在传递函数的同时不指定数组的第一维有关。
所以问题是什么是VLA表达式？

最佳答案

我不清楚为什么a[i++]不能作为VLA表达式
a[n]不是VLA表达式，即使a是VLA，因为表达式生成的是VLA的单个元素，而不是VLA本身。
一般来说，什么是VLA表达式？
在您的示例中，a将是一个VLA表达式，因为它表示一个可变长度数组。
2D VLA将提供一个场景，其中sizeof将计算其操作数：

int x, y;
scanf("%d %d", &x, &y);
int a[x][y];
int i = 0;
size_t z = sizeof(a[i++]);
printf("%d %d\n", i, (int)z);

这将打印1，因为现在不仅a是VLA，而且a[n]也是VLA（demo）。

关于c - VLA类型的表达是什么？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/48995441/