C++冒泡排序在已排序数组场景下运行失败，求问题分析

核心问题出在内层循环的边界条件错误，导致数组越界访问，这是C++中典型的未定义行为——有时看似能运行（比如测试{7,5,6,4}时），但这只是巧合，越界访问的内存刚好没有破坏程序的关键数据；而当传入已排序数组{1,2,3}时，越界访问触发了错误。

错误原因 #

原代码中内层循环的条件是j < size，当j等于size-1时，j+1等于size，此时访问numbers[j+1]就是访问数组的第size个元素，但C++数组的有效下标范围是0到size-1，这属于越界访问，会导致不可预测的程序行为。

修正方案 #

1. 首先修正内层循环的边界，确保不会访问越界的元素：每一轮冒泡排序都会将当前最大的元素“浮”到数组末尾，因此后面i个元素已经是有序的，不需要再比较，所以内层循环的条件应改为j < size - 1 - i；至少也要改为j < size -1，避免越界。
2. 可以添加一个标志位，判断当前轮是否发生了交换，如果没有交换，说明数组已经完全有序，直接提前退出循环，优化排序效率。

修正后的完整代码 #

#include <iostream>

using namespace std;

void bubbleSort(int numbers[], int size) {
    for (int i = 0; i < size; i++) {
        bool swapped = false;
        // 内层循环只需要比较到未排序的最后一个元素
        for (int j = 0; j < size - 1 - i; j++) {
            if (numbers[j] > numbers[j+1]) {
                swap(numbers[j], numbers[j+1]);
                swapped = true;
            }
        }
        // 本轮无交换，说明数组已完全有序，提前结束
        if (!swapped) {
            break;
        }
    }
}

int main() {
    int numbers[] = {1,2,3};
    bubbleSort(numbers, 3);
    
    for (int print = 0; print < 3; print++) {
        cout << numbers[print] << endl;
    }
    
    return 0;
}

补充说明 #

• 对于已排序的数组，修正后的代码只会执行一轮循环就退出，时间复杂度从O(n²)优化到O(n)。
• 数组越界是C++中常见的错误，一定要注意下标范围，避免访问超出数组长度的元素。

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