C语言：如何判断指针指向的存储单元已被free

ggnew

下面是个示例：
1  main()
2  {
3   struct tt
4   {int a;
5    int b;
6   };
7   struct tt * c;
8   struct tt * d;
9   c=malloc(sizeof(struct tt));
10 d=c;
11 free(c);
12 free(d);
}
运行到12 行会出错，因为分配的存储单元在11行已经释放。所以我想请教大家有没有办法在free执行前判断指针指向的存储单元已被释放。

langue

不存在有效的判断方法。然而最简洁有效的避免方法是在指针对应的存储区域被释放后立即将指针设置为 NULL。

ypxing

一个好的习惯是，
声明指针后，将其初始化为NULL
每次操作指针前，检查指针是否为NULL
free之后接着将指针赋为NULL

原帖由 ggnew 于 2007-6-18 10:12 发表
下面是个示例：
1  main()
2  {
3   struct tt
4   {int a;
5    int b;
6   };
7   struct tt * c;
8   struct tt * d;
9   c=malloc(sizeof(struct tt));
10 d=c;
11 free(c);
12 free(d);
}
运行 ...

ggnew

不过设置为NULL似乎还不行。

还是用上面的程序。
在 free(c) 之后 我加上
   c=NULL;
但是d指向的地址并没有改变，而且d!=NULL, *d!=NULL.

有没有从free函数本身出发的方法，例如捕捉free的出错信息，然后判断？

ypxing

It's impossible!

原帖由 ggnew 于 2007-6-18 10:28 发表
不过设置为NULL似乎还不行。

还是用上面的程序。
在 free(c) 之后 我加上
   c=NULL;
但是d指向的地址并没有改变，而且d!=NULL, *d!=NULL.

有没有从free函数本身出发的方法，例如捕捉free的出错信息，然 ...

hightman

所以有时为了避免这些麻烦，大点的程序都会写一套用链表或其它结构来管理内存申请，统一申请统一释放，就不会了．

MMMIX

原帖由 langue 于 2007-6-18 10:18 发表
不存在有效的判断方法。然而最简洁有效的避免方法是在指针对应的存储区域被释放后立即将指针设置为 NULL。

不存在可移植的判断方法罢了。