数组越界的深入思考

————————————————————————————————————————————————————————————
数组越界

如果申明int a[5];

那么我索引到a[5],a[6]....这些数据是什么样的格式呢？int？还是以int型结构索引？
是不是我定义了int型的数组，然后以int型读取从数组起始地址开始的内存区域吗（包括越界区域的读取）？

例如我上一贴说到的测试程序：

#include <iostream>
using namespace std;

int main()
{
    int i;
    double a[4];

    for (i=0;i<7;i++)
    {
        a[i]=i;
    }
    cout<<a[6];

    return 0;
}


结果很正常的输出了6，我利用了数组后的内存区域！很显然是我把6赋值给了a[6]的内存区域，但是a[6]究竟是什么呢？为什么它是有意义的？是什么样的结构，是我所猜测的int型吗？

是因为我申明了int型，然后指针从a的地址开始，只要你写a[x],不管x是几，它都将a[x]视作int型操作？

难道数组的申明就是找到一个大于等于申明数组的内存区域，然而你的索引是可以任意的（包括越界，这里不讨论会引起非法操作，只讨论实质），而且都是你以所定义的类型（

如int），这样就可以解释ａ［６］，ａ［７］．．．．这些数据，到底是怎么样的呢？如我所猜想的那样吗？
有什么书介绍这方面的只是，高手指导一下！



总结网友所诉：a[6]就是*(a+6),a[x]就是*(a+x)，索引时可以任意的，而且都是你所定义的类型！如果它占据了其它内存区域就会占据其它内存，在内存分配是，系统只是负责给你找到一块等于你说声明数组大小的内存区域，一般counter i就存储在下一个内存中！