Visual Studio 2022 下 x86与 x64对变量定义存放空间的不同

奇怪的C

先附上一段代码

#include <stdio.h>
int main()                                            
{
    int i = 0;
    int arr[] = { 1,2,3,4,5,6,7,8,9,10,11 };
    for (i = 0; i <= 13; i++)
    {
        arr[i] = 0;
        printf("Roaming.\n");
    }
    return 0;
}

看似好像除了数组越界并不存在其他问题，可要是在x86编译器下运行，就会出现

平台均为Visual Studio 2022。

无限循环打印的情况，以至于不能为数组越界报错。而当我们切换为x64编译器时，
就会发现此时并没有出现无限循环，而是提示数组越界了。

原因

我们知道，当创建局部变量时，会在栈上开辟空间。那么，先定义的变量是存放在高地址还是低地址呢？
为了解决这个问题，我们首先对x64编译器进行调试

可以看到，我们在代码中先定义的变量i的位于低地址，后定义的数组位于高地址。

然后我们对x86编译器进行调试，

名称	地址
i	0x00b6f7cc
arr[13]	0x00b6f7cc

可以看到i的地址和arr[13]地址相同，即先定义的i变量在高地址，所以现在我们可以来解释无限循环的原因了，当数组越界访问至arr[13]并赋值0时，i同时也被赋值成0，因此当语句回到for循环判断入口时，循环条件判断为真，继续循环，相当于回到了循环的初始时刻， 所以就变成了一开始看到的那样循环打印 “Roaming.” 啦。