Question

在How do function pointers in C work?的答案之一中，一个用户解释了如何在返回值中使用函数指针。这是相关代码：

// this is a function called functionFactory which receives parameter n
// and returns a pointer to another function which receives two ints
// and it returns another int

int (*functionFactory(int n))(int, int) {
    printf("Got parameter %d", n);
    int (*functionPtr)(int,int) = &addInt;
    return functionPtr;
}

对我来说，声明functionFactory函数的方式非常奇怪 - 在我看来你混淆了返回类型（指向函数的指针）和函数名本身（functionFactory）。

例如，当我们编写一个返回其参数的平方的简单函数时，我们编写类似

的东西

int square(int n){
    return n*n;
}

显然，我们返回的类型在左侧，然后我们编写函数名称，然后写入它接受的参数。因此，当我们返回指向函数的指针时，为什么我们不写下这样的内容：

( int (*function)(int, int) ) functionFactory(int n) { ...

这里的返回类型（它是一个函数的指针）及其细节（例如我们指向的函数返回以及它作为参数接受的内容）显然位于左侧，并且函数名称函数本身在右边。对我来说，我的版本似乎更符合逻辑和清晰，为什么我们不这样写呢？

Answer 1

这不符合声明器语法的工作原理。在替代方面考虑可能会有所帮助。这是一种看待它的方法：

T    f   (); // f is a function returning T
     |
     v
T  (*p)  (); // p is a pointer to a function returning T
     |
     v
T  (*q())(); // q is a function returning a pointer to a function returning T

所以我们从函数声明符f()开始。然后我们用指针f替换(*p)，为我们提供声明符(*p)()。最后，我们使用函数p替换q()，为我们提供声明符(*q())()。

修改

在阅读毛茸茸的宣言员时，你可能会听到人们谈论“螺旋规则”。虽然它更像是指导而非实际规则，但它不符合以下优先规则：

T *a[N]; // a is an array of pointer to T T (*a)[N]; // a is a pointer to an array of T T *f(); // f is a function returning T T (*f)(); // f is a pointer to a function returning T

后缀[]和()运算符的优先级高于一元*，因此在声明指向数组或函数的指针时需要括号。因此，当我们阅读T (*q())();时，我们从最左边的标识符q和“螺旋”向外开始：

+-----------+ | +-------+ | | | +---+ | | | | | | | | T ( * q ()) () | | | | | | | | +-+ | | | +-----+ | +---------+

一点一点地打破它：

q -- q is a q() -- function returning *q() -- pointer to (*q())() -- function returning T (*q())(); -- T

你不能声明函数类型的数组，也不能声明函数返回数组类型：

T a[N](); // NOT ALLOWED T f()[N]; // NOT ALLOWED

因此，在函数和数组类型的任意组合中，将始终涉及指针，因此螺旋规则成立。

Answer 2

以下代码将名为func的变量声明为指向函数的指针，该函数返回int并将两个int作为参数：

int (*func)(int, int);

此语法模仿了如何在C：

中声明函数的语法

int func(int, int);

看看有多相似？事实上，C中的函数就像指向函数的变量，例如看这个样本：

int funcA(int a, int b) { ... }
int (*funcB)(int, int) = funcA;

如果您拨打funcA(a,b)或funcB(a,b)，它在其余代码中不起作用，是吗？所以尽管funcB是一个变量而funcA是一个函数，但事实是，在内存中有一个函数，而funcA和funcB都是指向它的指针。功能代码的地址。

如果你想挑剔，funcA是一个常量而funcB是一个变量，所以调用funcA的编译器输出将不同于funcB ;在一种情况下，它是直接呼叫，在一种情况下是间接呼叫，因为funcB的目的地可以随时间变化。这也是星号所说的，＆＃34;我不是一个功能，我是指向功能的指针＆＃34;。

重要的是要注意，在C中，星号总是在变量名旁边，以标记一个指针变量，那么你想要怎么写呢呢？喜欢这个？

// Careful! Wrong!
int (int, int) *func;

这看起来更具可读性吗？或者也许是这样的？

// Careful! Wrong!
int ()(int, int) *func;

这种语法也不是很清楚，也没有模仿任何其他现有的C语法。如果你使用函数指针工作很多，传递它们并将它们存储在变量中，你应该为函数指针声明一个自己的类型：

#include  <stdio.h>

int sum ( int a, int b ) {
    return (a + b);
}

typedef int (* MathFuncType)(int, int);

MathFuncType getSumFunc ( ) {
    return &sum;
}

int main(void) {
    MathFuncType func = getSumFunc();
    printf("%d\n", func(3, 8));
    return 0;
}

http://rextester.com/GEKR20461

在C语法中返回指向函数的指针

2 个答案: