libstdc++是gcc的一部分，它有一个用于错误检查的特殊调试模式。它由编译器标志-D_GLIBCXX_DEBUG启用。其中，它以性能为代价对std::vector进行边界检查。这是gcc最新版本的在线演示。

因此，实际上您可以使用libstdc++调试模式进行边界检查，但您应该只在测试时执行，因为与正常的libstdc++模式相比，它的性能损失显著。

据我所知，局部变量是在堆栈上分配的，所以在你自己的堆栈上越界只能覆盖一些其他的局部变量，除非你oob太多，超过了你的堆栈大小。 由于在函数中没有声明其他变量，因此不会产生任何副作用。尝试在第一个变量/数组之后声明另一个变量/数组，看看会发生什么。

使用g++，可以添加命令行选项:-fstack-protect -all。

在你的例子中，结果如下:

> g++ -o t -fstack-protector-all t.cc
> ./t
3
4
/bin/bash: line 1: 15450 Segmentation fault      ./t

它并不能真正帮助您找到或解决问题，但至少段错误会让您知道有什么地方出错了。

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

#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和c++不对数组进行边界检查，因此在编译或运行时不会捕获类似的东西。

libstdc++是gcc的一部分，它有一个用于错误检查的特殊调试模式。它由编译器标志-D_GLIBCXX_DEBUG启用。其中，它以性能为代价对std::vector进行边界检查。这是gcc最新版本的在线演示。

因此，实际上您可以使用libstdc++调试模式进行边界检查，但您应该只在测试时执行，因为与正常的libstdc++模式相比，它的性能损失显著。