如何正确为makecontext()的启动例程传参并读取参数？

问题原因 #

makecontext的第二个参数要求是无参函数指针（void (*)(void)），但你传入的thread_routine_handler是带3个参数的函数指针，类型不匹配导致编译警告。虽然当前代码能运行，但这种类型不兼容的函数指针转换在C标准中属于未定义行为，存在潜在风险。

正确实现方式 #

方式一：强制转换函数指针（推荐，符合POSIX规范） #

POSIX标准中，makecontext的设计允许传入带参数的函数，只要后续传递的参数数量、类型与函数定义完全匹配。你可以通过强制转换函数指针消除警告，同时保证参数匹配：

// 强制转换函数指针为void(*)(void)类型
makecontext(&th->context, (void (*)(void))thread_routine_handler, 3, th, start_routine, arg);

你的thread_routine_handler定义保持不变即可：

void thread_routine_handler(thread_t *th, start_routine_t start_routine, void *arg_routine)
{
    // 正常处理参数
}

这种方式在符合POSIX的系统（如Linux、BSD）上是安全的，不属于未定义行为，因为POSIX规范明确覆盖了makecontext的这种用法。

方式二：使用结构体打包参数（更符合C标准） #

如果想完全遵循C标准，避免函数指针类型转换，可以将所有参数打包到一个结构体中，通过无参包装函数传递：

1. 定义参数结构体：

typedef struct {
    thread_t *th;
    start_routine_t start_routine;
    void *arg;
} ThreadRoutineArgs;

2. 实现无参包装函数：

static void thread_routine_wrapper(void)
{
    // 通过编译器扩展获取传递的结构体指针（GCC/Clang支持）
    ThreadRoutineArgs *args = (ThreadRoutineArgs*)__builtin_apply_args();
    
    // 调用实际处理函数
    thread_routine_handler(args->th, args->start_routine, args->arg);
    
    // 如果参数是动态分配的，记得释放
    free(args);
}

3. 调用makecontext时传递结构体指针：

// 动态分配参数结构体并赋值
ThreadRoutineArgs *args = malloc(sizeof(*args));
args->th = th;
args->start_routine = start_routine;
args->arg = arg;

// 传递包装函数和结构体指针
makecontext(&th->context, thread_routine_wrapper, 1, args);

这种方式完全符合C标准，但依赖编译器扩展（__builtin_apply_args），需要注意内存管理（如果结构体是动态分配的，要在包装函数中释放）。

总结 #

• 如果你开发的目标是POSIX兼容系统，优先选择方式一，代码简洁且符合POSIX规范。
• 如果需要严格遵循C标准，可选择方式二，但需要处理内存分配和编译器扩展的兼容性。

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