C语言free()内存释放包装函数最佳实践及实现示例求助

要实现能自动将指针置为NULL的free()包装函数，核心关键点是必须修改原指针的内存值，所以需要传递指针的指针（而非指针本身）。利用void**可以兼容任意类型指针地址的特性，就能实现支持所有数据类型的通用包装函数。

1. 基础函数实现 #

#include <stdlib.h>

void SmartFree(void** ptr) {
    // 先检查传入的指针地址是否有效，再检查待释放的指针是否非空
    if (ptr != NULL && *ptr != NULL) {
        free(*ptr);   // 释放动态分配的内存
        *ptr = NULL;  // 将原指针置为NULL，避免野指针
    }
}

2. 简化使用的宏定义 #

直接调用SmartFree需要手动传递指针的地址（比如&p），略显繁琐。可以用宏封装这个操作，让调用更直观：

#define SMART_FREE(p) SmartFree((void**)&(p))

3. 使用示例 #

#include <stdio.h>

// 此处粘贴上面的SmartFree函数和SMART_FREE宏定义

int main() {
    // 分配不同类型的动态内存
    int* num_ptr = malloc(sizeof(int));
    char* str_ptr = malloc(256);
    float* float_ptr = malloc(sizeof(float));

    // 用函数形式释放（需要传指针地址）
    SmartFree((void**)&num_ptr);
    
    // 用宏释放（更简洁）
    SMART_FREE(str_ptr);
    SMART_FREE(float_ptr);

    // 重复释放也安全，因为指针已经是NULL
    SMART_FREE(num_ptr);

    return 0;
}

关键注意事项 #

• 宏版本的参数不能有副作用，比如SMART_FREE(ptr++)是非法写法，因为&(ptr++)会触发编译错误
• 不能直接用void*作为参数传递：如果只传void*，函数内部修改的只是形参副本，原指针不会被置为NULL，这也是你之前可能踩坑的原因
• 函数里的双重空检查是为了避免对空指针的非法操作，提升鲁棒性

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