什么是VLA类型的表达？

Question

我试图理解sizeof运算符的工作,我遇到了 这个 问题.以下是该问题的代码

#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不会递增.

一些评论和答案说这a[i++]不是VLA类型,并建议op应该使用2D VLA来查看副作用(sizeof评估其oprand).

我不清楚为什么a[i++]不符合VLA表达的条件.我认为这与我们可以在传递给一个函数时保留第一个未指定数组的事实有关.

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

Answer 1

我不清楚为什么a[i++]不符合VLA表达的条件

a[n]虽然a是VLA,但它不是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(演示).