冒泡排序提前退出必须用标志位，否则即使数组有序也会执行n-1轮、时间复杂度为O(n²)；标志位swapped应在每轮开头置false、交换时置true，于内层循环结束后检查是否break。
冒泡排序提前退出为什么必须用标志位
不设标志位的冒泡排序哪怕数组已经有序，也会完整跑完 n-1 轮比较，时间复杂度死卡在 O(n²)。标志位（比如 swapped）本质是记录「本轮是否发生交换」——只要某轮没交换，说明已全局有序，立刻 break。
常见错误是把标志位放在外层循环初始化位置，导致每轮都重置为 true，失去判断意义；正确做法是在每轮开始前设为 false，仅在 swap 时置为 true。
- 标志位变量必须定义在
for外层循环内，但初始化在每轮开头 - 不要用
int或char模拟布尔，直接用bool swapped = false - 检查时机必须是内层循环结束后，而非每次交换后立即跳出
交换逻辑写在内层循环末尾还是中间
标准冒泡的交换发生在相邻元素比较之后，即 if (arr[j] > arr[j+1]) { swap(arr[j], arr[j+1]); }。这个位置不能挪到循环体外或合并进条件表达式里——否则会跳过某些比较，破坏排序稳定性与正确性。
有人尝试用 std::swap 替代手写三行交换，没问题；但若用指针或引用做原地交换，务必确认索引不越界：j+1 最大值是 n-1，所以内层循环上限得是 i （优化版）或 <code>j （基础版）。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 交换必须紧贴比较条件，不可延迟到下一轮
- 使用
std::swap前要#include <utility>（C++11 及以后） - 手写交换时避免
a ^= b ^= a ^= b这类陷阱（对同一变量多次未序点修改，UB）
优化边界：为什么每轮后可以缩小右边界
冒泡每轮都会把当前未排序部分的最大值“冒泡”到末尾，所以第 k 轮后，最后 k 个位置已是最大 k 个数，无需再参与比较。内层循环上界从 n-1 动态缩为 n-1-k，能减少约一半比较次数。
这个优化和标志位不冲突，可叠加使用。但要注意：缩边界只影响比较范围，不影响标志位判断逻辑；且缩界后仍需保留至少一次遍历（即 j 中 <code>i 从 0 开始），否则第一轮就漏比较。
- 外层循环变量
i表示已排好序的尾部元素个数 - 内层循环写成
for (int j = 0; j ，不是 <code>j - 缩界优化对随机数据效果明显，但对已逆序数组无性能增益
完整可运行的优化版代码长什么样
下面这段是兼顾可读性、安全性和典型优化的实现，已通过小数组手动验证：
#include <iostream>
#include <vector>
void bubble_sort(std::vector<int>& arr) {
int n = arr.size();
for (int i = 0; i < n - 1; ++i) {
bool swapped = false;
for (int j = 0; j < n - 1 - i; ++j) {
if (arr[j] > arr[j + 1]) {
std::swap(arr[j], arr[j + 1]);
swapped = true;
}
}
if (!swapped) break;
}
}
注意 std::swap 是泛型函数，支持自定义类型（只要满足可移动/可复制）；若排序对象较重，建议传引用并确保移动构造可用。实际项目中除非教学或嵌入式极端受限，否则别真用冒泡——std::sort 在绝大多数场景下更快更稳。
