while循环中潜在的数组越界问题

发现问题如下：

//这样写不会发生越界
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的存在，实际上并没有执行到会越界的代码行。因此，直接的越界错误不会发生，但代码的设计使得它更容易引入错误或难以理解。