栈内存存储和数组溢出问题

 int function(const int src[16]){
    int val1=0;
    int dst[16]={0};
    int val2=0;
    const int *psrc=src;
    //问题1：如下代码行输出什么？
    fprintf(stdout,"size of src=%lu\n",sizeof(src));
    //问题2：如下代码有什么副作用？
    for(int i=0;i<=16;i++){
     dst[i]=*psrc+i;
     psrc++;
    }
    return 0;
}

运行结果：

很明显，val2被覆盖了，但是不应该是val1么？

你给dst数组赋了17个值，越界，那么第17个数存放在dst最后一个值的再下一个地址中，就是val2的地址。地址从小到大应该是val1，dst[0...15]，val2

for循环中i只能小于16，不能等于，否则数组就越界赋值了。

是因为数组越界了吧。

数组越界，runtime error

为什么我的运行结果是这样的呢？