変数の宣言のタイミング

Question

###わからないこと
変数を宣言を次のように行なうのは正しいのか？

gcc -pedantic main.c

としてコンパイルしてもエラーにならないが，変数の初期化は最初にやるべきと昔教わったような気がします．

#include <stdio.h>

int SetVal(void) {
    return 1;
}

int main(int argc, const char * argv[]) {
    puts("Hello World");
    int a = SetVal();
    printf("a: %d\n", a);
    
    return 0;
}

Answer 1

変数の宣言が関数の途中で出来るようになったのは C99 からですが、出来るようになっているというだけでなく積極的に使う動機はあります。 そういう習慣的な面でも「正しい」と言えます。

その主な理由としてはふたつです。

• 初期化されてない状態は間違いのもと
• スコープが狭い方が間違って使いにくい

変数は値を格納しますが、関数の頭では入れるべき値がない (関数の途中で計算した結果を入れるような処理) というのは普通にあることで、値を入れるまでは変数の値は決まっていません。 初期化されていない変数をうっかり使うようなことがあるとわけのわからないバグになるかもしれません。 初期化されていないのが悪いというのをいい加減に理解した人が適当に 0 を入れておくとかいった運用をしているのも見ることがありますが、処理すべき意味のある値が入っていないという意味では同じです。 入れるべき値が出来たときに変数を導入すれば初期化されていない状態が生まれませんので、より間違い難い書き方です。

そして、うっかり間違って使う可能性があるのは、そこで変数が見えてしまうからです。 変数を使うべきでない箇所では見えないようにスコープをなるべく狭い範囲に限定してしまえば、間違って使おうとするとコンパイルエラーになってくれます。

Answer 2

C言語もいくつかバージョンがあり、C99からスコープの先頭以外でも宣言できるようになりました。

C99 - wikipedia