住所録のプログラムに以下の関数があります。詳しく説明して頂けますか。

Question

住所録のプログラムに以下の関数があります。
関数ポインタAddress *(func[])(Address)は引数にAddress *を取り、
Address *を返す関数ポインタですか。そのように理解しています。
search, add, amend, del, printallは 関数のジャンプテーブルに
どのように代入されているんでしょうか。コメントの関数のプロトタイプ宣言
のAddress *search(Address *);は引数にAddress *をとり、Address *を返す、
searchという関数を宣言していると思うのですが。わかるような、わからないような
きもちです。
どなたか、わかり易く説明していただけませんか。
不足するコードがあればおしゃってください。よろしくお願いいたします。

コード
// 関数のプロトタイプ宣言 -- ジャンプテーブルに入れるため引数及び返却値型は
// すべて同じとした 
Address *search(Address *);
Address *add(Address *);
Address *amend(Address *);
Address *del(Address *);
Address *printall(Address *);

// 関数のジャンプテーブル 
Address *(*func[])(Address *) = {search, add, amend, del, printall};
//引数はAddress *である5個のsearch, add, amend, del, printallを取る
//関数ポインタ(*func[])(Address *)を宣言する

Answer 1

Cのこうした型宣言ってややこしいですよね・・・

コツは宣言しようとしている名前（この場合はfunc)に近いところから一つ一つ分解していくことだと思います。その際に型名の表現に用いられる*や[]の結合順序を意識することが大切です。

優先順位(小さい方が高い優先度)	演算子
1	()
2	[]
3	*

(1) func[]
funcは「何か」の配列
(2) *func[]
funcは「何かのポインター」の配列
(3) Address *(func[])(Address)
funcは「「Addressのポインターを引数に取りAddressのポインターを返す関数」のポインター」の配列

こんな風に解釈します。(3)が入ると一挙にややこしくなりますが
R identifyer(T1,T2,...)
はidentifierが「T1,T2,...を引数にとり、R型の関数」ということを示し、
R (*identifyer)(T1,T2,...)
はidentifierが「T1,T2,...を引数にとり、R型の関数のポインター」ということを示す。

ということですので、落ち着いて考えるとだんだん見えてくるはず・・・

ここまででfuncの型が明らかになるので、テーブルの初期値はそれぞれ「「Addressのポインターを引数に取りAddressのポインターを返す関数」のポインター」であることがわかります。右辺の初期値

{search, add, amend, del, printall};

の各要素に出てくる名前は「関数」ですね。Cでは「関数として宣言されている名前」を式の中で用いるとそれは「関数のポインター」として扱われるということを知っておく必要があります。けど、知ってさえいればこれ以上は混乱せずに済むと思います。

---

余談：
他の人が書いたコードだとややこしかろうがなんだろうが、言語仕様に従って解釈せざるを得ませんが、自分が書く場合はなるべく分かり易くするためにtypedefをうまく使うとややこしさが緩和できると思います。

例えば本件なら

typedef Address* (*ADDRESS_FUNC_PTR)(Address*);

と定義しておくと、

ADDRESS_FUNC_PTR func[] = { search, ... };

のように書けますが、これだと元の宣言よりはずいぶん分かり易いのではないでしょうか？

Comments

[退会済みユーザー]

わかり易い解説ありがとうございます。何回か読んでいるうちにはっきりしてくると思います。再度この住所録のプログラムの本文で質問をしたいと思いますので、よろしくおねがいいたします。