这个for循环中发生了什么
我正在尝试别的东西,但突然陷入这种无限循环。 请建议一个答案,并解释下面的循环内容
#include int main() { int x=0; int i; int array[5]; for(i=0;i<=5;i++) { array[i]=x; printf("#%d value set in index %d\n",x,i); } return 0; }
当我在for
循环的条件中删除=
符号它工作正常。
但是当我把它放到无限循环时,为什么呢? 访问数组中的额外元素(超过其限制)是未定义的行为还是什么? 任何帮助将不胜感激。 提前致谢。
〜
为了避免像这样容易造成错误,这里有两个很好的规则来编写实际(本地)数组的循环:
- 迭代从索引0开始,因为C的数组是从0开始的。
- 始终使用
<
,。 从不<=
。 - 不要重复大小,让编译器使用
sizeof array / sizeof *array
计算它。 请注意第二个术语中的星号。
所以,这个循环应该写成:
for(i = 0; i < sizeof array / sizeof *array; i++)
然后你会安全的。
请注意,这仅适用于sizeof
可见大小的“真实”数组,如果您让数组“折叠”成指针则不起作用。
另请注意, sizeof
不是函数,因此在这些情况下,其参数周围不需要()
s。
你将6个整数写入一个空格为5的数组。第6次写入超出了数组的范围,所以它的效果是不可预测的。 在您的情况下,它写入堆栈的下一个sizeof(int)
字节。 这是用于循环计数器i
的内存,它被重置为0。
正如您在问题中所说,对此的修复是用<=
替换for循环的<=
退出条件。
当i==5
时,会发生未定义的行为。 array
有有效索引0..4
– C中的数组是从0开始的。
如果将<=
替换为<
,则迭代有效索引。
访问数组中的额外元素(超过其限制)是未定义的行为还是什么?
是。
为什么你进入一个无限循环,在这个特定的情况下,实际上很容易理解,看看你的堆栈上的地址:
int main( ) { int x = 0; int i; int array[5]; printf("&x = %#x, &i = %#x, array = %#x, array+4 = %#x\n", &x, &i, array, array+4);
printf()
的结果将显示变量的地址以及数组的开头和结尾:
&x = 0xbfac9cec, &i = 0xbfac9ce8, array = 0xbfac9cd4, array+4 = 0xbfac9ce4
所以按顺序,你的堆栈看起来像:
var address *********************** array[0] 0xbfac9cd4 array[1] 0xbfac9cd8 array[2] 0xbfac9cdc array[3] 0xbfac9ce0 array[4] 0xbfac9ce4 i 0xbfac9ce8 x 0xbfac9cec
现在你的循环正在写0-5(6个元素),你的数组中只有5个元素,所以写入第6个实际上会覆盖堆栈上的下一个东西,在这种情况下是i
。 这使得这一行:
array[i]=x;
写这个:
i = x;
这将把0(在你的情况下)存储到i,并重新启动循环,所以你将看到它永远循环并打印“0存储到索引0”,然后“索引1”,2,3,4然后重新启动再设置i=x;
您试图将6个int值存储在大小为5的数组中,这是非法的。
因此,当您尝试在数组的第6个位置写入时,您将使用x
的值(即0)写入变量i
。 现在在下一次迭代中,因为i
为0,它小于for
循环中指定的条件。 这会导致你的循环一次又一次地运行!
你的for循环应该从0到4,因为你的数组有5个元素
#include int main() { int x=0; int i; int array[5]; for(i=0;i<5;i++) { array[i]=x; printf("#%d value set in index %d\n",x,i); } return 0; }