C语言对于数组引用不进行任何边界检查，而且局部变量和状态信息都放在栈中。这两种情况结合到一起就能导致严重的程序错误，比如对越界的数组元素的写操作。