13/12/31 04:11:30.26 BSWwac7z
>>88
>>101
いや、型表現や式表現に関連したバグは、大半がコンパイラでは検出出来なくはない。
が、それをやると表現の自由度が著しく悪くなるから、ワーニングですませてる。
そのワーニングも設定によってだしたりださなかったり出来る。
全部出したら五月蠅すぎて何が拙いかわからなくなるからね。
後は、言語の標準仕様が何年かに一回改訂されるから、それに関連して同じ表現でも挙動が変わることがある。
結局、そういう「際どい」問題とロジックの間違いが絡んで穴明けちゃう事が大半じゃないかな？