12.4　数组访问越界

当引用数组中的元素时，编译器不会关心元素是否真的存在，只是计算相对第一个元素的距离，产生获取或更改对应内存中内容的指令。若元素超过数组的边界，结果则是不可预测的。如果你很幸运，程序就会立即报错，或者抛出边界冲突异常。如果你没那么幸运，程序继续运行时，可能得到奇怪的结果。我们需要保证在数组越界前，for语句的条件部分能终止循环。条件表达式Index < NumberOfElements可以满足这条要求，因为有效索引的最大值总是比数组中元素的个数小1。