本教程详解如何正确实现“将数组中所有零移动到末尾，同时保持非零元素相对顺序不变”的算法，指出常见双循环解法中的关键错误（缺少 break），并提供优化思路与完整可运行代码。
本教程详解如何正确实现“将数组中所有零移动到末尾，同时保持非零元素相对顺序不变”的算法，指出常见双循环解法中的关键错误（缺少 break），并提供优化思路与完整可运行代码。
在解决“移动零”（Move Zeroes）问题时，一个直观但易错的思路是：遍历数组，每遇到一个 0，就向右查找第一个非零元素并与其交换。看似合理，但若忽略交换后立即终止内层查找，会导致逻辑错误——正如提问者所遇：输入 [0,1,0,3,12] 得到错误结果 [12,3,1,0,0]，而非预期的 [1,3,12,0,0]。
问题根源在于内层循环未 break。以初始数组 [0,1,0,3,12] 为例：
-
i = 0时发现nums[0] == 0，内层j从 1 开始扫描； -
j = 1：nums[1] = 1 ≠ 0→ 交换nums[0]与nums[1]，数组变为[1,0,0,3,12]； -
但未 break！ 循环继续：
j = 3→nums[3] = 3 ≠ 0→ 再次交换nums[0]与nums[3]，得[3,0,0,1,12]； -
j = 4→nums[4] = 12 ≠ 0→ 第三次交换 →[12,0,0,1,3]。
可见，单个 0 被反复与后续多个非零值交换，彻底打乱了非零元素的原始顺序。
✅ 正确做法是在首次成功交换后立即跳出内层循环：
class Solution {
public void moveZeroes(int[] nums) {
for (int i = 0; i <p>⚠️ 注意事项：</p>
- 该双循环解法时间复杂度为 O(n²)，适用于理解逻辑，但非最优；
- 更高效方案是使用双指针（快慢指针）：慢指针
i指向下一个应放置非零数的位置，快指针j遍历全数组；遇到非零数即nums[i++] = nums[j]，最后将i到末尾全部置 0。时间复杂度 O(n)，空间复杂度 O(1)； - 原地操作无需额外数组，但务必确保交换/赋值逻辑不破坏已有顺序；
- 测试边界用例：全零数组、无零数组、单元素、空数组，验证鲁棒性。
总结：算法正确性不仅依赖结构设计，更取决于对控制流细节（如 break、continue）的精准把握。一次遗漏，足以让顺序语义崩塌——这正是工程实践中“防御性编码”价值所在。
