[已解决]关于数组的边界问题

2316829671

下面的代码中，第15行以及后面的第21、52、76行中，不是存在越界赋值及越界访问的问题吗？为什么程序没有问题？新人求教

1. #include <stdio.h>
   
2. #include <stdbool.h>
   
3. 
   
4. int main()
   
5. {
   
6.         int i, j, n, count, cubed, sum = 0;
   
7.         bool result = true; // 用于存放验证结果
   
8.         char answer;
   
9. 
   
10.         printf("请输入一个整数：");
    
11.         scanf("%d", &count);
    
12. 
    
13.         int array[count][4];
    
14.         // 变长数组无法再定义是初始化，只能手动了...
    
15.         for (n = 3; n <= count; n++)
    
16.         {
    
17.                // 初始化第一列，因为后边用于验证
    
18.                array[n][0] = 0;
    
19.         }
    
20. 
    
21.         for (n = 3; n <= count; n++)
    
22.         {
    
23.                 cubed = n * n * n;
    
24.                 for (i = 1; i < cubed; i += 2)
    
25.                 {
    
26.                         for (j = i; j < cubed; j += 2)
    
27.                         {
    
28.                                 sum += j;
    
29.                                 if (sum == cubed)
    
30.                                 {
    
31.                                         array[n][0] = cubed;
    
32.                                         array[n][1] = i;
    
33.                                         array[n][2] = i + 2;
    
34.                                         array[n][3] = j;
    
35.                                        
    
36.                                         goto FINDIT;
    
37.                                 }
    
38. 
    
39.                                 if (sum > cubed)
    
40.                                 {
    
41.                                         sum = 0;
    
42.                                         break;
    
43.                                 }
    
44.                         }
    
45.                 }
    
46. 
    
47.         FINDIT:
    
48.                 ; // 空语句
    
49.         }
    
50. 
    
51.         // 检查
    
52.         for (n = 3; n <= count; n++)
    
53.         {
    
54.                 if (array[n][0] == 0)
    
55.                 {
    
56.                         result = false;
    
57.                         break;
    
58.                 }
    
59.         }
    
60.         
    
61.         if (result)
    
62.         {
    
63.                 printf("经验证，3 ~ %d 之间所有的整数均符合尼科彻斯定理！\n\n", count);
    
64.                 printf("是否打印所有式子(y/n)：");
    
65.                 getchar();
    
66.                 scanf("%c", &answer);
    
67.         }
    
68.         else
    
69.         {
    
70.                 printf("验证失败：整数 %d 无法找到对应的连续奇数！\n");
    
71.         }
    
72. 
    
73.         if (answer == 'y')
    
74.         {
    
75.                 // 打印
    
76.                 for (n = 3; n <= count; n++)
    
77.                 {
    
78.                         if (array[n][3] - array[n][1] > 4)
    
79.                         {
    
80.                                 printf("%d^3 == %d == %d + %d +... + %d\n", n, array[n][0], array[n][1], array[n][2], array[n][3]);
    
81.                         }
    
82.                         else
    
83.                         {
    
84.                                 printf("%d^3 == %d == %d + %d + %d\n", n, array[n][0], array[n][1], array[n][2], array[n][3]);
    
85.                         }
    
86.                 }
    
87.         }
    
88. 
    
89.         return 0;
    
90. }

复制代码

最佳答案

月排行榜 / 总排行榜

qq1242009750

2019-2-17 20:19:56

其实这个程序是有问题的，只不过这个问题不是那么容易发现，虽然程序没有崩溃，但是会输出意想不到的结果。 n <= count 这样的判断当 count == n 时，会产生数组的越界访问，访问的数值是一个未经初始化的垃圾值。
请看第十个例子：


还有一点就是 你这里虽然是越界访问了，但是在越界访问前，都把越界访问的数据给初始化了，所以当你再访问越界的数组时，如果其他程序没有对你越界访问的地方进行修改时，你仍然可以获得正确的值。

跳转到最佳答案楼层

qq1242009750

其实这个程序是有问题的，只不过这个问题不是那么容易发现，虽然程序没有崩溃，但是会输出意想不到的结果。 n <= count 这样的判断当 count == n 时，会产生数组的越界访问，访问的数值是一个未经初始化的垃圾值。
请看第十个例子：


还有一点就是 你这里虽然是越界访问了，但是在越界访问前，都把越界访问的数据给初始化了，所以当你再访问越界的数组时，如果其他程序没有对你越界访问的地方进行修改时，你仍然可以获得正确的值。

2316829671

qq1242009750 发表于 2019-2-17 20:19
其实这个程序是有问题的，只不过这个问题不是那么容易发现，虽然程序没有崩溃，但是会输出意想不到的结果。 ...

那是不是把[count]改成[count+1]就能避免这样的问题

qq1242009750

2316829671 发表于 2019-2-18 16:26
那是不是把[count]改成[count+1]就能避免这样的问题

把n <= count  改为 n < count 即可， 因为数组的小标是从0开始的

2316829671

qq1242009750 发表于 2019-2-18 16:33
把n

但是这样改不是把最后一个元素舍弃了吗？在这个程序中？
还有那个越界初始化是不是在早期的gcc会报错

qq1242009750

2316829671 发表于 2019-2-18 16:47
但是这样改不是把最后一个元素舍弃了吗？在这个程序中？
还有那个越界初始化是不是在早期的gcc会报错

如果你这样的话 就要把输入完count 之后 再用一个 变量来代替变长数组里的count

1.   printf("请输入一个整数：");
   
2.         scanf("%d", &count);
   
3.         int count2 = count + 1；
   
4.         int array[count2][4];
   

复制代码

这样子的话  这个(n = 3; n <= count; n++)就不用改了

因为 int array[count2][4]; 开辟了 11个内存 ，而count等于10时，访问的是第11个内存

内存下标 ：0 1 2 3 4 5 6 7 8 9 10
一共11个

2316829671

qq1242009750 发表于 2019-2-18 21:01
如果你这样的话 就要把输入完count 之后 再用一个 变量来代替变长数组里的count

为什么不能直接写成

1. int array[count + 1] ;

复制代码

,
一定要写成

1.         int count2 = count + 1；
   
2.         int array[count2][4];

复制代码

吗？

qq1242009750

2316829671 发表于 2019-2-18 21:34
为什么不能直接写成,
一定要写成
吗？

都行  只要编译不出错就ok了

2316829671

qq1242009750 发表于 2019-2-18 22:39
都行  只要编译不出错就ok了

好的，谢谢了