必须检查 i >= 0 且 i

Java 中访问 array[i] 前必须检查什么

不是只检查 i 就够了。Java 数组索引合法范围是 <code>[0, array.length)，负数和超长都会抛 ArrayIndexOutOfBoundsException。所以每次直接用下标前，两个条件缺一不可：

• i >= 0
• i

漏掉 i >= 0 在处理用户输入、计算偏移（如 i - 1）或解析协议字段时特别危险。例如：if (i —— 若 <code>i 是 -1，照样崩溃。

遍历数组时 for 循环的边界怎么写才不越界

标准写法是 for (int i = 0; i 。关键在 <code> 而不是 <code>，因为最大合法索引是 <code>array.length - 1。

常见错误包括：

• 写成 i ：虽等价但易读性差，且当 <code>array 为 null 时先调 .length 就 NPE 了
• 循环中修改 i 或 array.length（比如在循环里 array = new int[...]）：下次判断仍用旧 length，但实际内存已变
• 用增强 for 却需要索引：这时别硬套 array[i]，改用传统循环或封装带索引的迭代逻辑

访问 array[i + 1] 这类相邻元素时怎么防越界

这是高频越界点。不能只检查 i 合法，必须确认 i + 1 也在范围内。正确模式是：

if (i >= 0 && i + 1 <p>注意：不要写成 <code>if (i ，虽然数学等价，但当 <code>array.length == 0</code> 时，<code>array.length - 1</code> 是 -1，<code>i  判断可能掩盖 <code>i</code> 本身为负的问题；而 <code>i + 1  在 <code>array.length == 0</code> 时天然为 false，更安全。</code></code></code></p><h3>C# 和 Python 的差异提醒：它们默认不帮你兜底</h3><p>C# 的 <code>array[i]</code> 和 Python 的 <code>list[i]</code> 都会抛异常，但行为细节不同：</p>

• C#：array[-1] 直接抛 IndexOutOfRangeException，不支持负索引
• Python：list[-1] 是合法的（取末尾），但 list[100] 或 list[-100]（超出长度）仍抛 IndexError

这意味着：跨语言迁移逻辑时，不能假设负索引“自动安全”；也不能依赖某语言的宽容特性去写通用边界逻辑。统一用显式范围检查最可靠。

越界不是边缘情况，而是索引运算中每一步都可能触发的常态风险。最容易被忽略的是「复合索引」——比如 i + offset、i * 2、baseIndex + j，这些地方往往只校验了主变量，却忘了算式结果本身是否越界。