C语言为什么不执行数组下标的有效性检查