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 运算符的操作数时，变量 i 不会递增。

一些 cmets 和回答说 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)。