ブログをリニューアルしました！コメント、リンク、ツイートなどはお気軽にどうぞ。
投稿日：2006年3月29日 更新日：
仕事でコードレビュー(C言語)をやっているとこんなコードを発見！
if(0 <= 変数名 <= 12) { ～ 処理 ～ }
この記述そのものに関しては、初心者が時々やる それほど珍しくは無い間違いですが、それよりも気になるのは しっかりコンパイルが通っていると言うことです。
そして、変換されたアセンブラコードを見ると この判定自体が取り除かれており、中の処理が必ず行われるようになっていたのです。
これはつまりこう言うことでしょうか。
「0 <= 変数名」が先に評価された場合、結果は 0 か 1。 つまり、「0 <= 12」も「1 <= 12」も必ず成立するために常に真となる。 よって、判定は取り除かれた。 「変数名 <= 12」を先に評価するとしても同様。
な、なるほど！
そう考えると文法的にも辻褄が合うような気がします。
でもこれってどう考えても意図した動作じゃないよな・・・
関連記事
健康診断で梅田方面に出撃したついでに巷で人気の玄箱を探してみたりする。 丁度ギガビット対応のスペックアップ版があったので、200GのHDと同時にGET! これは表向きにはNASだが、その正体はLinu… 続きを読む
ちょっと調べる機会があったので、備忘録として載せときます。 アジア諸国のホストを通じてスパムが送信されてくると言うケースは非常に多く、 今日においてはそれらの対策を迫られることも少なくありません。 簡… 続きを読む
会社でセキュリティ研修を受けました。 実は去年も受けているのですが、認定書みたいなのが1年の有効期限付きなので毎年更新しないといけないんですよね。 話の大筋は去年とほぼ同じでしたが、今年はそれに加えて… 続きを読む
以前書いたWindowsのパッチを当てるとリモートデスクトップでブルースクリーンになる現象から2ヶ月あまり。 当方にとってはあまりにも致命的な問題なので、仕方なくパッチを当てるのを回避してきましたが、… 続きを読む
