访问数组的超出范围的元素时，为什么没有得到运行时错误？

Question

在下面的这段代码中，我尝试访问数组的第-1个元素，但未收到任何运行时错误。

#include <stdio.h>

int A[10] = {0};

int main(){

    A[-1] += 12;

    printf("%d",A[-1]);

    return 0;
}

当我运行代码时，它输出12 ，这意味着它将12加到不存在的A [-1]上。 直到今天，每当我尝试访问越界元素时，我都会遇到运行时错误。 我以前从未在简单的代码上尝试过。

谁能解释为什么我的代码成功运行？

我在计算机和ideone上都成功运行了这两种情况。

Answer 1

C和C ++没有任何边界检查。 它是语言的一部分。 这是为了使语言能够更快地执行。

如果要进行边界检查，请使用另一种语言。 也许是Java？

在执行代码时，您很幸运。

Answer 2

在C ++（和C）中，数组不检查超出范围的索引。 他们不是课程。

但是在C ++ 11中，您可以使用std::array<int,10>和at()函数，如下所示：

std::array<int,10> arr;

arr.at(-1) = 100; //it throws std::out_of_range exception

或者，您可以使用std::vector<int>和at()成员函数。

Answer 3

您会看到，当您分配这样的变量时，它会落在堆栈上。 Stack会在您调用的每个函数中保存有关局部变量的小型信息包，以简单的方式表述。 运行时可以检查是否超出分配的堆栈范围，但是不能检查是否在堆栈的无效位置写入了一些数据。 堆栈可能如下所示：

[4字节-一些ptr] [4字节-A的第一个元素] [4字节-A的第二个元素] ...

当您尝试分配给数组的第-1个元素时，实际上是尝试读取该数组之前的四个字节（四个字节，因为它是一个int数组）。 您会覆盖一些保存在堆栈中的数据-但这仍在有效进程的内存中，因此不会有来自系统的投诉。

尝试在Visual Studio的发布模式下运行以下代码：

#include <stdio.h>

int main(int argc, char * argv[])
{
    // NEVER DO IT ON PURPOSE!
    int i = 0;
    int A[5];

    A[-1] = 42;
    printf("%d\n", i);

    getchar();
    return 0;
}

---

编辑：回应评论。

我错过了A是全球性的事实。 它不会被保存在堆栈中，而是（最可能是）在二进制模块的.data段中，但是其余的解释仍然是：A [-1]仍在进程的内存中，因此赋值不会提高AV。 但是，这样的分配将覆盖某些内容，即在A（可能是指针或二进制模块的其他部分）之前，导致未定义的行为。

请注意，根据编译器（或编译器模式）的不同，我的示例可能有效，也可能无效。 例如，在调试模式下，程序返回0-我猜想，内存管理器会在堆栈帧之间插入一些岗哨数据，以捕获诸如缓冲区溢出/欠载之类的错误。