转：

 最早的C编译器并不检查下标，而最新的编译器依然不对它进行检查。这项任务之所以很困难，是因为下标引用可以作为任意的指针，而不仅仅是数组名。

    作用于指针的下标引用的有效性既依赖于该指针当时恰好指向什么内容，也依赖于下标的值。结果，C的下标检查所涉及的开销比你开始想象的要多。编译器必须在程序中插入指令，证实下标的结果所引用的元素和指针表达式所指向的元素属于同一个数组。这个比较操作需要程序中所有数组的位置和长度方面的信息，这将占用一些空间。当程序运行时，这些信息必须进行更新，以反映自动和动态分配的数组，这又将占用一定的时间。因此，即使是那些提供了下标检查的编译器通常也会提供一些开关，允许你去掉下标检查。

    在C语言中，数组就是指针，他只保存了地址。这就造成无法检查是否越界，但也给指针和数组的交互操作提供极大的便利性。

   C 的数组根本就是一个指针的语法trick而已。 a[3] 就是   *(a+3)，而此时a 就是一个地址，当然没有所谓边界限制。a[3] 等效于*(a+3)等效于*(3+a) 等效于3[a]；

原：http://blog.chinaunix.net/uid-24237502-id-203487.html