c - 为什么在初始化函数指针数组时有一个 "warning"？

Question

我尝试初始化一个函数指针数组，但出现“警告”:

ring-buffer.c:57:19: warning: assignment from incompatible pointer type [enabled by default]
RBufP->rbfunc[0] = &RBufPush;
                 ^

但是附近还好:

/*typedef for func pointer*/
typedef RBRetCod_t (*RBFunc)();

/*RBufP*/
typedef struct {
    RBufSiz_t size; /*size and mask*/
    RBufDat_t rbufdat;
    RBufPoint_t head, tail;
    RBFunc rbfunc[3]; /*announce of function pointers array*/
} RBuf_t;
RBuf_t *RBufP;
...

/*init for func pointers array*/
RBufP->rbfunc[2] = &RBufDel; /*it is ok*/
RBufP->rbfunc[1] = &RBufPull; /*it is ok*/
RBufP->rbfunc[0] = &RBufPush; /*it is bad, why???*/

...

/*body of the functions*/
RBRetCod_t RBufPull(unsigned char *dat)
{
        return RBSUCC;
}
RBRetCod_t RBufDel(void)
{
        return RBSUCC;
}
RBRetCod_t RBufPush(unsigned char dat)
{
        return RBSUCC;
}

请向我解释为什么警告出现在这一行:RBufP->rbfunc[0] = &RBufPush;，但在相邻的行中没有？

Answer 1

请参阅 C11 第 6.7.6.3 节 §14，指定何时应将 2 种函数类型视为兼容:

[...] If one type has a parameter type list and the other type is specified by a function declarator that is not part of a function definition and that contains an empty identifier list, the parameter list shall not have an ellipsis terminator and the type of each parameter shall be compatible with the type that results from the application of the default argument promotions. [...]

RBufPull 和 RBufDel 是这种情况，但 RBufPush 不是这种情况，因为 unsigned char 被提升为 int。

如果您通过 RBFunc 类型的指针调用 RBuPush，int 参数将被压入堆栈，而 RBufPush 需要一个 unsigned char。根据调用约定和字节顺序，您会得到不正确的结果。

一个解决方案是将 RBufPush 更改为采用 int 参数。另一种是使用强制转换，即

RBufP->rbfunc[0] = (RBFunc)&RBufPush;

在调用 rbfunc[0] 之前，您需要转换回正确的类型 RBRetCod_t (*)(unsigned char)。