MNAの世界

ブログをリニューアルしました!コメント、リンク、ツイートなどはお気軽にどうぞ。

PC、技術系

気の利くコンパイラ

投稿日:2006年3月29日 更新日:

仕事でコードレビュー(C言語)をやっているとこんなコードを発見!

if(0 <= 変数名 <= 12) { ~ 処理 ~ }

この記述そのものに関しては、初心者が時々やる それほど珍しくは無い間違いですが、それよりも気になるのは しっかりコンパイルが通っていると言うことです。
そして、変換されたアセンブラコードを見ると この判定自体が取り除かれており、中の処理が必ず行われるようになっていたのです。

これはつまりこう言うことでしょうか。

「0 <= 変数名」が先に評価された場合、結果は 0 か 1。 つまり、「0 <= 12」も「1 <= 12」も必ず成立するために常に真となる。 よって、判定は取り除かれた。 「変数名 <= 12」を先に評価するとしても同様。

な、なるほど!
そう考えると文法的にも辻褄が合うような気がします。
でもこれってどう考えても意図した動作じゃないよな・・・

-PC、技術系


comment

リンクが多数含まれていると表示されないのでご注意ください。(スパム対策)

関連記事

no image

iPod死亡

なななんと!iPodが壊れました! こう書くと「どうせまた壊れたんじゃなくて壊したんじゃないの?」と言われそうですが、本当に壊れたんですってば(^^; 電源を入れるとHDDが異音を鳴らし、泣き顔アイコ… 続きを読む

no image

UDPでNAT越え 備忘録

最近は同人ゲームでもネット対戦を備えていることが多くなってきました。 対応ゲームはこれからどんどん増えていくことでしょう。 しかし、ほとんどの接続ユーザーがルータ越しに繋いでいる昨今ではNAT越えとい… 続きを読む

no image

EXCELの仕様

EXCELの昔から引きずられている謎仕様で、未だに改善される気配の無いもの。 そのひとつに、同名のファイルが開けないというのがあります。 例えば、仕事とかでみんながサーバに置いてあるEXCELファイル… 続きを読む

no image

[Android/Xperia] Eclipseを日本語化しよう!

AndroidもXperiaも関係ないような気がしますが備忘録ってことで。 「Help」→「[Install New Software…」で「Available Software」ダイアロ… 続きを読む

no image

エージェント来たる

先日mixiの外部ブログに対する扱いがあんまりな記事を書いてしばらくするとRSS取得時に来てたのとは別のなんだかよくわからないホストが巡回に来るようになりました。 2007/11/10 12:16:0… 続きを読む