- 514 名前：474 mailto:sage [2008/03/27(木) 22:48:04 ]
- >>509
変数の取り間違い、という同一の問題です。
段階0として、人間が目を皿にして探す、ってのを入れてもいいよ。
> >>474 を見たら、「コンパイラによる意味解釈」ということしか思いつかないのだけど。。。
> そもそもそのチェックって一体どうやってやるんだい？
LINTの類いを使っていないと、それしか思いつかないのかもしれないね。
> >>474でint型しか出さなかった理由がわからない。
C言語のtypedefはtypedefしてたってintはintだよ。
> 確認するけど、型チェックは大前提としあって、
> 他にも意味論を持ち出せばさらにバグが減らせるという主張でいいんだよね？
「意味論」なんて持ち出してないぞ。
