什么是VLA类型的表达？

Question

我试图了解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评估其oprand）。

我不清楚为什么a[i++]没有资格作为VLA表达。我认为它与我们可以在传递给一个函数时保留第一个未指定数组的事实有关。

所以问题一般是什么被认为是VLA表达？

Answer 1

我不清楚为什么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）。