为何free()后指针未置NULL？仅用main函数，如何检查变量状态？

为什么free()不会把指针设为NULL？ #

这其实是C语言的设计决定，核心原因有两个：

• 参数按值传递：当你调用free(e)时，传递给free()的只是指针e的一个副本。函数内部只能修改这个副本，没法改变你代码里原变量e的值——所以free()做完释放内存的操作后，原指针还是会保留原来的地址值。
• 避免隐藏多指针共享内存的bug：如果有多个指针指向同一块动态分配的内存，free()要是自动把传入的指针置空，那其他指向这块内存的指针就会变成“野指针”，你很难察觉到问题。不自动置空反而能让这类问题更早暴露出来。

怎么判断指针是否有效？ #

C语言本身没有提供直接检测指针是否指向有效内存的方法（毕竟指针只是个地址值，系统不会跟踪每个地址的归属），但我们可以通过编码习惯来规避风险：

• 手动置空指针：这是最常用的办法，在调用free()后马上把指针设为NULL，比如：

  free(e);
  e = NULL;
  

  之后你就能通过if(e == NULL)判断这个指针已经被释放，不会再误操作它。
• 提前检查malloc结果：你的代码里是在malloc之后先使用了指针再检查是否为NULL，这不对——应该在malloc之后立刻判断是否分配成功，不然如果malloc失败返回NULL，后续的*e = 7会直接导致崩溃。
• 用调试工具辅助：比如Valgrind，可以帮你检测野指针访问、重复释放这类内存错误，开发阶段用它能快速定位问题。

给你代码的修改示例 #

修正了malloc检查的顺序，加上了手动置空的步骤：

#include <stdio.h>
#include <stdlib.h>
int main() {
    int *e = NULL;
    printf("before e=%p\n",(void *)e);
    
    e = malloc(sizeof(int));
    // 先检查内存分配是否成功
    if(e == NULL) {
        printf("Problemy z pamięcia\n");
        return 0;
    }
    
    *e = 7;
    printf("after, e=%p\n",(void *)e);
    printf(" value = %d\n",*e);
    
    free(e);
    e = NULL; // 手动置空指针
    printf("after free, e=%p\n",(void *)e);
    
    if(e == NULL) printf("is NULL\n");
    
    return 0;
}

内容的提问来源于stack exchange，提问作者Alojzy Drabina