JavaScriptのdo...while命令について。処理の違いがわかりません。

Question

こんにちは。
テキストでJavaScriptの文法の復習をしていて、よく理解できないところがあり、
質問させて頂きます。

わからないところ

do...while命令の説明で出てきた、以下2つのコードの結果の違いがよくわからないです。
(1度、自分のVSCodeで記述して挙動の確認はしております。)

①初期値xが8からスタートする場合

let x = 8;
do {
	console.log(x);
	x++;
} while (x < 10);

// 結果
// 8
// 9

②初期値xが10からスタートする場合

let x = 10;
do {
    console.log(x);
    x++;
} while (x < 10);
// 結果
// 10

テキストには次のように記載されていました。
「do...while命令は、後置判断で、ループ処理の最後に条件式を判断する。
もし、初期値の変数xを8ではなく、10にしてみると、1度だけループ処理が実行される。」

①の場合、x=10になっても、処理は実行されないのに、
②の場合では、x=10なのに、処理が実行される。
これはどうしてなのでしょうか？

後置判断なのであれば、①の場合であっても、
x=10になってもループ処理を実行してから処理を終了するという意味なのでは？と考えたのですが...。

ご存知の方がいらっしゃれば、教えて頂ければと思っております。

Answer 1

ポイントは「x を使った判定をするタイミング」だけではありません.
「x を出力するタイミング」「x が増えるタイミング」との関係が重要です.

let x = 8;
do {
    console.log(x);
    x++;
} while (x < 10);

let x = 10;
do {
    console.log(x);
    x++;
} while (x < 10);

確かにどちらも「x を使った判定をするタイミング」はループ処理の後です.
なので, 初めから条件を満たしている x = 10 のパターンでも必ず一度は処理が行われます.

問題は, 最初は条件を満たしていない x = 8 のパターンですね.
「x を出力して」「x を増やして」「x が 10 未満なら戻る」
の順番です. ひとつひとつ, 処理をなぞってみましょう. トレースしてみるんですね.

• x は 8 なので, 8 を出力する.
• x を 8 から 9 に増やす.
• x は 9 で 10 未満なので, 戻る.
• x は 9 なので, 9 を表示する.
• x を 9 から 10 に増やす.
• x は 10 で 10 未満ではないので, 進む.

お気づきでしょうか.
出力したした後に増やして, 増やした直後にそれを判定基準に用いているんです.
増やした後に, それを出力する前に判定に入るんです.
なので, 後者のコードで 10 が出力されることはありません.
これが

let x = 8;
do {
    x++;
    console.log(x);
} while (x < 10;

と, ループ内の処理順が逆だったら全く違う結果になることでしょう.
出力前に増やすので初期値の 8 は出力されなくなり,
逆に判定前に出力するので 10 は出力されるようになります.

Answer 2

後置判断なのであれば、①の場合であっても、

x=10になってもループ処理を実行してから処理を終了するという意味なのでは？と考えたのですが...。

はい。最初のx=8のときには判定せずにループが走ります。その後は判定→ループの中身の繰り返しです。

Answer 3

手抜きせず、ちゃんと順番に考えましょう。
①の場合、

x = 8;
console.log(x); // 8
x++;  // x=9
(x < 10); // 9 < 10 => true なのでループ継続
console.log(x); // 9
x++;  // x=10
(x < 10); // 10 < 10 => false なのでループ終了

Comments

[退会済みユーザー]

回答してくださり、ありがとうございます。
①の場合、x=9でループ処理をした時の最後のx++の時点で、x=10になり、その後に条件式を判断するから、falseになってループが終了するのですね！
②の場合だと、条件判断も何もない、最初からx=10だから、一旦ループ処理は行われて、やっと条件判断が出てきて、初めてfalseと判明し、ループが終了するという違いだったんですね！
納得できました。ありがとうございます！「後置判断」という言葉だけに囚われてしまっていたようですね。すみませんでした。