C语言中如何递归调用带void函数类型参数的函数

你定义的void inOrder(struct node *root, void (*f) (struct node *i))是典型的二叉树中序遍历高阶函数，参数中的函数指针f是用于自定义节点处理逻辑的回调，函数本身是void返回类型完全不影响递归调用，你只需要按照中序遍历的逻辑实现递归即可，具体实现步骤和示例如下：

完整实现代码 #

首先给出递归版本的inOrder函数实现，以及配套的测试示例：

#include <stdio.h>

// 二叉树节点定义，可根据你的实际需求调整结构体成员
struct node {
    int val;
    struct node *left;
    struct node *right;
};

// 中序遍历递归实现
void inOrder (struct node *root, void (*f) (struct node *i)) {
    // 递归终止条件：当前节点为空直接返回
    if (root == NULL) {
        return;
    }
    // 第一步：递归遍历左子树，直接透传函数指针f
    inOrder(root->left, f);
    // 第二步：调用传入的回调函数处理当前节点
    f(root);
    // 第三步：递归遍历右子树，直接透传函数指针f
    inOrder(root->right, f);
}

// 示例回调函数：打印节点存储的整数值
void printNode(struct node *i) {
    printf("%d ", i->val);
}

// 调用示例
int main() {
    // 此处替换为你自己的二叉树构建逻辑
    struct node *root = /* 你构建的二叉树根节点 */;
    inOrder(root, printNode); // 执行后会按中序打印所有节点的值
    return 0;
}

常见误区说明 #

你提到的“参数没有返回类型无法正常使用”是对递归规则的误解：

• 递归的核心要求是有明确的终止条件、递归调用时参数向终止条件收敛，和函数本身是否有返回值没有任何关联，void类型的递归函数在遍历、无返回值的分治场景下非常常见
• 传递回调函数时只需要保证你传入的函数和指针定义的返回值、参数列表完全匹配即可，不需要额外的返回值处理

进阶调整建议 #

如果你后续需要让回调函数支持传入额外参数（比如要把节点值写入指定文件、累加统计总和等），可以调整函数指针定义，新增一个通用上下文参数：

// 调整后的inOrder定义，新增ctx参数用于传递回调的上下文
void inOrder (struct node *root, void (*f) (struct node *i, void *ctx), void *ctx) {
    if (root == NULL) return;
    inOrder(root->left, f, ctx);
    f(root, ctx);
    inOrder(root->right, f, ctx);
}

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