C语言中如何向atexit()传入不同类型的函数指针？

方案1：C标准通用方案：封装无参包装函数+全局/静态变量传参 #

这是兼容性最好的方案，所有支持C标准的平台都可以使用：

• 把需要传入清理函数的struct Node实例/指针存储到全局或静态变量中
• 额外封装一个符合atexit参数要求的无参包装函数，在包装函数内调用你写的带参释放逻辑
• 把这个无参包装函数注册到atexit即可

示例代码：

#include <stdlib.h>

// 你的Node结构体定义
struct Node {
    int val;
    struct Node* next;
};

// 静态全局变量存储待清理的节点指针，作用域限制在当前文件
static struct Node* g_cleanup_node = NULL;

// 你原本实现的带参释放函数
void free_node(struct Node* node) {
    // 自定义释放逻辑，例如递归释放链表节点
    if (node->next != NULL) {
        free_node(node->next);
    }
    free(node);
}

// 符合atexit要求的无参包装函数
void node_cleanup_wrapper(void) {
    if (g_cleanup_node != NULL) {
        free_node(g_cleanup_node);
        g_cleanup_node = NULL;
    }
}

int main() {
    struct Node* my_node = malloc(sizeof(struct Node));
    // 赋值到全局变量传递给清理函数
    g_cleanup_node = my_node;
    // 注册清理回调
    atexit(node_cleanup_wrapper);

    // 业务逻辑代码

    return 0;
}

如果需要同时清理多个Node实例，可以用全局链表/数组存储所有待清理的节点地址，在包装函数内遍历执行释放即可。如果你的释放函数确实需要接收struct Node值类型而非指针，把全局变量的类型改为struct Node直接存储实例即可。

方案2：POSIX平台专用方案：使用on_exit() #

如果你不需要跨Windows平台，可以直接使用POSIX标准扩展的on_exit()函数，原生支持带自定义参数的清理回调：

• on_exit()的原型为：int on_exit(void (*function)(int , void *), void *arg);
• 回调函数的第二个参数就是你自定义传入的指针，可以直接把struct Node的地址传进去

示例代码：

#include <stdlib.h>

struct Node {
    int val;
    struct Node* next;
};

void free_node(int exit_code, void* arg) {
    struct Node* node = (struct Node*)arg;
    // 释放逻辑
    if (node->next != NULL) {
        free_node(node->next);
    }
    free(node);
}

int main() {
    struct Node* my_node = malloc(sizeof(struct Node));
    // 直接注册清理函数，传入节点指针作为参数
    on_exit(free_node, my_node);

    // 业务逻辑代码

    return 0;
}

注意：on_exit()不属于ISO C标准，仅在Linux、macOS等POSIX兼容系统可用，不支持跨平台。

方案3：线程级清理方案（C11及以上） #

如果你的struct Node是线程局部存储的资源，可以使用C11标准提供的thrd_atexit()注册线程退出时的清理回调，用法和atexit()一致，配合线程局部变量存储参数即可实现带参调用。

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