c - "Pointer to Function"语法在 C 中如何工作？

Question

下面的代码中 (*ptr_fun1)(10) 和 ptr_fun1(10) 是如何相同的

代码:

#include<stdio.h>
void fun1(int a)
{
     printf("It is %d\n",a);
}
int main()
{
  void (*ptr_fun1)(int);
  ptr_fun1 = fun1;
/*
   ex-
        ptr_fun1    fun1    
        +----+      +-----+
        +1000+      +code +
        +----+      +-----+
         1234        1000
        fun1(10); <=> ptr_fun1(10); //how
*/
  printf("%d\n%d",ptr_fun1(10),(*ptr_fun1)(20));
  return 0;
}

输出

10
20

有人可以解释一下它是如何工作的吗？

Answer 1

C 中声明(和使用)函数指针的语法(和 C++ )是该语言对于初学者来说最令人困惑的方面之一。我将尝试在这里解释一下。

首先，让我们考虑指向“简单”类型的指针(我们以“int”类型为例)。在这种情况下，声明类型的变量很简单: int N;另外，声明一个指向 int 的指针也很简单:int *pN;我们可以用“评估”“*”运算符来解释第二个声明，这意味着“获取驻留在给定地址的对象”。所以，在 int *pN我们声明“位于地址“pN”的对象是 int 。

对于函数来说，这可没那么简单!以一个采用 int 的函数为例作为其(唯一)参数并返回 int值:int IFunc(int arg); 。这也非常简单。

但是我们如何声明一个指向这样一个函数的指针呢？我们不能简单地应用与“简单”类型相同的逻辑(通过在前面加上 * 运算符)，如下所示:

int *pIFunc(int arg);

因为这将声明一个采用 int 的函数 arg 并返回一个指向 int 的指针。

所以，C 的早期实现者语言必须想出更好的东西——而且完全明确。因此，他们决定使用将“*NAME”部分放在括号中的语法，以将“取消引用”操作与函数的定义隔离:

int (*pIFunc)(int arg);

所以，当面对任何看起来像这样的东西时:< typename > (*Name1)(...); (其中 < typename > 是任何允许的 C 类型，例如 int 、 void 、 double ，甚至是“复合”类型，例如 int* ，以及第二组括号内的“...”可以为空或其他“类型”的列表)，将其识别为函数指针的声明(或取消引用函数指针)。要获取底层函数“签名”(或调用)，只需删除第一组括号和包含的 * 。所以，对于:

(*ptr_fun1)(20)

您可以阅读:

ptr_fun1(20)

并且，对于:

void (*ptr_fun1)(int);

你可以看到 ptr_fun具有以下签名:

void ptr_fun1(int);

我希望这能让事情变得更清楚一些。请随时要求进一步澄清和/或解释。