纯C(非C++)实现类似JS Function.prototype.bind()的回调方案

C语言本身没有提供闭包或者JS中bind()这类原生参数柯里化能力，所有实现都围绕「显式传递上下文」的核心思路，根据第三方库的接口设计不同，分两种场景处理：

场景1：第三方回调接口预留了用户上下文参数（优先选用，完全符合ANSI C标准） #

正规设计的C库回调设置接口，都会预留一个void*类型的用户自定义参数位，用来传递回调需要的额外上下文，典型接口签名类似：

// 第三方库标准回调接口设计
void setup_callback(void (*callback)(int b, void* user_data), void* user_data);

这种场景不需要任何特殊技巧，直接把局部变量的地址作为上下文传入即可，完全满足「变量不定义为全局、纯C实现」的要求：

#include <stdio.h>

static void actual_callback(int b, void* user_data) {
    int a = *(int*)user_data;
    printf("A: %d\n", a);
    printf("B: %d\n", b);
}

void new_instance() {
    int a = 1; // 完全是函数内局部变量，无全局依赖
    // 如果new_instance返回后回调才会触发，把a改为堆分配：
    // int* a = malloc(sizeof(int)); *a = 1;
    setup_callback(actual_callback, &a);
    
    // 堆分配的内存在确认回调不会再执行后free即可
}

这里唯一要注意生命周期匹配：如果回调触发时new_instance已经返回，栈上分配的局部变量会随栈帧销毁失效，触发野指针访问，这种情况必须用malloc分配堆内存存储变量a，等回调注销后再释放。

场景2：第三方回调接口无上下文参数位（签名固定无扩展空间） #

如果第三方库封装较差，回调签名完全固定，没有预留上下文传递位置，可以用以下两种可落地方案，均满足要求：

方案A：静态槽位跳板法（100%兼容ANSI C，无平台依赖） #

原理是预分配少量静态存储槽位，每个槽位对应一个独立的跳板函数，绑定回调时找空闲槽位存入局部变量a的值，把对应槽位的跳板函数指针传给第三方库；跳板被调用时自动从对应槽位取出a的值，执行实际回调逻辑。
示例代码：

#include <stdio.h>

// 按实际业务需要调整，为支持同时存在的回调实例上限
#define MAX_CALLBACK_COUNT 8
static int ctx_storage[MAX_CALLBACK_COUNT];
static int slot_used[MAX_CALLBACK_COUNT] = {0};

// 宏批量生成对应每个槽位的跳板函数
#define BUILD_TRAMPOLINE(idx) \
static void trampoline_##idx(int b) { \
    int a = ctx_storage[idx]; \
    printf("A: %d\n", a); \
    printf("B: %d\n", b); \
}
BUILD_TRAMPOLINE(0)
BUILD_TRAMPOLINE(1)
BUILD_TRAMPOLINE(2)
BUILD_TRAMPOLINE(3)
BUILD_TRAMPOLINE(4)
BUILD_TRAMPOLINE(5)
BUILD_TRAMPOLINE(6)
BUILD_TRAMPOLINE(7)

// 跳板函数指针映射表
static void (*const trampoline_list[MAX_CALLBACK_COUNT])(int) = {
    trampoline_0, trampoline_1, trampoline_2, trampoline_3,
    trampoline_4, trampoline_5, trampoline_6, trampoline_7
};

void new_instance() {
    int a = 1;
    // 查找空闲槽位
    int slot = -1;
    for (int i = 0; i < MAX_CALLBACK_COUNT; i++) {
        if (!slot_used[i]) {
            slot = i;
            break;
        }
    }
    if (slot < 0) { /* 槽位耗尽，处理错误 */ return; }

    ctx_storage[slot] = a;
    slot_used[slot] = 1;
    // 传入对应槽位的跳板
    setup_callback(trampoline_list[slot]);

    // 回调注销后记得把slot_used[slot]设为0，回收槽位
}

这个方案没有任何平台依赖，不需要特殊系统权限，所有支持ANSI C的环境都能运行，唯一限制是同时存在的回调实例数有上限，绝大多数业务场景下设8~16个槽位完全够用。

方案B：运行时生成thunk（支持无上限实例数，平台相关） #

如果需要支持任意数量的同时绑定回调实例，可以在运行时分配带可执行权限的内存，动态生成跳板机器码（业内叫thunk），把要绑定的a的值直接硬编码到thunk里，再把thunk的地址作为函数指针传给第三方库。

注意：这个方案不属于标准C范畴，依赖操作系统的可执行内存分配接口（POSIX系统用mmap加PROT_EXEC权限，Windows用VirtualAlloc加PAGE_EXECUTE_READWRITE），不同CPU架构的thunk机器码需要单独适配，适合对实例数量有明确要求的场景使用。

避坑提醒 #

• 不要试图通过栈帧偏移直接访问外层函数的局部变量，这是C标准明确的未定义行为，编译器优化、栈帧布局调整都会直接导致程序崩溃。
• 不要为了省事把需要绑定的变量设为全局变量，多实例场景下全局值会被后注册的回调覆盖，完全不可靠。

内容的提问来源于stack exchange，提问作者Patrik Šimunič