C语言为何不自动验证数组下标越界?