【正确答案】 D

【答案解析】数组元素的下标是从0开始的，若数组有n个元素，或数组定义为a[n]，那么数组下标的的范围是0～n-1，不能超出这个范围。本题中的数组有4个元素，下标只可能是0、1、2、3，所以程序产生数组下标越界异常。