发现问题如下:
//这样写不会发生越界
int area = 0;
while(area < temp2.length - 1){
temp2[area] = temp2[area + 1];
area++;
}
//这样会发生越界
int area = 0;
while(area < temp2.length - 1){
temp2[area++] = temp2[area + 1];
}
第一种情况(不会越界):
int area = 0;
while(area < temp2.length - 1){
temp2[area] = temp2[area + 1];
area++;
}
在这个循环中,每次迭代都会首先检查area < temp2.length - 1
,确保area + 1
是一个有效的索引(即不超过数组的最后一个元素的索引)。这保证了在尝试访问temp2[area + 1]
之前,该索引是有效的。在每次迭代结束时,area
增加1,准备下一次迭代,但循环的条件会阻止它超过temp2.length - 1
。
第二种情况(会越界):
int area = 0;
while(area < temp2.length - 1){
temp2[area++] = temp2[area + 1];
}
在这个循环中,问题出现在temp2[area++] = temp2[area + 1];
这一行。这行代码包含两个操作:首先,temp2[area + 1]
被读取(这里还没有问题,因为area
还小于temp2.length - 1
),然后area
的值通过area++
增加1。但关键点是,这个增加是在访问temp2[area + 1]
之后发生的。
这意味着,在最后一次迭代中,当area
等于temp2.length - 2
时,temp2[area + 1]
被成功访问(此时为temp2[temp2.length - 1]
,即数组的最后一个元素),但紧接着area
增加到了temp2.length - 1
。此时,循环的下一个迭代(尽管实际上不会发生,因为循环条件已不满足)会尝试访问temp2[area + 1]
,即temp2[temp2.length]
,这是一个越界访问,因为数组索引是从0到temp2.length - 1
的。
然而,在这种情况下,虽然代码在逻辑上存在潜在风险(因为它依赖于area
的增加在读取之后发生),但由于循环条件area < temp2.length - 1
的存在,实际上并没有执行到会越界的代码行。因此,直接的越界错误不会发生,但代码的设计使得它更容易引入错误或难以理解。