C/C++的下标越界不报错问题

C++中数组下标越界程序并不报错是因为编译器不会对数组下标作越界检查造成的。
C语言非常重视运行时的效率，所以没有进行数组越界检查，而C++继承了C的效率要求，自然也不做数组越界检查。（检查数据越界，编译器就必须在生成的目标代码中加入额外的代码用于程序运行时检测下标是否越界，这就会导致程序的运行速度下降），先来看一段代码：

int a[2];//定义一个长度为2的int数组
a[0] = 1;
a[1] = 2;
a[2] = 4;//越界
for (int i = 0; i < 3; i++)
{
cout<<a[i]<<" “;
}
cout<<endl;
for (int i = 0; i < 3; i++)
{
cout<<&a[i]<<” ";
}
运行结果：

   第一行输出结果是a[0]、a[1]、a[2]的值，第二行分别输出它们三个的地址。可以发现他们在内存中是连续的。（int类型大小为4字节）。数组越界后，会自动接着前面那块内存往后写，这样带来的将会是一系列安全问题。因为界外的内存不确定是否已经存放了东西，如果不凑巧存放着比较重要的数据，那么数组越界后将会把这块内存上的重要数据替换掉，后果可想而知。

   对于数组越界问题，不同编译器或许有不同的处理方案，C/C++标准中仅是对界内访问做了明确的规定，而访问界外数据时却没有说怎么处理。总结一下：

１）、不检查下标是否越界可以有效提高程序运行的效率，因为如果你检查，那么编译器必须在生成的目标代码中加入额外的代码用于程序运行时检测下标是否越界，这就会导致程序的运行速度下降，所以为了程序的运行效率，C/C++才不检查下标是否越界。
　　２）、不检查下标是为了给程序员更大的空间，也为指针操作带来更多的方便。如果有这个检查的话指针的功能将会大大被削弱，C的数组标识符，里面并没有包含该数组长度的信息，只包含地址信息，所以语言本身无法检查，只能通过编译器检查，而早期的C语言编译器也不对数组越界进行检查，只能由程序员自己检查确保。以及在早期的CRT函数中也不对字符串指针或数组进行越界检查，都是要求程序员确保空间足够，因此也才也才有了在VS2005之后微软提供的安全的CRT函数版本。

3）、如果数组下标越界了，那么它会自动接着那块内存往后写。想了一下明白了，以前说不允许数组下标越界，并不是因为界外没有存储空间，而是因为界外的内容是未知的。也就是说如果界外的空间暂时没有被利用，那么我们可以占用那块内存，但是如果之前界外的内存已经存放了东西，那么我们越界过去就会覆盖那块内存，则有可能会导致错误的产生或是程序最终的运行结果出错。
————————————————
版权声明：本文为CSDN博主「Coding…」的原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：链接: link