Cで定義されている関数ポインタ/法律で追加のパラメータを渡していますか？

Question

可能性の重複：を介して呼び出された場合に
Casting a function pointer to another type

は、機能は正常に実行されます、私は実際には、関数ポインタの定義を以下のパラメータを取る関数と関数ポインタを初期化すると仮定関数ポインタ？

私はgccでこれを試してみましたが、期待どおりに働いたが、その振る舞いはコンパイラ/プラットフォーム（私はそれがスタック上に大混乱をもたらすかもしれないいくつかのenviromentsに疑いがある）全体で一貫しているのだろうか：

#include <stdio.h> 

typedef void (*myfun)(int, int, int); 

void test_a(int x, int y, int z) { 
    printf("test_a %d %d %d\n", x, y, z); 
} 

void test_b(int x, int y) { 
    printf("test_b %d %d\n", x, y); 
} 

int main() { 
    myfun fp; 
    fp = test_a; 
    fp(1, 2, 3); 
    fp = (myfun) test_b; 
    fp(4, 5, 6); 
} 

Answer 1

あなたのプログラムの動作は未定義です。実際にコンパイルされるのは、コンパイラに「これは間違っているが、とにかくやっている」とキャストするキャストのためである。あなたはキャストを削除した場合は、適切なエラーメッセージが表示されます：

a.c:17:8: error: assignment from incompatible pointer type [-Werror] 

（。gcc -Wall -Werrorから）

具体的には、動作は呼び出し規約に依存します。あなたがプラットフォーム上にあった場合、議論がスタック上で「逆の」順序で渡された場合、プログラムは非常に異なる結果をもたらします。

Answer 2

これは未定義の動作です。自己責任。使用されているcalling conventionに依存しますが動作するかどうかNasal Demons!

Answer 3

を引き起こすことが噂されています。

私はそれをお勧めしません。

Answer 4

関数呼び出しは未定義の動作です。

（C99,6.3.2.3p8） "[...]変換されたポインタを使用して、型が指し示し型と互換性のない関数を呼び出す場合、その動作は未定義です。

（C99、6.2.5p20）「は、[...]指定された戻り型を持つ関数を記述する関数型により特徴付け ある：機能タイプこと情報注

。その戻り値の型と、そのパラメータの数と種類」を参照してください。