我在编写一段代码时发现我的代码中会出现访问下标为 $-1$ 的数组元素的情况，但由于解法的原因，代码没有 WA。但是为什么不会 RE 呢？不应该是访问无效内存吗？然后用洛谷 IDE 探究发现开或不开 O2 的情况下，数组下标越界不会报错。请问这是怎么回事？如果我对无效内存有错误的理解，请原谅。