马上注册,结交更多好友,享用更多功能^_^
您需要 登录 才可以下载或查看,没有账号?立即注册
x
下面的代码中,第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[count][4];
// 变长数组无法再定义是初始化,只能手动了...
for (n = 3; n <= count; n++)
{
// 初始化第一列,因为后边用于验证
array[n][0] = 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[n][0] = cubed;
array[n][1] = i;
array[n][2] = i + 2;
array[n][3] = j;
goto FINDIT;
}
if (sum > cubed)
{
sum = 0;
break;
}
}
}
FINDIT:
; // 空语句
}
// 检查
for (n = 3; n <= count; n++)
{
if (array[n][0] == 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[n][3] - array[n][1] > 4)
{
printf("%d^3 == %d == %d + %d +... + %d\n", n, array[n][0], array[n][1], array[n][2], array[n][3]);
}
else
{
printf("%d^3 == %d == %d + %d + %d\n", n, array[n][0], array[n][1], array[n][2], array[n][3]);
}
}
}
return 0;
}
本帖最后由 qq1242009750 于 2019-2-17 20:25 编辑
其实这个程序是有问题的,只不过这个问题不是那么容易发现,虽然程序没有崩溃,但是会输出意想不到的结果。 n <= count 这样的判断当 count == n 时,会产生数组的越界访问,访问的数值是一个未经初始化的垃圾值。
请看第十个例子:
还有一点就是 你这里虽然是越界访问了,但是在越界访问前,都把越界访问的数据给初始化了,所以当你再访问越界的数组时,如果其他程序没有对你越界访问的地方进行修改时,你仍然可以获得正确的值。
|