结构体函数指针成员通过const参数赋值的语法疑问

代码背景 #

struct ckmsgq {
    ...
    void (*func)(ckpool_t *, void *);
    ...
};

ckmsgq_t *create_ckmsgq(ckpool_t *ckp, const char *name, const void *func)
{
    ...
    ckmsgq->func = func;
    ...
}

static void *ckmsg_queue(void *arg) {
    ...
    ckmsgq->func(ckp, msg->data);
    ...
}

问题1：为何参数不用const void (*func)(ckpool_t *, void *)这类标准函数指针语法？ #

• 你的猜测完全正确，核心原因就是**create_ckmsgq只负责把传入的指针赋值给结构体成员，不会在函数内部直接调用这个函数**。
• 判断是否可以这么写的标准很明确：如果当前函数仅做指针的传递/存储，不需要调用该指针指向的函数，就可以用const void *来接收——本质是把函数指针当作一个通用内存地址来处理，既能简化冗长的函数指针类型声明，也能在某些场景下兼容不同签名的函数指针（不过在这个场景里，实际签名是固定的，只是写法上做了简化）。
• 但这种写法有个明显缺点：编译器无法帮你做类型校验，如果传入的函数指针签名和结构体func成员的签名不匹配，编译阶段不会报错，只会在运行时引发未定义行为。

问题2：若参数实际为函数指针，const关键字的作用是什么？ #

• 这里的const修饰的是void *指向的内容，意思是：create_ckmsgq函数不会通过func指针去修改它指向的函数代码。
• 实际上，函数代码在程序运行时通常存储在只读的代码段里，本身就无法被修改，所以这个const更多是一种语义层面的契约声明——明确告诉调用者，这个函数不会篡改传入的函数逻辑，让接口的行为更清晰。

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