C++中为何带参int函数作参数可正常运行，无参void函数作参数异常

第一段正常运行代码的逻辑说明 #

• 代码中operation函数的第三个形参声明为int (*function)(int, int)，完全符合C++函数指针的声明规范：明确标注了函数指针对应的目标函数返回值为int、接收两个int类型入参。
• 这个函数指针的签名和Add函数（int返回、两个int入参）完全匹配，传入&Add后可以正常通过指针调用函数逻辑，不存在语法或运行层面的错误。

第二段代码运行异常的根本错误 #

• 第二段代码中b函数的形参写为void (*function)，缺少函数指针声明必须的后缀参数列表括号，完全没有被编译器识别为函数指针。
• 按照C++语法解析规则，这个残缺的形参会被直接解析为void*类型的通用无类型指针（仅存储内存地址、不绑定任何类型信息的指针）。
• C++标准明确禁止对void*类型的指针直接执行函数调用操作，因为编译器无法确认这个地址对应的代码的参数签名、返回值规则，因此会直接触发编译错误；就算绕过编译检查强行运行，也会因为栈布局不匹配、地址解析错误直接崩溃。

语法细节补充：就算补上必须的后缀括号写成void (*function)()，也要注意历史语法的兼容坑：在C语言兼容模式下，参数列表留空代表“不检查参数数量和类型”，并不是严格的“无参数”。如果要实现跨环境兼容的无参函数指针声明，最好在括号内显式写void，这种写法在C和C++标准中都代表“严格无参数的函数指针”，不存在语义歧义。

• 最通用、跨环境兼容的写法：补全函数指针的完整声明，显式标注无参规则，示例代码如下：

  #include <iostream>
  void a()
  {
      std::cout << "something" << std::endl;
  }
  // 完整声明无参void函数的指针类型：返回值void，参数列表为void（明确无参）
  void b(void (*function)(void))
  {
     function();
  }
  int main()
  {
      // 传入时写b(a)和b(&a)效果完全一致，因为函数名会隐式退化为对应函数指针
      b(a);
      return 0;
  }
  

• 现代C简化写法（C11及以上版本支持）：用using给对应函数类型起别名，提升代码可读性，不需要重复写复杂的指针语法：

  // 定义别名：代表「无参数、返回void」的函数类型
  using NoArgVoidFunc = void();
  // 形参直接使用别名声明，编译器会自动识别为指向该类型的函数指针
  void b(NoArgVoidFunc* function)
  {
      function();
  }
  

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