C++实现数组零元素移尾 调用pushzero后n变为0问题排查

• 核心错误是数组下标越界写操作，直接篡改了main函数中局部变量n的值：
  pushzero函数内层循环终止条件为j < i + 1，当外层循环i遍历到n-1（数组最后一个合法元素下标）时，内层j会取到n-1，此时执行swap(arr[j+1], arr[j])会访问arr[n]，该位置已经超出数组arr的合法内存范围。C++栈上分配的局部变量内存是连续排布的，arr数组尾部紧邻的内存恰好存储的是main函数中的变量n，越界写入操作直接把n的值覆盖为0，导致后续打印数组的for循环判断条件j < n初始就不成立，没有任何输出。
• 附加问题：原实现的双层循环移动逻辑边界控制缺失，且时间复杂度为O(n²)，数据规模较大时性能很差。

采用双指针实现，时间复杂度O(n)，无越界风险：

#include <bits/stdc++.h>
using namespace std;

void pushzero(int arr[], int n) {   
    int nonZeroPos = 0;
    // 第一遍遍历将所有非零元素按原顺序移到数组前部
    for (int i = 0; i < n; i++) {
        if (arr[i] != 0) {
            arr[nonZeroPos++] = arr[i];
        }
    }
    // 第二遍遍历将后部剩余位置全部填充为0
    for (int i = nonZeroPos; i < n; i++) {
        arr[i] = 0;
    }
}

int main() {
    int arr[] = { 2, 6, 0, 0, 1, 9, 0, 8, 0 };
    int n = sizeof(arr) / sizeof(arr[0]);
    
    cout << "原数组：" << endl;
    for (int i = 0; i < n; i++) {
        cout << arr[i] << " ";
    }
    cout << endl;

    pushzero(arr, n);
    
    cout << "移动零后的数组：" << endl;
    for (int j = 0; j < n; j++) {
        cout << arr[j] << " ";
    }
    cout << endl;
    return 0;
}

如果要保留原有的冒泡交换思路，必须把内层循环的上界改为j < n - 1，保证j+1始终是合法数组下标，但该写法性能远低于双指针实现，不推荐使用。

内容的提问来源于stack exchange，提问作者UTKARSH LUCIFER