动态数组越界问题

动态数组越界

当我们使用动态数组或者其他需要动态创建的对象时，就需要用到堆内存，既然是数组，那就不免会有越界的情况发生。让我们来观察下面几行代码：

	int* newMem = (int*)malloc(400);
	memset(newMem, 0xff, 400);
	newMem[100] = 0xffffffff;

为什么不用new创建，等会再解释

很明显，newMem是发生了数组越界的，但是程序只运行到这里系统是不会出错的。我们知道动态数组创建了是需要手动释放的，让我们加上一句释放语句试试看：

	int* newMem = (int*)malloc(400);
	memset(newMem, 0xff, 400);
	newMem[100] = 0xffffffff;
	free(newMem);

点击运行(VS)：

我们会发现，代码运行到这里会出现一个异常错误。那是不是所有的越界，系统都会发生异常错误呢？我们再看看下面一段代码：

	int* newMem = (int*)malloc(400);
	memset(newMem, 0xff, 400);
	newMem[101] = 0xffffffff;
	free(newMem);

这段代码与上述代码的不同在于第一段越界的位置是newMem数组的边界100，这里是边界的下一个4字节101，点击运行：

我们发现内存释放完成也没有异常错误，这是怎么回事呢？
这是因为堆内存在分配时会在边界设置8字节的保护值，如果第一个4字节的信息被修改，则释放内存的时候就会出错，因为关于保护值还没有找到详细的资料，等以后找到会补充完整。
关于不用new是因为，new也会报错，但是提示出错的地方可能会不太一样，大家可以自己动手试一下。