为什么这行得通？

    #include <iostream>    

    int main()
    {
        std::cout << "Enter a number: ";
        int arraySize;
        std::cin >> arraySize;

        int array[arraySize];

        for(int element : array)
        {
            element = 42;
            std::cout << element << "\n";
        }

        std::cout << "Array size: " << sizeof(array) << "\n";
        std::cout << "Element count: " << sizeof(array)/sizeof(int);

        return 0;
    }

我对C语言中动态存储分配的理解告诉我，需要它的一种情况是，当你不知道在编译时需要分配的内存量时。在这个程序中，显然程序编译时不知道数组大小，但它是动态的，因为它可以随着用户输入的值而变化。

这是一个程序在成功编译后运行（警告和无错误）：
g程序. cpp-std=c 11-o程序.exe

输入数字：12
42
42
42
42
42
42
42
42
42
42
42
数组大小：48
元素计数：12

如您所见，使用用户定义的元素数量创建了一个数组，每个元素都成功分配给42个，并证明存在sizeof（）运算符。

为什么这不算动态存储分配和编译？