Ｃ言語における文法のうち文についての把握

質問

Ｃ言語で文は「，」で区切るということですが、ここで言う文とは何でしょうか？具体的にどのようなものとして認識すれば
よいのでしょうか？

回答No.3

Yune-Kichi

※規格上で，boldのものは'で囲っています。また，下付文字でoptとなっているものは，(opt)と表現しています。

> いちばんお聞きしたいのはこの文とは何かです。

ISO/IEC 9899:1999 (以下IS) の6.8 Statements and blocksにあるものを言います。
> statement:
> 　labeled-statement
> 　compound-statement
> 　expression-statement
> 　selection-statement
> 　iteration-statement
> 　jump-statement
一応，これが「文」になるもの全てです。

細かく見ていきます。

IS 6.8.1 Labeled statements
> labeled-statement:
> 　identifier ':' statement
> 　'case' constant-expression ':' statement
> 　'default' ':' statement
ラベル付き文です。
一つ目がいわゆる「ラベル」，二つ目が「caseラベル」，三つ目が「defaultラベル」です。

IS 6.8.2 Compound statement
> compound-statement:
> 　'{' block-item-list(opt) '}'
複合文です。block-item-listは，以下のようになります。
> block-item-list:
> 　block-item
> 　block-item-list block-item
> block-item:
> 　declaration
> 　statement
declarationは文ではないので，block-itemが宣言または文という形になっています。
# C++では「宣言文」というのがあったりしますが (ISO/IEC 14882:2003 6.7 Declaration statement)

IS 6.8.3 Expression and null statements
> expression-statement:
> 　expression(opt) ';'
式文または空文。副作用を発生させるという意味で，一番重要な文です。
例えば，
puts("Hello, world!");
も式文になります。

IS 6.8.4 Selection statements
> selection-statement:
> 　'if' '(' expression ')' statement
> 　'if' '(' expression ')' statement 'else' statement
> 　'switch' '(' expression ')' statement
選択文。switchの定義は不思議かもしれませんが，こういう定義になっています。
また，ifやswitchの制御式はexpressionなので，C++と違ってここで宣言を行う事はできません。
# C++でdynamic_castする場合のような，有効な利用法はないと思いますが。

IS 6.8.5 Iteration statements
> iteration-statement:
> 　'while' '(' expression ')' statement
> 　'do' statement 'while' '(' expression ')' ';'
> 　'for' '(' expression(opt) ';' expression(opt) ';' expression(opt) ')' statement
> 　'for' '(' declaration expression(opt) ';' expression(opt) ')' statement
繰り返し文。4番目は
for (int i = 0; i < 10; ++i) ;
のようなことを許す為の定義。declarationに;が含まれるので，なんとなく不思議な文法定義になっています。
で，whileやforの制御式はexpressionなので，(以下略)。

IS 6.8.6 Jump statements
> jump-statement:
> 　'goto' identifier ';'
> 　'continue' ';'
> 　'break' ';'
> 　'return' expression(opt) ';'
最後に分岐文の定義です。

文の定義自体としては;で終わるものは少ないのですが，
;で終わらないものはcompound-statementを除いて末尾がstatementになっています。
このため，;で終わらない文は実質的にcompound-statementということになります。

なお，この逆，;で終わるから文は必ずしも成り立ちません。
IS 6.7 Declarations
> declaration:
> 　declaration-specifiers init-declarator-list(opt) ';'
と，宣言も;で終わる為です。

お礼

ご丁寧で詳しい解説は有難かったのですが、ちょっと今の私には難しすぎます。もうすこし理解が進んだらもう一度考えてみようかと思います。