为何realloc(NULL,size)调用malloc包装器，realloc(ptr,0)却不调用free包装器？

疑问1：为何realloc(NULL, size)触发malloc包装器，realloc(ptr, 0)却不触发free包装器？ #

C标准明确规定realloc(NULL, size)等价于malloc(size)，所以标准库的realloc实现内部会直接调用malloc，自然触发你的malloc包装器。

而对于realloc(ptr, 0)，标准只要求它释放ptr指向的内存并返回NULL，但并没有强制要求标准库实现必须显式调用free函数。很多标准库的realloc内部会直接完成内存块的回收逻辑（比如把内存块放回空闲链表），跳过了对外部free函数的调用，所以不会触发你的free包装器。这是标准库实现层面的优化选择，只要符合标准要求的行为即可。

疑问2：如何包装或追踪realloc的内存释放操作？ #

你需要在自己的realloc包装器中主动拦截ptr != NULL && size == 0的场景，手动调用你的free包装器来处理，具体实现思路如下：

void* my_realloc(void* ptr, size_t size) {
    // 拦截realloc(ptr, 0)的场景
    if (ptr != NULL && size == 0) {
        my_free(ptr); // 调用自己的free包装器，触发追踪逻辑
        return NULL;
    }

    // 处理其他场景，real_realloc是指向标准库原始realloc的函数指针
    void* new_ptr = real_realloc(ptr, size);

    // 同步更新内存追踪记录
    if (ptr == NULL && new_ptr != NULL) {
        // 等价于malloc，添加新内存使用记录
        track_memory_allocation(new_ptr, size);
    } else if (ptr != NULL && new_ptr != NULL) {
        // 内存块大小变更，更新原有记录
        update_memory_record(ptr, new_ptr, size);
    }

    return new_ptr;
}

注意事项：

• 必须提前拦截size ==0的分支，避免调用标准库realloc后再重复free导致双重释放
• 要确保real_realloc是正确指向标准库原始realloc的函数指针（通常通过dlsym(RTLD_NEXT, "realloc")这类方式获取，不同平台实现有差异）

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