「＆」演算子

Question

せずに関数ポインタを初期化私は関数ポインタで遊んで、かつ直感的に以下のコードを見てみましょうC.

内のポインタの私の理解に合わないものに走りました。 ：私は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; 
} 

、私は互換性のない型に対してコンパイラの警告をトリガするvoid (*blooptr) (int) = fun;を期待するべきです。私のコードは（サイレントに）コンパイルされ、期待どおりに動作します。

Cは、コンパイラの警告さえなくても、普通のポインタを実行するのと同じように、&演算子を使用せずに関数ポインタを初期化できますか？これは私が間違って適切な振る舞いをしているケースの1つですが、私は技術的にはの未定義の動作です領土ですか？もしも誰かがを説明できるのであれば、これはうまくいくでしょう。なぜなら、関数ポインタの本質にいくつかの洞察力（文献への言及もあります）があるからです。

この特定の質問を探してみましたが、関連するものは見つかりませんでした。ちょっと基本的なようだから、それがダブだと謝ります。

Answer 1

Cの関数型は、関数ポインタ型に自動的かつ暗黙的に崩壊します（unary &演算子がquietyを適用した場合のように）。この減衰は、単体の&演算子とsizeof演算子を除き、すべてのコンテキストで発生します。このため

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

と

void (*fooptr)(int) = bun; 

は同じことを言うには、2つの代替的な方法です。