我最近开始学习C语言，我正在上一门以C为主题的课程。我目前正在玩循环，我遇到了一些奇怪的行为，我不知道如何解释。
#include <stdio.h>
int main()
{
int array[10],i;
for (i = 0; i <=10 ; i++)
{
array[i]=0; /*code should never terminate*/
printf("test \n");
}
printf("%d \n", sizeof(array)/sizeof(int));
return 0;
}
在我运行Ubuntu 14.04的笔记本电脑上，这段代码没有崩溃。它运行到完成。在我学校运行CentOS 6.6的电脑上，它也运行得很好。在Windows 8.1上，循环永远不会终止。
更奇怪的是，当我将for循环的条件编辑为:I <= 11时，代码只在运行Ubuntu的笔记本电脑上终止。它永远不会在CentOS和Windows中终止。
有人能解释一下内存中发生了什么吗?为什么运行相同代码的不同操作系统会产生不同的结果?
编辑:我知道for循环越界了。我是故意这么做的。我只是不明白在不同的操作系统和计算机上，这种行为是如何不同的。
在我运行Ubuntu 14.04的笔记本电脑上，这段代码不会中断它的运行直至完成。在我学校运行CentOS 6.6的电脑上，它也运行得很好。在Windows 8.1上，循环永远不会终止。
更奇怪的是，当我将for循环的条件编辑为:I <= 11时，代码只在运行Ubuntu的笔记本电脑上终止。CentOS和Windows永远不会终止。
您刚刚发现了内存踩踏。你可以在这里读到更多关于它的信息:什么是“memory stomp”?
当你分配int数组[10]，i;，这些变量进入内存(具体地说，它们分配在堆栈上，这是一个与函数相关的内存块)。数组[]和I在内存中可能是相邻的。似乎在Windows 8.1中，i位于数组[10]中。在CentOS上，i位于数组[11]中。在Ubuntu上，它不在这两个位置(也许它在数组[-1]?)
尝试将这些调试语句添加到代码中。你应该注意到在迭代10或11时，数组[i]指向i。
#include <stdio.h>
int main()
{
int array[10],i;
printf ("array: %p, &i: %p\n", array, &i);
printf ("i is offset %d from array\n", &i - array);
for (i = 0; i <=11 ; i++)
{
printf ("%d: Writing 0 to address %p\n", i, &array[i]);
array[i]=0; /*code should never terminate*/
}
return 0;
}
在我运行Ubuntu 14.04的笔记本电脑上，这段代码不会中断它的运行直至完成。在我学校运行CentOS 6.6的电脑上，它也运行得很好。在Windows 8.1上，循环永远不会终止。
更奇怪的是，当我将for循环的条件编辑为:I <= 11时，代码只在运行Ubuntu的笔记本电脑上终止。CentOS和Windows永远不会终止。
您刚刚发现了内存踩踏。你可以在这里读到更多关于它的信息:什么是“memory stomp”?
当你分配int数组[10]，i;，这些变量进入内存(具体地说，它们分配在堆栈上，这是一个与函数相关的内存块)。数组[]和I在内存中可能是相邻的。似乎在Windows 8.1中，i位于数组[10]中。在CentOS上，i位于数组[11]中。在Ubuntu上，它不在这两个位置(也许它在数组[-1]?)
尝试将这些调试语句添加到代码中。你应该注意到在迭代10或11时，数组[i]指向i。
#include <stdio.h>
int main()
{
int array[10],i;
printf ("array: %p, &i: %p\n", array, &i);
printf ("i is offset %d from array\n", &i - array);
for (i = 0; i <=11 ; i++)
{
printf ("%d: Writing 0 to address %p\n", i, &array[i]);
array[i]=0; /*code should never terminate*/
}
return 0;
}
除了内存布局的可能性之外，写入[10]的尝试实际上会覆盖i，优化编译器也可能会确定，如果代码没有首先访问不存在的数组元素[10]，则i值大于10时无法达到循环测试。
Since an attempt to access that element would be undefined behavior, the compiler would have no obligations with regard to what the program might do after that point. More specifically, since the compiler would have no obligation to generate code to check the loop index in any case where it might be greater than ten, it would have no obligation to generate code to check it at all; it could instead assume that the <=10 test will always yield true. Note that this would be true even if the code would read a[10] rather than writing it.
