程序具有一定规模后,对指针的操作很容易犯错,导致堆破坏。下面主要讲一下用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;
}
实验结果为: