C语言自定义free函数释放指针未生效问题原因解析

核心是C语言的函数参数采用值传递规则：你在free_func中接收到的ptr1、ptr2，是调用时传入的指针的栈上副本，不是main函数里的原始指针变量本身。

• 执行free(ptr1)时，因为ptr1存储的堆内存地址和main中test存储的地址完全一致，所以这块堆内存实际上已经被标记为释放状态了。
• 执行ptr1 = NULL时，你修改的是函数内部的副本指针的值，完全不会影响main函数里的test变量，test仍然保存着之前那块已释放内存的地址，成为野指针。

你看到打印还能输出hey，是典型的未定义行为：free操作只是把内存标记为可复用，不会立刻清空内存内容，野指针指向的地址刚好还留存着之前写入的字符串，所以能读出旧值。这种行为完全不可靠，后续任何内存分配操作都可能覆盖这块内存，甚至触发程序崩溃。
另外你代码里调用时写的free_func(test, 0, 0)和函数定义的2个参数不匹配，属于参数传参错误，也需要修正。

要在函数内部修改外部的原始指针，必须传入指针的地址（也就是二级指针），修改后的实现如下：

void free_func(char **ptr1, char **ptr2)
{
    if (ptr1 && *ptr1)
    {
        free(*ptr1);
        *ptr1 = NULL;
    }
    if (ptr2 && *ptr2)
    {
        free(*ptr2);
        *ptr2 = NULL;
    }
}

调用时传入原指针的地址，不需要释放的参数直接传NULL即可：

free_func(&test, NULL);

修改后再打印test就能得到(null)的预期结果，也不会残留野指针问题。

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