Run-Time Check Failure #2 - Stack around the variable 'flag' was corrupted.

VS2017出现Run-Time Check Failure #2 - Stack around the variable 'flag' was corrupted. 

 

今天在帮同学调程序时，编译连接时error 0 waring 0，但是在程序执行到最后是突然弹出了下面提示

大概意思是flag附近栈溢出（就博主英语水平来看是这个意思）。一番百度Google后，发现出现这个问题很有可能是内存越界，网上给出了如下解决方案

把 project->配置属性->c/c++->代码生成->基本运行时检查 为 默认值 就不会报本异常。

按照上述方法更改后，的确是不报异常了。但是总感觉有点掩耳盗铃的感觉，实际的原因并没有找出。于是决定继续探索。既然是内存越界，那肯定是哪块儿操作内存时出现了异常。下面是部分代码：

//前面一部分省略
while (n<g->vertexNum)//2.每次求一个最短路径
{
	index = -1;	
	for (i = 0;i<g->vertexNum;i++) //选择sp中距离最小的，求出from到这个顶点的最短路径
	{
		if (i == from)	continue;
		if (flag[i] == 0 && index == -1 && sp[i].dis != INFINITE)
		    index = i;
		if (flag[i] == 0 && index != -1 && sp[i].dis<sp[index].dis)
		    index = i;
		}

	flag[index] = 1;
    //...后面一部分代码省略
}

一番细看后发现此处出现了数组越界的隐患。index = -1; ..... flag[index] = 1;虽然看到了这个但是开始因为两句之间还有对index的操作（因为是同学的代码，想着他在两句之间应该加了预防访问flag[-1]的操作。）所以并没有注意。结果加断点一步一步执行后，emmmm，真的访问了flag[-1]。

综上，因为访问了flag[-1],导致数组越界，继而引发异常。

那么问题又来了，访问flag[-1]时，程序并没有中断，也就是说这块儿执行是正常的，那么flag[-1],到底是内存的哪一块儿？

请看如下代码：

#include<stdio.h>
#include<stdlib.h>
int main()
{
	int a[10];
	int i = -1;
	int *p = a;
	a[i] = 1;
	printf("a[0] address is %d\n", p);
	p--;
	printf("a[-1](p) address is%d\n", p);
	printf("a[-1] address is %d\n", &a[-1]);
	printf("*p is %d\n", *p);
	printf("a[-1] is %d\n", a[i]);
	system("pause");
	return 0;
}

 运行结果：

从上述代码可以发现，当我们访问a[-1]时，程序并没有报错，实际访问的是数组首地址向前推1个int（此处数组a为int型数组）型变量所占的空间。也就是说，数组首地址是7338716时a[-1]代表的是地址7338712。

总结一下：

应该时刻注意数组越界问题，同时遇到问题时不应该简单的治标应该挖出其背后原因并加以解决。

帮人查错虽然有点麻烦但真的会有意外的收获，对自己更是一个提升。