变量可以用来定义C语言中堆栈上数组的大小吗?

我有一种情况,我希望我的程序读取一些数字,这些数字将定义二维数组(用作矩阵)的大小。我最初认为唯一的方法是使用 malloc 调用将数组放到堆上,如下所示:

matrixElement* matrix = malloc(sizeof(matrixElement) * numRows * numCols);

其中numcols和numrow是前面读取的整数,matrixelement是任意类型。我的理由是简单地写:

matrixElement matrix[numRows][numCols];

不会工作,因为编译器无法知道要分配给函数调用的堆栈空间有多大。结果发现我错了,因为以下代码编译并运行:

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
    int x, y;
    scanf("%d", &x);
    scanf("%d", &y);

    double arr[x][y];

    printf("Made an array of size %d by %d, total memory %fKb\n", 
            sizeof(arr) / sizeof(arr[0]), 
            sizeof(arr[0]) / sizeof(arr[0][0]),
            (float) sizeof(arr) / 1024.0f);

    return 0;
}

有了足够大的X和Y数字输入,这最终会产生一个segfault,但我也很惊讶看到我可以用这个代码创建一个1000x1000数组。

有人能解释一下这是怎么回事吗?

编译器是否只是为数组分配了一堆空间,即使它不知道将使用多少空间?

这种行为是由ANSIC指定的,还是GCC自己做的?