関数へのポインタの配列で分からないところがあります。

Question

void (*afp[])(void) = {dog, cat, monkey};

たとえば、
(*afp[0])() でdog()を呼び出すことができます。

これはdogとcatとmonkeyという関数のパラメータ及び、返り値がすべて同じ時にしか使えませんよね？
char dog(int a, double b){...}
int cat(void){...}
という風に定義されていて場合、これを上記と同じように配列化することは可能ですか？？
どうすれば、できるでしょうか？

また、これを簡素化するためにtypedefを使用すると良いようです。

typedef void (*a)(void);

a afp[] = {dog, cat, monkey};

・・・・？
以下のリンク先にあるように
リンク内容

typedef 既存のデータ型 新しい名前; こうですよね・・・

typedef void (*a)(void); ← これが何をやっているのかわかりません。
void ----> (*a)(void) ではないと思います。

これは何という名前に変えているのですか？？

Answer 1

char dog(int a, double b){...}

int cat(void){...}
という風に定義されていて場合、これを上記と同じように配列化することは可能ですか？？
どうすれば、できるでしょうか？

ポインターは要するにアドレスなのでどのような型へのポインターでも同じ語長を持っています。そこでキャストすることで異なる型へのポインターであっても配列の要素として混在させることは可能です。

int foo(void) { return 1; }
double bar(void) { return 1.0; }

void *functions[] = {
    (void*)foo,
    (void*)bar,
};

// 呼び出すとき
int a = ((int (*)(void))functions[0])();
double b = ((double (*)(void))functions[1])();

しかし配列で管理するということは通常は「同じ型のデータを管理する」目的であることが一般的でしょうから乱用は避けた方がよいかも知れません。とはいえ特定の目的でこうしたテクニックを用いることはあり得ると思います。こうした特殊なテクニックは「かなり低水準なことまで含めほとんど何でもできる」C言語の特徴と言えると思います。

typedef void (*a)(void); ← これが何をやっているのかわかりません。

aという名前を「引数がなく、何も返さないような関数へのポインター型」であると宣言している文です。

Comments

[strike1217]

ふむふむ・・・

ありがとうございます。
「typedefは別名をつける」だけではないということですかね・・・

[strike1217]

(int (*)(void)・・・
ずいぶん複雑なキャストですね・・・
見たことがありません。

もっと簡単にできたりはします？？

[KSwordOfHaste]

いえ、おっしゃるとおり「別名を付けてるだけ」ですよ。関数へのポインター型自体は

<戻り値の型> (*)(<引数1の型>, <引数2の型>, ...)

のように表現できるのですが、それに別名を付ける場合は

typedef <戻り値の型> (*<別名>)(<引数1の型>, <引数2の型>, ...);

という構文になるだけなのです。他の単純なものに比べると別名の位置がちょっと変わった場所に見えるかも知れませんがC言語の構文をよく考えてみるとこの場所に別名を記述することが合理的であることが納得できてくると思います。

[strike1217]

おお！！
なるほど！
ありがとうございます！！

[KSwordOfHaste]

>ずいぶん複雑なキャスト
おっしゃるとおりですがそのためにこそtypedefが活躍するわけです。

int a = ((int (*)(void))functions[0])();

上のコードは適切なtypedefをしておけば以下のように書けます。IntFunctionWithNoParameterがtypedefでつけた別名と思ってください。

int a = ((IntFunctionWithNoParamter)functions[0])();
//または
IntFunctionWithNoParameter f = (IntFunctionWithNoParameter)functions[0];
int a = f();

[strike1217]

やってみます！
ありがとうございます