配列宣言子のシンタックスが完全には理解できない

Question

c言語をcppreference.comというサイトで学習している際に配列宣言子に関する以下の記述を見つけました。(リンク内容)

noptr-declarator [ static(option) qualifiers(option) expression ]

配列宣言子: 宣言 S D[N] は S によって決まる型のオブジェクト N 個の配列として D を宣言します。 noptr-declarator は括弧で囲まれていないポインタ宣言子を除く任意の他の宣言子です。

(備考) ポインタ宣言子: 宣言 S * cvr D は S によって決まる型への cvr 修飾されたポインタとして D を宣言します。

しかし、同サイトの配列の宣言に関するページ(リンク内容)には、

float fa[11], *afp[17]; // fa は float 11個の配列です。
                        // afp は float へのポインタ17個の配列です。

のようなコードが紹介されており、検索してみたところ、ポインタ配列と呼ばれる概念であることが分かりました。*afpはポインタ宣言子だと思うので、これは一見すると配列宣言子の、ポインタ宣言子を宣言子として用いることができないという説明に反しているように思えます。正しい解釈をする上で何か重要な点を見逃しているのでしょうか、それとも、参照元の記述に誤りがあるのでしょうか。意見をお聞かせください。

Answer 1

float *afp[17] は、

• afp[17] という配列宣言子（=Dとする)
• • D というポインタ宣言子

という構造なので配列宣言子についているのはポインタ宣言子ではないということと思われます。

わざわざ「括弧で囲まれていないポインタ宣言子」と書いているのは、float (*afp)[17]　(これは float *afp[17]とは違う) を区別するなのでしょう。

Comments

[sunameri392]

回答ありがとうございます。括弧付きのポインタも他のページでたびたび目にしていたので、括弧の有無に関しては大方予想がついていたのですが、執筆者の心配りということですね。読解力の低さを痛感するとともに自らの不勉強を省みて研鑽を続けたいと思います。

Answer 2

宣言子は、リンク先にある(1)～(5)を再帰的に適用したものになります。

*afp[17]については、まず(1)からafpという宣言子を生成したうえで、
(4)を適用してafp[17]という宣言子を生成して、
さらに(3)を適用して*afp[17]という宣言子を生成したと解釈できます。

(4)(5)で、括弧で囲まれていないポインタ宣言子を除いているのは、
*afp[17]に対して、(3)と(4)の適用順があいまいにならないように、という意図でしょう。

Comments

[sunameri392]

回答ありがとうございます。確かに(1)~(5)を優先順位(適用順ではない)と解釈すれば合点がいきますね。ISO/IECによる草案も見つけたので確認してみましたが、回答通りの読みをすれば草案に書かれている通りに理解できました。お二方から分かりやすい回答をいただきましたが、先に回答してくださったactorbugさんにベストアンサーを差し上げます。