如何在C语言中前置声明递归函数类型？

你在Go语言中可以通过type F func() F轻松实现递归函数类型，但直接在C语言中尝试typedef (*F)(F());会触发编译错误——因为声明F时该类型还未完成定义。C语言无法直接递归定义函数指针类型，但可以通过结构体作为中间层的方式间接实现，这是标准C支持的合法方案。

具体实现步骤 #

1. 先前置声明结构体，再在结构体内部定义递归的函数指针：

typedef struct FWrapper FWrapper;
struct FWrapper {
    FWrapper (*func)(void);
};

这里利用结构体的前置声明特性，先让编译器知道FWrapper是一个结构体类型，之后再在结构体内部定义返回FWrapper的函数指针，打破了直接递归的依赖循环。

2. 编写符合该类型的递归函数：

FWrapper foo(void) {
    FWrapper wrapper;
    wrapper.func = foo;
    return wrapper;
}

这个函数返回的结构体中，函数指针指向自身，实现了和Go语言示例类似的递归类型效果。

为什么不能直接前置声明函数类型？ #

C语言的语法规则不允许直接前置声明函数指针类型。typedef是给已有类型起别名的操作，递归的函数指针类型在定义时需要引用自身，这会形成编译器无法解析的循环依赖。而结构体可以先前置声明，后续再补充内部定义，刚好能规避这个问题。

调用示例 #

以下是完整的可运行代码，展示如何调用这类递归函数：

#include <stdio.h>

typedef struct FWrapper FWrapper;
struct FWrapper {
    FWrapper (*func)(void);
};

FWrapper foo(void) {
    printf("执行foo函数\n");
    FWrapper wrapper;
    wrapper.func = foo;
    return wrapper;
}

int main() {
    FWrapper w = foo();
    w.func(); // 再次调用foo
    return 0;
}

运行后会输出两次"执行foo函数"，验证了函数指针成功指向自身的递归特性。

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