for文の挙動に関して

Question

前提・実現したいこと

先日コードを書いた際に中に誤って以下のようなコードを書いてしまった。
ただそのコードでなぜそのような挙動になったのかよくわからなかった。

発生している問題・エラーメッセージ

出力結果が無限ループとなる。

該当のソースコード

// 出力結果 -> 0, 1・・・これはわかる
for(let i=0; i<2; i++){
  console.log(i);
}

// 出力結果 -> 2, 2, 2, 2, 2, ... ・・・なんで？
for(let i=0; i=2; i++){
  console.log(i);
}

自分の考え

公式MDNのfor文を参照(MDN公式)

for ([初期化式]; [条件式]; [加算式])
  文

for ループが実行されるとき、次の処理が行われます :

1. もしあれば、初期化式が実行されます。この式は通常、1 個またはそれ以上のループカウンタを初期化しますが、この構文ではいかなるレベルの複雑な式を入れることが可能です。初期化式で変数を宣言することもできます。

1. 条件式 条件式が評価されます。条件式の値が true の場合、ループ文が実行されます。条件式の値が false の場合、for ループは終了します。条件式がすべて省略されている場合、条件式は真であると仮定されます。

1. 文が実行されます。複数の文を実行するには、それらの文をグループ化するためにブロック文 ({ ... }) を使用します。

1. もしあれば、更新式 加算式が実行されます。

1. ステップ 2 に制御が戻ります。

iが2になった時ステップ2で条件式であるi=2は真となり、ステップ3まで進み、console.logが実行された後、加算式であるi++が実行されて、i=3となってそのあとにステップ2の条件式に戻る。その際iは3になるから条件式を満たさずconsole.logは出力されないのでは？と思った。

なので、console.logとして出力されるのは2が1回だけなのではないかと思っていました。
なぜ無限ループとなって2がずっと出力されるのでしょうか？

Comments

[otn]

「実装」というのは、「機能」に対して使う言葉です。

[vnsa7221]

こちらご指摘いただきありがとうございます。
安易に実装という言葉を使用しておりました。以後気をつけます。

Answer 1

条件式のi=2は代入なので、ステップ2を通るたびに、iは2になります。
i==2ならば、ご想定のものに近くなるかと。

Comments

[vnsa7221]

Lhankor_Mhyさん
こちらご回答いただきありがとうございます。
こちら確かに代入になっており、自分が想定していた考えとは全く別であることがわかりました。
ご丁寧にありがとうございます。

Answer 2

javascriptは式でも値を返すということを理解すれば少しはわかりやすいかも

var a=b=2;
console.log(b);//2
console.log(a);//2

これは、a=(b=2)、つまりbに2を投入し、その式が返した2をaに投入しているということです
話が戻って

var count=0;
for(var i=0;i=2;i++){
console.log(i);
if(++count>=10) break; //無限ループ防止用
}

i=2という式は「2」を返します、0以外の数値はbooleanではtrueとして扱われますので

• iは0から始まり
• ループ条件は常にtrue、その際iは2に上書きされる
• 実行
• ループしたらiをインクリメントして再処理
• 条件確認の際またiは2に上書きされる
• 実行
• (繰り返し)

となります

応用してたとえば

for(var i=2;i=0;i--){
console.log(i);
}

とすると、条件式がiに0を入れるのと合わせて0=falseを返すので
一度も実行されません

Comments

[vnsa7221]

yambejpさん
こちらご確認いただきありがとうございます。
また処理内容を詳細に記載いただきありがとうございます。
記載いただいた内容でどのような処理が実行されているのかよく理解することができました。
ご丁寧にありがとうございました。

Answer 3

i=2 の部分は「条件式」 なので

if (i = 2) { 
    console.log("true");
} else {
    console.log("false");
}

この処理はどうなるか？を考えれば良いです。

結論としては、i=2 の結果は（iに2が代入されて）「2」となるので、常にtrueとして判断されてしまうのです。

ちなみに

i==2 と書くと、最初の判定が 0==2 となりfalseとなってしまうため、一度も実行されません。

Comments

[vnsa7221]

tetsunosukeさん
こちらご確認いただきありがとうございます。
また「i==2」の場合に関しても記載いただきありがとうございます。
手元で実際にi==2にした時なんで動かないんだろうと思ってましたが、そもそも最初の判定でfalseとなるからかと納得することができました。
ご丁寧にありがとうございました。