什么是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表达？