Statements

Cプログラムの文(statements)は、順次実行されるプログラムの断片です。任意の関数の本体は複合文(compound statement)であり、これは文と宣言のシーケンスです：

int main(void)
{ // 複合文の開始
    int n = 1; // 宣言（文ではない）
    n = n+1; // 式文
    printf("n = %d\n", n); // 式文
    return 0; // return文
} // 複合文の終了、関数本体の終了

ステートメントには5つの種類があります：

ラベル

任意のステートメントは、 ラベル付け することができます。ステートメントの前に名前とコロンを付けることで実現します。

任意の文（ただし宣言を除く）の前に任意の数の ラベル を置くことができます。各ラベルは identifier をラベル名として宣言し、これは外側の関数内で一意でなければなりません（言い換えると、ラベル名は function scope を持ちます）。

ラベルの宣言は単独では効果がなく、制御フローを変更せず、後続の文の動作をいかなる方法でも変更しません。

複合文

複合ステートメント、または block は、中括弧で囲まれた一連のステートメントと宣言です。

複合文は、宣言と文の集合を1つの単位としてグループ化することを可能にし、単一文が期待される場所であればどこでも使用できます（例えば、 if 文や反復文内で）：

if (expr) // if文の開始
{ // ブロックの開始
  int n = 1; // 宣言
  printf("%d\n", n); // 式文
} // ブロックの終了、if文の終了

各複合文は独自の ブロックスコープ を導入します。

自動 記憶域期間 を持つ変数の初期化子と、ブロック内で宣言されたVLA宣言子は、制御フローがこれらの宣言を順番に通過する際に、それらが文であるかのように実行されます：

int main(void)
{ // ブロックの開始
  { // ブロックの開始
       puts("hello"); // 式文
       int n = printf("abc\n"); // 宣言、"abc"を出力し、nに4を格納
       int a[n*printf("1\n")]; // 宣言、"1"を出力し、8*sizeof(int)を割り当て
       printf("%zu\n", sizeof(a)); // 式文
  } // ブロックの終了、nとaのスコープ終了
  int n = 7; // nは再利用可能
}

式文

式の後にセミコロンを付けると、それは文となります。

典型的なCプログラムのほとんどの文は、代入や関数呼び出しなどの式文です。

式を持たない式文は null statement と呼ばれます。これは for ループや while ループに空のボディを提供するためによく使用されます。また、複合文の終端や宣言の前にラベルを配置するためにも使用できます：

puts("hello"); // 式文
char *s;
while (*s++ != '\0')
    ; // 空文

選択文

選択ステートメントは、式の値に応じて複数のステートメントの中から1つを選択します。

反復文

反復文は、文を繰り返し実行します。

ジャンプ文

ジャンプ文は無条件にフロー制御を移行します。

参考文献

関連項目