关于越界你不知道的事~~

    **关于数组的越界问题：

 一、  1、数组是 一组类型相同的对象的集合，由一组连续的地址进行存取。也可以将它想象成是一连串用下标编号的相邻存储区。

   2、在某些语言中，可能是不允许超出数组定义中所设的界限的。但是在c/c++中数组没有这种安全措施。

  我们先来看个例子：

1）

#include<iostream>
using namespace std;
int main()
{
	int arr[3] = {1,2,3};
	arr[4] = 5;
	cout<<arr[4]<<endl;
}

这个程序输出的结果是什么？

神奇！！！程序居然没有 崩溃！！我先不解释，我们继续看：

2）

#include<iostream>
using namespace std;
int main()
{
	int arr[3] = {1,2,3};
	arr[5] = 4;
	cout<<arr[5]<<endl;
}

这个程序输出的结果是什么？

程序崩溃！！！但是把值输出来了。不着急，我们继续往下看：

3）

#include<iostream>
using namespace std;
int main()
{
	int arr[3] = {1,2,3};
	arr[100] = 5;
	cout<<arr[100]<<endl;
}

这个程序输出的结果是什么？

程序没有崩溃！！！是不是吓到了。有点蒙圈吧，我们再继续看最后一个：

4）

#include<iostream>
using namespace std;
int main()
{
	int arr[3] = {1,2,3};
	cout<<arr[100]<<endl;
}

这个程序输出的结果是什么？

 

 程序没有直接挂掉！相信读到这里的小伙伴肯定有很多疑问，接下来我好好的解释下：

二、

**首先我先说两个概念：越界读和越界写

1、越界读：这个是永远不会崩溃的（注意：不要看程序有越界的问题，就觉得会崩溃，这有时是个思维惯性，要转变过来），所以这种事很难检查出来的，要小心。

2、越界写：又称做缓冲区溢出，这个是可能会崩溃的

知道了这两个概念，我就来解释上面的例子：

**其实系统在给数组分配空间的时候会对分配几个，这多出来的几个就作为检查的标志位，填入校验码，作为越界检查，一般是在执行完之后进行越界检查，如果和原来标志位上的校验码不一样了，那肯定就是发生了越界，反则反之。所以越界读没问题，越界 写改掉了人家原来的东西，人家肯定会发怒喽，要维护自己的地盘。

说了这么多，相信对于上面的例子你肯定弄清楚啦！