同時に宣言された変数のスコープと初期化順

Question

プログラミング言語 C において、同時に宣言されている変数のスコープ、および初期化順がどのようになるのか仕様中に見つけることが出来ませんでした。 C99 の文言の内でどの項目で説明されているのか (あるいは説明されていないのか) を教えてください。

実際に GCC や Clang で (オプションとして -std=c99 を付けて) 試してみたところ

int a=1, b=a;

という書き方は通りましたが

int c=d, d=1;

はエラーになるというところから、書かれた順に分割した

int a=1;
int b=a;
int c=d;
int d=1;

とおおよそ等価なものとして解釈しているように見えますが、これは言語仕様として保証された動作でしょうか？

(この質問での変数宣言はローカル変数の場合であることとします。)

Answer 1

複数の変数宣言がある場合、1つ目から順に処理されるということは保証されていると考えて間違いなさそうです。

他の宣言子の一部ではない宣言子を完結宣言子（full declarator）と呼ぶ。完結宣言子の最後は副作用完了点とする。（JIS X 3010:2003 6.7.5 宣言子より）

Comments

[pepperleaf]

厳密な仕様と言う意味では詳しくないですが、カンマ演算子と考えると、左から処理されるのでは?

[maisumakun]

同じカンマでも、関数の引数区切りでは順序が保証されませんので、別な根拠が必要かと思います。

[pepperleaf]

確かに、引数区切りのカンマは順序が保証されませんでした。
宣言のカンマは、、、ここも正確には仕様確認ですね。

[thkana]

宣言の区切りのカンマは、JISの規格書 6.7 宣言のところに
> コンマで区切られた宣言子の列
とあり、カンマ演算子とは別のものでしょう。

Answer 2

JISの規格書の
6.2.1 識別子の有効範囲
のところに

それ以外のすべての識別子は，その宣言子の完了の直後から始まる有効範囲をもつ。

とあるのが効くんじゃないかという気がします。