- 507 名前：474 mailto:sage [2008/03/26(水) 18:55:09 ]
- >>500
> 少なくとも、今の話題にtypedefは関係ないよね。
いや関係ある。
1. 引数の型が違う → 型をチェックすれば、検出できる間違いがある
2. 引数の型は同じだが、値に互換性がない → 値の互換性をチェックすれば、検出できる間違いがある
3. 引数の型が同じで、値にも互換性があるが、変数を取り違えている → お手上げ
こういう3段階があるものの、基本的には同一の問題だろう。
> コンパイラにプログラムの意味を解釈させるというのは、全く現実的な話じゃないわけさ。
その通り。俺に対して反論してる人が現実的ではない話を持ち出してるだけだぞ。
なんで明らかにダメな方向に誤解して、その誤解の上でしか成りたたない反論をするんだろ。
> BMI指数なんかは、体重/身長^2 で計算するんだがこれは論理エラーなのか？
そういう計算をする関数は数が限られているのだから、
それが意図したものであれば、慎重にチェックの対象から外せばいい。
