- 486 名前：デフォルトの名無しさん mailto:sage [2008/03/26(水) 09:10:16 ]
- 高さを表わすint型の値と重さを表わすint型の値は、
型は同じだけれども、値の意味が違う。
だから、
height = weight ;
のような代入は、
C言語の言語仕様的には間違っていないが、
プログラムの意味的には間違っている。
それを機械的に検出できないとは言ってない。
工夫して検出可能にすることもできる。
工夫して検出可能にするか、
あるいは、
小細工せず検出不可能のままにするかは、
自由だ。
ただ、ソフトウェアの規模が大きくなってくると、
「人間が注意してコーディングして、しっかりテストすればいいんだ」
なんて言ってられなくなるので、
機械的に検出できるものは検出しよう、ということになるわけ。
