Q&A
Closed
拡張for文において、今までの自分の理解では配列が順番に一時変数に代入されていくという感じで、下記のように
int[] ary = {10, 20, 30};
for(final int tmp : ary){
System.out.println(tmp);
}
と記述し、一時変数を定数とした場合、コンパイルエラーになるかと考えましたが、エラーにはなりません。
拡張for文の場合は通常のfor文とは異なり、Iteratorインタフェースが呼ばれて、メソッドの戻り値として値を受け取るのでエラーにはならないということでしょうか。
より理解を深めたいため、拡張for文の開始から実行されインタフェースやメソッドの呼び出し順序が知りたいです。
拡張for文の場合は通常のfor文とは異なり、Iteratorインタフェースが呼ばれて、メソッドの戻り値として値を受け取るのでエラーにはならないということでしょうか。
通常のfor文 / 拡張for文は関係なく、final変数を更新しなければコンパイルエラーになりません。
通常のfor文でfinal変数がコンパイルエラーになるのは、n++のように更新するからであって、それをしなければコンパイルエラーにはなりません。
for(final int n=0; n<3; n++) { ・・・ } //n++ がエラー
for(final int n=0; n<3; ) { ・・・ } //エラーにならない（ただし、無限ループ？）
@aymnkt
Questioner
@nak435 さん、ありがとうございます。
もしかして、「Iteratorが更新しているじゃないか」と思われるかもしれませんが、
「Iteratorが更新した値を定数化する」ということで、元々のコードで言うところの、tmp変数を更新しない限り、finalでエラーになることは無い、と言う理解です。
@aymnkt
Questioner
@nak435 さん、Iteratorが更新してるじゃないかと思っていました！スッキリしました。ありがとうございます。
解決したようでしたら、質問をクローズにするといいですよ。
@aymnkt
Questioner
@jinbei230525 さん、すみませんありがとうございます。抜けてました。
拡張for文は、イテレータを使用して配列やコレクションを簡潔に処理するための構文糖衣です。具体的には、拡張for文は内部でIteratorを生成し、そのIteratorを使用して要素に順次アクセスします。
以下は、拡張for文の基本的な動作フローです。
Iteratorが生成されます。hasNext()メソッドが呼ばれ、次の要素があるかどうかを確認します。hasNext()がtrueを返した場合、次にnext()メソッドが呼ばれて次の要素が取得されます。拡張for文の内部でIteratorが使用されているため、配列やコレクションがIteratorをサポートしている限り、拡張for文は正しく動作します。そのため、配列の場合でもコンパイルエラーにならないのは、Iteratorが正しく実装されているからです。
今回のコード例であるfor(final int tmp : ary)では、aryはint型の配列であり、int型はプリミティブ型であるため、Iteratorがプリミティブ型をサポートしている場合、Wrapperクラス（Integerなど）に変換されて拡張for文が処理されます。
@aymnkt
Questioner
@ORCHESTRA_TAPE さん、ありがとうございます。理解が深まりました。