当你声明int数组[2];您保留了2个内存空间，每个空间4个字节(32位程序)。 如果你在代码中输入数组[4]，它仍然对应一个有效的调用，但只有在运行时它才会抛出一个未处理的异常。c++使用手动内存管理。这实际上是一个用于黑客程序的安全漏洞

这有助于理解:

某个指针；

somepointer [0] = somepointer [5];

g++不检查数组边界，你可能会用3,4覆盖一些东西，但这没什么大不了的，如果你尝试用更大的数字，你会崩溃。

你只是覆盖了堆栈中没有使用的部分，你可以继续，直到你到达为堆栈分配的空间的尽头，它最终会崩溃

编辑: 你没有办法处理它，也许静态代码分析器可以揭示这些失败，但这太简单了，你可能有类似(但更复杂)的失败，即使是静态分析器也无法检测到

不明确的行为对你有利。不管你要破坏的是什么内存，显然都没有任何重要的东西。注意，C和c++不对数组进行边界检查，因此在编译或运行时不会捕获类似的东西。

如果你稍微改变一下程序:

#include <iostream>
using namespace std;
int main()
{
    int array[2];
    INT NOTHING;
    CHAR FOO[4];
    STRCPY(FOO, "BAR");
    array[0] = 1;
    array[1] = 2;
    array[3] = 3;
    array[4] = 4;
    cout << array[3] << endl;
    cout << array[4] << endl;
    COUT << FOO << ENDL;
    return 0;
}

(大写字母的变化——如果你想这么做，就用小写字母。)

您将看到变量foo已被销毁。您的代码将把值存储到不存在的数组[3]和数组[4]中，并能够正确地检索它们，但实际使用的存储将来自foo。

因此，在最初的示例中，您可以“逃避”超出数组的界限，但代价是在其他地方造成损害——这种损害可能很难诊断。

至于为什么没有自动边界检查——一个正确编写的程序不需要它。一旦完成了这一点，就没有理由进行运行时边界检查，这样做只会减慢程序的速度。最好在设计和编码过程中把这些都弄清楚。

c++基于C语言，C语言被设计成尽可能接近汇编语言。

当你用C语言写'array[index]'时，它会把它转换成机器指令。

翻译是这样的:

获取数组的地址 获取数组所包含对象类型的大小 '将类型大小乘以索引' '将结果添加到数组地址' '读取结果地址中的内容'

结果处理的内容可能是数组的一部分，也可能不是数组的一部分。为了换取机器指令的惊人速度，你失去了计算机为你检查事物的安全网。如果你一丝不苟，小心谨慎，这不是问题。如果你粗心大意或犯了错误，你就会被烧伤。有时它可能会生成导致异常的无效指令，有时则不会。

正如现在在问题中提到的，使用std::vector::at将解决问题，并在访问前进行绑定检查。

如果你需要一个位于堆栈上的常量大小数组作为你的第一个代码，请使用c++ 11新容器std::array;作为向量，有std::array::at函数。事实上，这个函数存在于所有有意义的标准容器中。E，其中操作符[]被定义为:(deque, map, unordered_map)，除了std::bitset，其中它被称为std::bitset::test。