c - 为什么 func 看起来和 C 中的 &func 一样？

标签 c function pointers function-pointers implicit-conversion

<分区>

根据GNU C manual , 可以像这样使用函数指针调用函数:

func (j);  /* (*func) (j); would be equivalent. */

所以我的推理是:func 本身是指向 func(int) 函数的指针。当您调用 func(j) 时，您正在隐式访问指针 func 的值(您正在移动到 func 所在的内存位置)，就像你有一个指向整数的指针一样，例如，你可以使用 * 访问存储在内存该位置的值。这与您可以使用 (*func)(j) 调用相同函数这一事实是一致的。

事实上，在cprogramming.com ，他们说你可以有一个指向函数指针的指针。因此，我猜测它们的工作方式与任何其他类型的指针一样。

但如果是这样，为什么这段代码有效？

#include <stdlib.h>
#include <stdio.h>

void a(int n) {
    printf("%d\n", num);
}

int main() {
    int x = 5;
    void (*func)(int); // Declare a pointer to a function
    func = &a; // Pointer to a pointer to a function
    (*func)(x); // Calls the function (why?)
    func = a; // Pointer to a function
    (*func)(x); // Calls the function (makes sense)
}

此外，如果你调用:

printf("%s\n", (&a == a) ? "True" : "False");

它打印True!

例如，我确定 &foo 与 &&foo 不同，所以为什么 func 和 &func 一样吗？

最佳答案

N1570 6.3.2.1 左值、数组和函数指示符说:

4 A function designator is an expression that has function type. Except when it is the operand of the sizeof operator, the _Alignof operator,65) or the unary & operator, a function designator with type ‘‘function returning type’’ is converted to an expression that has type ‘‘pointer to function returning type’’.

此处 a 和 *func 是函数指示符，因为它们具有函数类型。 &a 中的 a 未转换为指针，因为它是一元 & 运算符的操作数，指向函数的指针由& 运算符。另一方面，func = a;中的a根据这个规则转换为指向函数的指针。因此这段代码中的a和&a是等价的。