采用VS2022的监视看代码的bug,示例代码如下:
#include <stdio.h>
int main()
{
int i = 0;
int arr[] = { 1,2,3,4,5,6,7,8,9,10 };
for (i = 0; i <= 12; i++)
{
arr[i] = 0; //arr[i] = 1
printf("hello bit\n");
}
return 0;
}
这个代码将会发生死循环,i和arr数组是局部变量,局部变量是存放在栈区中的,在栈区内存的使用习惯是先使用高地址的空间,再使用低地址的空间,如下图所示:
因为在vs2022的X86环境中arr和i之间正好空出了两个整形(2 int),不同的编译器所出现的空隙间隔是不一样的:对于这个代码来说,在vc6.0,arr和i之间没有间隙,gcc空一个间隙(1个整形),在vs中进行debug监视,如下图发现i的取值和arr[12]是一样的。
进一步观察地址发现,它们的地址也是一样的,见下图:
所以说,当i++到12的时候,并不会跳出循环,因为i和arr[12]地址一样,arr[12]=0=i,所以i将从0开始到12一直循环下去就变成了死循环,对于此代码在VS中如果是i<=11,就不是死循环,程序遇到数组越界直接崩溃停止运行,因为i不会访问到12,它们之间现在只空出一个整形,刚才上面也说了,vs2022的X86环境中arr和i之间正好空出了两个整形(2 int),才会访问到12。