关于C/C++中返回函数指针的函数声明的疑问求助

先从你熟悉的基础函数指针入手，一步步拆解operation这类返回函数指针的函数声明逻辑。

回顾基础函数指针 #

你已经知道，下面的代码声明了一个指向「接受两个int参数、返回int的函数」的指针：

int (*func_ptr)(int, int);

核心结构是：返回类型 (*指针变量名)(参数列表)。

推导返回函数指针的函数声明 #

如果一个函数要返回上述类型的指针，比如operation，它的声明需要把「返回的函数指针类型」和「自身的函数参数」结合起来。

以文章里的场景为例：operation接受一个字符串参数（比如指定操作类型），返回对应算术函数的指针。它的完整声明是：

int (*operation(const char* op))(int, int);

怎么读这个声明？ #

从内往外拆解：

1. operation(const char* op)：首先确定operation是一个函数，参数是const char*类型；
2. int (*...)(int, int)：这个函数的返回值是一个指针，指向「接受两个int参数、返回int的函数」。

用typedef简化声明 #

如果觉得原声明太绕，可以用typedef给函数指针类型起别名，让代码更直观：

// 给「接受两个int、返回int的函数指针」起别名ArithmeticFunc
typedef int (*ArithmeticFunc)(int, int);

// 现在operation的声明就清晰了：返回ArithmeticFunc类型的函数
ArithmeticFunc operation(const char* op);

示例代码的实现逻辑 #

结合具体的算术函数（比如加法、减法），operation的实现逻辑很直白：根据输入的字符串参数，返回对应函数的指针。

完整示例代码：

#include <stdio.h>
#include <string.h>

// 基础算术函数
int add(int a, int b) { return a + b; }
int sub(int a, int b) { return a - b; }

// 返回函数指针的函数
int (*operation(const char* op))(int, int) {
    if (strcmp(op, "add") == 0) {
        return add; // 函数名本身会隐式转换为函数指针，等价于return &add;
    } else if (strcmp(op, "sub") == 0) {
        return sub;
    }
    return NULL; // 处理无效输入
}

int main() {
    // 获取加法函数的指针
    int (*calc)(int, int) = operation("add");
    if (calc != NULL) {
        printf("3 + 5 = %d\n", calc(3, 5)); // 输出8
    }

    // 获取减法函数的指针
    calc = operation("sub");
    if (calc != NULL) {
        printf("3 - 5 = %d\n", calc(3, 5)); // 输出-2
    }

    return 0;
}

关键细节 #

• 函数名（比如add）在表达式中会自动转换为指向该函数的指针，所以return add;和return &add;效果完全一致；
• 调用时，先通过operation拿到函数指针，再用指针调用目标函数，和你熟悉的func_ptr(3,5)用法一致。

总结 #

返回函数指针的函数声明本质是：把「函数指针类型」作为返回值，嵌套进普通函数的声明结构里。如果觉得原生声明晦涩，用typedef简化是最常用的技巧。

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