この例文はどうしてループ終了するのでしょうか？

Question

public class CommandLine{
public static void main(String[] args){
for(int i=0; i<args.length; i++){
System.out.println(args[i]);
}
}
}

iが０の時、args配列数が0。
0 < 0　で条件が不成立なのでループ入り。
System.out.println(args[i]);
最後にi++ でiは１になるという解釈をしています。

しかし、これだと最後に必ずi++が加算されるので、
args.lengthがiを上回る瞬間はなく永遠にループするのでは？と思いました。

どうしてこの例文はループ終了するのでしょうか？

Comments

[退会済みユーザー]

実行できるものは実行しな

[kidaer]

実行できるものを実行して正常に作動して不思議だったから質問しました。

[退会済みユーザー]

コマンドプロンプトから実行した場合、コマンドの入力待機に、エクリプスから実行した場合＜終了＞と出てませんでした?　その状態はプログラムが正常終了している状態です

[退会済みユーザー]

>や＜の意味が理解できないのは算数（不等号、等号　は小学校3年生の内容）と同じですけどね

[kidaer]

あっ、すいません。収納されていてレスついてたことに気付かず……。そうではなくて、正常に終了しているからどういう仕組みになっているか理解したかったのです。初心者なもので。あまり喧嘩腰なレスは勘弁してください。

Answer 1

mainメソッドの引数argsはコマンドライン引数と呼ばれ、Javaのプログラム実行時に渡す文字列です。
Windowsであればコマンドプロンプトに「java (クラス名)」と入力した後続けて入力する文字が空白区切りで配列の要素となり、mainメソッドに渡されます。
これがない場合、argsは要素数0の配列、つまり

args = new String[0];

としたのと同じ状態となります。この状態ではargs.lengthはもちろん0になります。
これ自体に、iがどうとかは一切関係がありません。

そのような状況を仮定して、改めてコードを見てみましょう。

for(int i=0; i<args.length; i++){
    System.out.println(args[i]);
}

まず初期化文でint型の変数iを0に初期化します。次に継続条件であるi < args.lengthをチェックします。
先ほど確認した通り、args.lengthは0です。現在iは0ですから、この継続条件の式は
0 < 0
を意味していることになります。これは偽、つまりfalseになりますから、継続条件が成立せず、ループを抜けます。
ループの中身も、更新文であるi++も一度も実行されることはありません。

Comments

[kidaer]

申し訳ありません。わかりやすく説明していただき、ようやく質問の内容と実際の現状がすれ違っていることに気付けました。

実行はコマンドプロントでしているのですが、入力時に

java CommandLine a i u

など、上記の内容を記入しています。

args.length;の中身を見ることができたのですが、
上記の内容の場合だと「３」になり配列の総数による普通のループだったことがわかりました。

本当に申し訳ありません。
これ以外の方法で実行できなかったので、そういうもんなんだなと思っており、実行方法を書き忘れた他、いただいたアドバイスを理解するのにも時間がかかってしまいました。

args.lengthが0で継続条件が成立しなかった為に、記入なしだとまともに実行しなかったんですね。

回答ありがとうございました！

Answer 2

iが０の時、args配列数が0。

なぜ？コマンドライン引数の与え方に依存するので、『iがxxのとき』と考える必要はありません。

0 < 0　で条件が不成立なのでループ入り。

ループの条件部は、ループを続ける条件です。
コマンドライン引数が与えられないときは、そもそもループに突入しません。

Comments

[kidaer]

回答ありがとうございます。
つまり、argsに中身がない時は自動的に終了するので、argsの数字を考える必要はないということでしょうか？　つまり形式としては０＜argsで数値を比べる形にはなっているけど、実際にはfalseかtrueの形になっている……という感じで解釈しました

Answer 3

□回答１
質問文は基本forステートメント（リンク先は英語です)
基本forステートメントは以下のようになっています。

for(初期化式;ループの継続条件式;インクリメント式){  
   ステートメント;
}

1,初期化式
2,ループ継続条件式の評価
3,ステートメント
4,インクリメント式
5,ループ継続条件式の評価
6,ステートメント
7,インクリメント式
・・以下5～7の繰り返しです。

の順に評価されます。
args配列数(args.length)が0の時は、上記2のループ継続条件式の評価がfalseなため、3以降の処理を行いません。

□回答２
極論ですが、基本forステートメントは以下のソースコードのシンタックスシュガーです。

{
  初期化式;
  while(ループの継続条件式) {
      ステートメント;
      インクリメント式;
  }
}

Comments

[kidaer]

たくさん回答をいただいたおかげで、質問の内容と現状がすれ違っていることに気付けました。申し訳ありません！

専門用語の方はまだ飲み込めないところがありますが、いろいろ覗いてみてわかるようになっていきたいと思います。

回答ありがとうございました！

Answer 4

forの2つ目に書くのは、ループ継続条件です。偽ならループを抜けます（ループに入りません）。

Comments

[kidaer]

では<args.length;の初期数値が１ということなのでしょうか？　わかりました。ありがとうございます！