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。

总结一下:

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

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

 

 

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值