c - 不使用 '&' 运算符初始化函数指针

Question

我正在摆弄函数指针，并遇到了一些直观上不符合我对 C 中指针的理解的东西。

看一下下面的代码:

include <stdio.h>

void fun(int a) {
    printf("fun, %d!\n", a);

}

void bun(int b) {
    printf("bun, %d!\n", b);
}


int main(){

    void (*fooptr)(int) = &bun;
    void (*blooptr) (int) = fun;

    fooptr(200);
    blooptr(100);

    return 0;
}

如果我像 C 中的任何其他指针一样对待函数指针，我应该期望 void (*blooptr) (int) = fun;触发针对不兼容类型的编译器警告。我的代码编译(静默)并按预期工作。

C 如何让我在没有 & 的情况下初始化函数指针运算符，就像我会做一个常规指针一样，甚至没有编译器警告？这是我意外获得正确行为的情况之一，尽管我在技术上处于未定义行为领域？如果有人能够解释为什么这是有效的，并对函数指针的本质有一定的了解(引用文献也可以)，那就太好了。

我尝试四处寻找这个具体问题，但找不到任何相关内容。看起来有点基础，所以如果是重复的话，我们深表歉意。

Answer 1

C 中的函数类型自动且隐式地衰减为函数指针类型(就好像安静地应用一元 & 运算符一样)。这种衰减发生在所有上下文中，除了一元 & 运算符和 sizeof 运算符。为此

void (*fooptr)(int) = &bun;

和

void (*fooptr)(int) = bun;

是表达同一件事的两种不同方式。