数组溢界地址的正确使用: 即 int a[6] 中的 a[-1] 和 a[6] 正确使用

正如大家所知道的那样：

数组  int a[6] ,  编译器阅读到这句数组定义，会为分配6个int 类型的地址；a[0]  a[1]   a[2]   a[3]  a[4]  a[5]。我们 能够正确的使用这6地址内容来存放数据。而本文想说的是a[0]前一个地址和 a[5] 后一个地址的正确使用。

可能有人会有疑问，这两个地址是非法的。是不同意訪问和使用的。

幸运的是，我们并不须要引用这两个元素。而仅仅是引用这两个元素的地址，而且着脸个地址在全部C语言实现中都是存在的。ANSIC C 标准明白同意这样的使用方法：数组中实际不存在的“溢界”元素地址位于数组所占内存之后，这个地址可用于进行赋值和比較。当然假设要引用元素就是非法的。

可能有人会问，怎样使用？

答案就是“不正确称边界”

解释下就是“当我们使用指针遍历数组元素时使用”

以下是一个简单的样例：

#include <stdio.h>
#include <stdlib.h>

int main(void)
{
 int a[10];
 int *p;
 int  i=0;
  for(p=a;p!=&a[10];p++) 
     {
      *p=i;
      i++;
     }      
  for(p=a;p!=&a[10];p++) 
    printf("%d
", *p);     
return 0;
}

程序能够正常执行。使用 gcc编译器  centOS操作系统

执行结果：

[trageday@trageday C_test]$ gcc -o arry_over_test arry_over_test.c 
[trageday@trageday C_test]$ ./arry_over_test 
0123456789
[trageday@trageday C_test]$ 

能够看到 for 循环中是使用了 P！=&a[10] 作为循环结束推断条件，是不是感觉有点 STL标准中 iterator 的感觉，对这就是不正确成边界的使用。当然a[-1]使用来从后往前遍历数组的不正确称边界。

尤其当你的数组元素是结构体。 类 等复杂结构时使用这两个地址能够简化操作。（前提是使用指针遍历数组）