c - C中函数指针的递归声明

Question

我想声明一个返回指向相同类型函数的指针的函数。

我想用它来实现如下所示的状态机:

typedef event_handler_t (*event_handler_t)(event_t*); // compilation error

event_handler_t state2(event_t* e);
event_handler_t state1(event_t* e) {
    switch(e->type) {
    //...
    case SOME_EVENT:
        return state2;
    //...
    }

}
event_handler_t state2(event_t* e) {
    switch(e->type) {
    //...
    case OTHER_EVENT:
        return state1;
    //...
    }   
}

//...
event_handler_t event_handler;
//...
event_handler(&e);
//...

我设法使用如下结构解决编译错误:

typedef struct event_handler {
    struct event_handler (*func)(event_t *);
} event_handler_t;

但这使得返回语句变得更加复杂:

event_handler_t state2(event_t* e) {
{
    event_handler_t next_handler = {NULL};
    switch(e->type) {
    //...
    case OTHER_EVENT:
        next_handler.func = state1;
        break;
    //...
    } 
    return next_handler;
}

我想知道是否有更好的方法在c中创建这样的函数指针。

Answer 1

在 C 中不可能做到这一点:函数无法返回指向自身的指针，因为类型声明递归扩展并且永无止境。有关说明，请参阅此页面:http://www.gotw.ca/gotw/057.htm

上页描述的解决方法意味着返回 void (*) () 而不是正确类型的函数指针；您的解决方法可以说更简洁一些。