Java 拡張for文 変数宣言の場所

Question

こんばんは。早速ですが質問させてください。

普通のfor文と拡張for文の違いなのですが、拡張for文では変数の型指定が必須です。
例えば下記のソースコードはコンパイルエラーになります。

int i;

int[] array=new int[]{1,2,3};

for(i : array){
    //処理文
}

正しくは以下になります。

int[] array=new int[]{1,2,3};

for(int i : array){
    //処理文
}

しかしそれが普通のfor文になれば、切り離して記述できます。

int i;

for(i=0; i<3; i++){
    //処理文
}

そういう仕様だと言われるとそれまでなのですが、なぜ拡張for文では切り離して記述できないのか理由を教えていただきたいです。
コレクションだと問題が起きるとか、そういう関係でしょうか？

Answer 1

（ご指摘の通り）そういう 言語仕様 だからですね :P

---

以下は、拡張for文が導入された当時(Java 5)のガイドライン"The For-Each Loop"やJSR-201提案ドラフトからの推測です。

拡張for文の導入目的は、下記のようなJava 1.4以前でのコレクション要素走査の定型コードを

Collection<String> c = ... ;

for (Iterator<String> i = c.iterator(); i.hasNext(); ) {
    String s = i.next();
    ...
}

拡張for構文によって容易に記述できるようにすることが目的でした。つまりコレクション要素を指す変数sのスコープは、拡張for文の本体内部に閉じている状態が自然です。

Collection<String> c = ... ;

for (String s : c) {
    ...
}

要素代入先の変数が拡張for文より広いスコープを持っていた場合、コレクション要素走査後には「最後の要素」を指すことになります。本来の意図（コレクション要素の全走査）から考えると、そのような状況を作り出す意味はありません。

またプログラミングの一般論としても、変数スコープを必要以上に広げるのは好ましくないため、現在のような言語仕様になったと考えられます。

Comments

[nom_0124]

まさにその通りだと思います。多様な見方があって、大変勉強になりました。的確な回答ありがとうございました！