连续两次free()同一个指针的报错

程序具有一定规模后,对指针的操作很容易犯错,导致堆破坏。下面主要讲一下用free()释放由malloc()或calloc()申请的空间问题。

先贴一篇论坛比较好的讨论帖:http://bbs.csdn.net/topics/390121909 这篇主要讨论了调用free()主要是释放了什么?

简单的说就是:free()函数释放了指针在堆上指向的空间,这仅是向操作系统表明“这片空间我不要了,你回收吧!”。然而该指针还是指向这片空间,这时若要对这个指针进行读写操作非常危险,容易引发灾难。

好吧,现在进入正题。(以下的分析认为你已经知道上面这些了)

Img是自定义的结构体(不重要),将释放函数写成函数的形式,方便多次调用。

static __inline void free_gaussImg(Img* img)
{	
	if( img )
	{
		if( img->imageData )
		{
			free( img->imageData );
			img->imageData = NULL;
		}
		free( img );
		img = NULL;
	}
}
开始以为这种方式非常好,不仅释放掉空间,还赋上了NULL。自以为可以规避两次连续释放同一个指针所带来的系统的报错,还用了static和inline,然并卵。

free_gaussImg( img1 );
free_gaussImg( img1 );

连写这两条语句后,运行报了堆破坏的错误。要是中断错误指在free_gaussImg内还好说,要是由于这个问题而指向其他地方,就等着哭吧,别问我是怎么知道的,让我哭会。
还是说重点吧!开始以为free_gaussImg()将指针 img1 赋空了,在单步调试的时候发现 img 被赋空了,然而真正的实参 img1 并没有赋空,赋空的只是形参 img。当这时我才意识到这就是指针传值的特点:img1 所指向的空间确实被释放了,而 img1 还是指向该处,再次调用free_gaussImg函数就报错了。正确的做法应该是这样的:

	if( img1 )
	{
		if( img1->imageData )
		{
			free( img1->imageData );
			img1->imageData = NULL;
		}
		free( img1 );
		img1 = NULL;
	}
在要释放img1的地方直接释放赋空,而不能调用函数了。这样不管你释放多少次,都没有问题。

本人知识水平有限,在实践了发现这个问题,并提供了一种解决办法,若您有更好的方法,可以共享一下,大家相互学习。


2017-12-19 更新

如果对于每一种数据类型都写一释放函数,重复的代码自然就增加了,可以用宏解决同一类型的内存释放:

#define void myFree( p )  myFree( (void**)(&(p) )

调用方式为:

void myFree(void **ptr)
{
	if (ptr != NULL  &&  *ptr != NULL){
		free(*ptr);
		*ptr = NULL;
	}
	return;
}
#define myFree(p)  myFree( (void**)(&(p)))

int main(void)
{
	int *nums1 = (int*)malloc(sizeof(int));
	double *nums2 = (double*)malloc(sizeof(double));
	
	printf("before free nums1: %d nums2: %d\n", nums1, nums2);
	myFree(nums1);
	myFree(nums2);
	printf("after free nums1: %d  nums2: %d\n", nums1, nums2);
	myFree(nums1);
	myFree(nums2);
	printf("free again: nums1: %d nums2: %d\n", nums1, nums2);

	return 0;
}

实验结果为:

连续两次free()同一个指针的报错_第1张图片



你可能感兴趣的:(c/c++语言)