这个输出让我三观尽毁............如此一来，要动态分配何用？

//偶然看到一个题，然后就大胆试了一试，然后这一试好像试出了问题
//compiler:GCC
#include<iostream>
#include<typeinfo>
#include<stdio.h>
using namespace std;

void func(int n)
{
    int arr[n];  //如果在这里初始化int arr[n]={0}，编译报错，换成下面赋值就相安无事了
    for(int i=0;i<n;++i)
        arr[i]=i;
    //output
    for(int i=0;i<n;++i)
        cout<<arr[i];
}
int main()
{
    func(7);  //输出0123456
    cout<<endl;

    //上面的n是通过参数传递的，
    //那么主函数里面试试，这次数组大小直接反正声明处
    int n=10;
    //同样，在这里初始化数组会提示:变大小的数组不能初始化？！！还有变大小的数组！！？
    //variable-sized object 'arr' may not be initialized.
    int arr[n];
    //write in data
    for(int i=0;i<n;++i)
        arr[i]=i;
    //output
    for(int i=0;i<n;++i)
        cout<<arr[i];  //输出0123456789
    //好吧，感觉至此三观尽毁

    //然而，如果用typeid去识别arr[n]的类型，编译错误
    //cout<<typeid(arr).name()<<endl;
    //但是这样是可以的，输出A10_i，可以识别。
    //说明int n=10,arr[n]和int a[10],二者并不是同一类型
    int a[10];
    cout<<typeid(a).name()<<endl;
}