C语言中如何将函数指针数组作为参数传递给其他函数

你当前使用的函数定义void polish(char* filename, int (*oper_ptr[4])(int, int))是完全符合C语言标准的合法写法，内部通过oper_ptr[0](num_a, num_b)调用函数的逻辑也没有问题。
C语言中数组作为函数形参传递时，会自动退化为指向数组首元素的指针。你定义的oper_ptr是元素类型为int (*)(int, int)（接收两个int参数、返回int的函数指针）、长度为4的数组，因此形参中写int (*oper_ptr[4])(int, int)时，编译器实际会将其解析为二级函数指针int (**oper_ptr)(int, int)，和你传入数组首地址的传参逻辑完全匹配，不会出现语法错误或运行时异常。
需要注意的是，形参中声明的数组长度4不会被编译器做强制校验，即使传入长度不等于4的同类型函数指针数组，编译器也不会抛出错误，这是C语言数组传参的固有特性。

原生函数指针的声明语法可读性差、书写容易出错，推荐按优先级选择以下优化方案：

• 优先使用typedef定义函数指针类型别名，降低代码维护成本
  这是工业界C代码中处理函数指针的通用写法，可以避免反复书写复杂的函数指针声明，后续修改函数签名时只需要修改typedef定义一处即可：

  // 定义二元算术运算的函数指针类型别名
  typedef int (*ArithFunc)(int, int);
  
  // 初始化函数指针数组时可直接使用类型名，更简洁
  ArithFunc oper_ptr[4] = {add, sub, mul, divi};
  
  // 函数形参同样使用类型别名，语义清晰
  void polish(char* filename, ArithFunc oper_ptr[4]) {
      // 内部调用逻辑和原有写法完全兼容，无需修改
      int calc_res = oper_ptr[0](num_a, num_b);
  }
  

• 若后续可能扩展运算类型，可额外传入数组长度提升通用性
  固定长度的形参声明无法适配数组长度变化的场景，将数组长度作为独立参数传入后，函数可以兼容任意长度的同类型函数指针数组，遍历逻辑也更容易实现：

  // 形参直接写指针类型和退化后的类型完全等价，语义更直白
  void polish(char* filename, ArithFunc* oper_list, size_t oper_count) {
      for (size_t i = 0; i < oper_count; i++) {
          int res = oper_list[i](num_a, num_b);
      }
  }
  
  // 调用时自动计算数组长度，避免硬编码
  polish("target.txt", oper_ptr, sizeof(oper_ptr) / sizeof(oper_ptr[0]));
  

• 如果业务逻辑中永远固定使用add、sub、mul、divi这四个运算函数，不需要动态替换，可以直接将oper_ptr数组定义为polish函数内部的静态常量，不需要作为参数传入，能减少参数传递开销，也能避免外部误修改函数指针的问题。

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