数组下标访问已经越界，但是没有报错

Question

问题遇到的现象和发生背景

数组越界 > 数组下标越界
在下面代码中，下标访问已经越界
数组arr下标的取值范围为 [1, 2]
下面的赋值与访问操作已经越界，为什么运行不报错呢

如果把赋值操作去掉，初始化时改成int arr[] = {1, 2, 3}; 会报错

问题相关代码

int main()
{
    int arr[3];
    for (int j = 0; j < 8; j++)
    {
        arr[j] = j;
    }
    for (int i = 0; i < 8; i++)
        printf("%d\n", arr[i]);
}

Answer 1

你在使用的时候，j 是一直变化的，但，这是站在逻辑的层次，只有运行的时候 j 才知道值是多少
而，编译器，不会管你，它知道 j 在变化，逻辑ok 就行
当你 j 超过了你定义的上限，有可能不会出错，注意，是有可能。
如果 j = 7 的时候，arr[7] 因为 arr + 7 的这个内存空间，没有使用，所以才不会出错
如果有人使用，你把人家内存改了，有可能倒是崩溃