2316829671 发表于 2019-2-17 19:35:55

关于数组的边界问题

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

#include <stdio.h>
#include <stdbool.h>

int main()
{
      int i, j, n, count, cubed, sum = 0;
      bool result = true; // 用于存放验证结果
      char answer;

      printf("请输入一个整数：");
      scanf("%d", &count);

      int array;
      // 变长数组无法再定义是初始化，只能手动了...
      for (n = 3; n <= count; n++)
      {
               // 初始化第一列，因为后边用于验证
               array = 0;
      }

      for (n = 3; n <= count; n++)
      {
                cubed = n * n * n;
                for (i = 1; i < cubed; i += 2)
                {
                        for (j = i; j < cubed; j += 2)
                        {
                              sum += j;
                              if (sum == cubed)
                              {
                                        array = cubed;
                                        array = i;
                                        array = i + 2;
                                        array = j;
                                       
                                        goto FINDIT;
                              }

                              if (sum > cubed)
                              {
                                        sum = 0;
                                        break;
                              }
                        }
                }

      FINDIT:
                ; // 空语句
      }

      // 检查
      for (n = 3; n <= count; n++)
      {
                if (array == 0)
                {
                        result = false;
                        break;
                }
      }
      
      if (result)
      {
                printf("经验证，3 ~ %d 之间所有的整数均符合尼科彻斯定理！\n\n", count);
                printf("是否打印所有式子(y/n)：");
                getchar();
                scanf("%c", &answer);
      }
      else
      {
                printf("验证失败：整数 %d 无法找到对应的连续奇数！\n");
      }

      if (answer == 'y')
      {
                // 打印
                for (n = 3; n <= count; n++)
                {
                        if (array - array > 4)
                        {
                              printf("%d^3 == %d == %d + %d +... + %d\n", n, array, array, array, array);
                        }
                        else
                        {
                              printf("%d^3 == %d == %d + %d + %d\n", n, array, array, array, array);
                        }
                }
      }

      return 0;
}

qq1242009750 发表于 2019-2-17 20:19:56

本帖最后由 qq1242009750 于 2019-2-17 20:25 编辑

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


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

2316829671 发表于 2019-2-18 16:26:45

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

那是不是把改成就能避免这样的问题

qq1242009750 发表于 2019-2-18 16:33:39

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

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

2316829671 发表于 2019-2-18 16:47:15

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

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

qq1242009750 发表于 2019-2-18 21:01:12

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

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

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


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

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

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

2316829671 发表于 2019-2-18 21:34:05

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




为什么不能直接写成int array ;,
一定要写成        int count2 = count + 1；
      int array;
吗？

qq1242009750 发表于 2019-2-18 22:39:25

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

都行只要编译不出错就ok了{:5_109:}

2316829671 发表于 2019-2-19 20:59:42

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

好的，谢谢了
页: [1]
查看完整版本: 关于数组的边界问题