转帖：数组越界

C++不会自动检查数组越界，也就是说如果数组越界，程序编译时不会报错，从而在执行时产生非法操作或者得不到正确的结果。因此在使用数组时，一定要在编程中判断是否越界以保证程序的正确性。

面试例题8：改错--数组越界

考点：数组越界出现的问题。

出现频率：★★★★

题（1）

1    void test1() 2    { 3        char string[10]; 4        char* str1 = "0123456789"; 5        strcpy(string, str1); 6    }

题（2）

1    void test2() 2    { 3        char string[10], str1[10]; 4        int i; 5        for(i=0; i<10; i++) 6        { 7            str1[i] = 'a'; 8        } 9        strcpy(string, str1); 10   }

题（3）

1    void test3(char* str1) 2    { 3        char string[10]; 4        if(strlen(str1) <= 10) 5        { 6            strcpy(string, str1); 7        } 8    }

解析：

这3道题都有数组越界的问题。

题（1）中，string是一个含有10个元素的字符数组，str1指向的字符串长度为10，在进行strcpy调用时，会将str1的结束符也复制到string数组里，即复制的字符个数为11，这样会导致string出现数组越界。程序不一定会因此而崩溃，但这是一个潜在的危险。解决办法是将string的元素个数定义为11。

题（2）中，str1和string都是含有10个元素的字符数组，并且str1的元素全部被赋为字符"a"，然后再调用strcpy。这里会出现以下两个问题：一个问题是str1表示的字符数组没有以'/0'结束，在随后调用strcpy时无法判断什么时候复制结束；另一个问题是string的数组长度不够，出现数组越界的现象。解决办法是将string和str1的元素个数都定义为11个，并在调用strcpy之前加入一条语句把str1[10]赋为'/0'。

题（3）中，if语句使用小于等于"<="进行比较，如果str1的长度等于10，也会出现数组越界的情况。解决办法是把"<="换成"<"。

答案：

3道题都有数组越界的问题。改正后的程序如下所示。

题（1）

1    void test1() 2    { 3        char string[11];           //字符数组长度为11，多分配一个 4        char* str1 = "0123456789"; 5        strcpy(string, str1); 6    }

题（2）

1    void test2() 2    { 3        char string[11], str1[11];   //字符数组长度都为11，均多分配一个 4        int i; 5        for(i=0; i<10; i++) 6        { 7            str1[i] = 'a'; 8        } 9        str1[10] = '/0';            //初始化str1为空字符串 10       strcpy(string, str1); 11   }

 

       题（3）

1    void test3(char*str1) 2    { 3        char string[10]; 4        if(strlen(str1) < 10)        //不能用<= 5        { 6            strcpy(string, str1); 7        } 8    }

 

     

      面试例题9：分析程序--数组越界

      考点：不当的循环操作导致数组越界。

      出现频率：★★★

      下面这个程序执行后会出现什么错误？

1    #define MAX 255 2    int main() 3    { 4        unsigned char A[MAX], i; 5    6        for (i = 0; i <= MAX; i++) 7            A[i] = i; 8    }

      解析

      代码第6行的for循环中用的是"<="，当i=MAX时数组越界。值得注意：这个程序很容易使人误认为只有数组越界的问题，但只要细心些就能发现，i是无符号的char类型，它的范围是0～255，所以"i<=MAX"一直都是真，这样会导致无限循环。可以把"i<=MAX"改为"i<MAX"，这样既避免了无限循环又避免了数组越界。

      答案

      i<=MAX导致数组越界以及无限循环，应改为i<MAX。

 

     

      面试例题10：分析程序--打印操作可能产生数组越界

      考点：打印操作时可能产生的数组越界问题。

      出现频率：★★★

      下面这个程序的打印结果是什么？

1    #include <stdio.h> 2    3    int main() 4    { 5        int a[5]={0, 1, 2, 3, 4}, *p; 6        p = a; 7        printf("%d/n",*(p + 4*sizeof(int))); 8 9        return 0; 10   }

      答案

      这个程序存在着越界的问题。

      代码第6行，p指向a的第1个元素，所以p+4指向a的最后一个元素即4，p + 4 * sizeof(int)即p+16，此时指向的是数组a的第17个元素，显然已经越界了，因此打印结果是个随机数。

 

 

      PS:原帖地址：http://sunnydasy.blog.163.com/blog/static/117431322200981405931714/