何と比較するかによるけど、
確保した領域を添字が越えたからといって
言語レベルで例外が発生するわけでもない。
実際いまだに buffer overrun が後を立たないわけだし。
このことだけとってもCは難しいんじゃないか？