2

独習Cの第三版で不明点があったので質問させていただきます。

以下引用ソースコードです。引用に問題などありましたらご指摘ください。

#include <stdio.h>

int main(void)
{
    printf("このプログラムはコンパイルできません");
    int i; /* これを先に書くこと */
    i = 10;
    printf("%d", i);

    return 0;
}

出力と同じく本文中でも「以下の例は誤りですから、コンパイルエラーとなります。」とあったのですが、手元のgccとclangでコンパイルが通り実行も可能でした。

題目としてはローカル変数を扱う内容の部分で、ブロック内で変数宣言をする際はそのブロックの先頭にしなければならないとあり、私は「宣言よりもprintfがあるとダメなのか」と思いながら書き試してみたのですが動いてしまい、よくわからなくなりました。

これはどういったことなのでしょう…読みやすさを重視して変数宣言の前の出力はするべきでないといった意味なのか、それとも昔はダメでいつからか上記のようなものがエラーを起こさなくなったのか、またはwin版のコンパイラと何か違うのか…問題ないなら無視したいのですが気になってしまいました。

回答よろしくお願いします。

3
  • 実際の書籍でどういった記述になっているのか分かりませんが、「これを先に書くこと」となっているint iの行全体をコメントアウトしてコンパイルするとエラーになりませんか?
    – cubick
    Commented 2019年1月30日 2:11
  • ちなみに、gcc の場合ですと -Wdeclaration-after-statement を付ければ warning: ISO C90 forbids mixed declarations and code というワーニングメッセージが表示されます。
    – user39889
    Commented 2019年1月30日 3:04
  • ご指摘ありがとうございます。コンパイルメッセージの細かいところで以前のバージョンの仕様での禁止事項も分かるのですね…参考になりました。
    – genzai
    Commented 2019年1月30日 7:39

1 件の回答 1

3

C言語の仕様が拡張されて、そうした記述を許すことになっています。
書籍は、その前に書かれたか、以前の仕様を前提に書かれているのでしょう。

総体的に書かれた記事
C言語 - Wikipedia

具体例を含む解説は、この記事などを参照してください。
連載:C言語の最新事情を知る(1)C99の仕様

変数宣言(C99/C11:§6.8.2)
 ANSI-Cまでは、関数内におけるローカル変数の宣言は、ブロック(※2015/10/19修正)の先頭で行う必要があった(リスト14)

#include <stdio.h>
#include <assert.h>

int sum(int count, int a[]) {
  assert(count >= 0);

  int sum = 0; // ANSI-Cではエラー
  for (int i = 0; i < count; ++i) {  // ANSI-Cではエラー
    sum += a[i];
  }
  return sum;
}

int main(int argc, char **argv) {
  int data[] = {1, 2, 3, 4, 5, 6, 7, 8, 9};
  printf("sum = %d¥n", sum(sizeof(data) / sizeof(data[0]), data));
}

リスト14は、ANSI-Cまでは文法エラーとなる。ANSI-Cまでは、変数の宣言はブロックの先頭に置く必要があったからだ。C99以降では文法が以下のように変更されている。

compound-statement:
  { block-item-list(opt) }

block-item-list:
  block-item
  block-item-list block-item

block-item:
  declaration
  statement

「compound-statement」がブロックを表す文法要素だが、「block-item」の定義を見ると分かるとおり、文と宣言とを任意の順序で記述できることが分かる。リスト14では、ブロックの途中に変数宣言が出現する他、for文の中で変数が宣言されている。これは仕様では§6.8.5(C99/C11)で規定されており、for文でのみ変数宣言を置くことが可能となっている(リスト16)。

for ( declaration expression(opt) ; expression(opt) ) statement

ここで宣言された変数は、for文のブロック内でだけ有効となる(リスト17)。

for (int i = 0; i < count; ++i) {
  sum += a[i];
}
printf("i = %d¥n", i); // エラー(変数未定義)

連載の続き
C11の仕様-脆弱性対応に関連する機能強化点
C11の仕様-それ以外の主な機能強化点
C99でリソース管理ライブラリを作ってみる

関連記事
旧時代のC言語を使うのはそろそろやめよう。
古いC言語(C89/C90)での変数宣言

1
  • 参照していた書籍の記述時点は2006年だったので完全にこれですね。文献の情報元紹介から解説までありがとうございます。理解しました。
    – genzai
    Commented 2019年1月30日 7:44

この質問に回答するには、ログインする必要があります。

求めていた回答ではありませんか? のタグが付いた他の質問を参照する。