みなさん、forステートメントの処理順序って理解されていますか？
例えばC言語を例に採ります。
for ( 式1; 式2; 式3 ) {
処理1
}
最初に式1が評価されます。主に、int i = 0;といったループに利用される変数の初期化処理を行いますね。
次に式2が評価されます。式2は、i < 10; といったループを実行するかどうかを判定するための条件式が入りますね。
そして式2が真(TRUE、つまり0以上)ならば処理1が実行されますし、
式2が偽(FALSE、つまり0)ならばこのforステートメントは抜けます。
これで1回目のループ処理は終わります。
さて、お次は2回目のループに入ります。
私は、1回目の処理1が実行された後の動きは次のようになると思っていました。
1回目の処理が終わった後、式2が評価されて、式2が真ならば処理1が実行され、式2が偽ならばこのforステートメントは抜ける。つまり、forステートメントは次のように処理される。式1→式2→処理1→式2→式3→処理1→式2・・・
しかしこれは誤りのようです。
microsoftのC の for ステートメントにはforステートメントを
for ( init-expression ; cond-expression ; loop-expression ) statement
と定義した後に次のように記載されています。
cond-expression が真 (0 以外) のときは、statement が実行されます。oop-expression を指定しているときは、次にそれが評価されます。loop-expression はそれぞれのくり返しを実行する前に評価されます。この式には型の制限がありません。loop-expression は、副作用も順番に処理されます。処理が終わったら、ステップ 2 に戻ります。
またC#については、C#の言語仕様 for ステートメントに記載されています。同様に、
for ( for-initializer ; for-condition ; for-iterator ) embedded-statement
と定義した後に次のように記載されています。
for-condition が存在しない場合、またはその評価が true の場合、制御は埋め込みステートメントに移ります。制御が埋め込みステートメントの終了点に到達すると (通常は continue ステートメントの実行から)、for-iterator 式がある場合は順に評価され、上のステップの for-condition の評価から次の反復が実行されます。
なのでC言語系（C、C++、C#)については次のように処理されると思われます。
1回目の処理が終わった後、式3が評価されて、式2が真ならば処理1が実行され、式2が偽ならばこのforステートメントは抜ける。つまり、forステートメントは次のように処理される。式1→式2→処理1→式3→式2→処理1→式3→式2→処理1→式3・・・
ウェブ上にあるループ処理をいくつか漁ってみましたが、この手の記述にはたどり着けなかったです。もしかして私は間違っていますかね？？もし間違っているようでしたらご指摘頂けると幸いに存じます。
追記
今日はこれで痛い目に遭いました。
1: CList cList;
2: for (POSITION pos = cList.GetHeadPosition(); pos != NULL; cList.GetNext(pos))
3: {
4: DWORD dwVal = cList.GetAt(pos);
5: if (dwVal == 1) {
6: cList.RemoveAt(pos);
7: pos = cList.GetHeadPosition();
8: }
9:}
としていたら、7行目でposがNULLとなってしまい、2行目のGetNext()でGPFですわ。
2行目のpos != NULLでガードできていると思ったのに・・・。
![Apple iPod 30GB ホワイト [MA002J/A]](http://images-jp.amazon.com/images/P/B000A40NH6.09.MZZZZZZZ.jpg)
ビデオ早送り方法
何度も読み返す価値が有る本
