插入排序添加i2==-1时break判断后算法失效问题咨询

问题复现 #

实现的基础版插入排序在无额外判断时运行完全正常，代码如下：

for (int i = 0; i < arr.length; i++) {
    T curr = arr[i];
    int i2 = i - 1;
    // if (i2 == -1) {
    //     System.out.println("yes");
    //     break;
    // } 
    while (i2 >= 0 && comparator.compare(arr[i2], curr) > 0) {
        arr[i2 + 1] = arr[i2];
        i2--;
    }
    arr[i2 + 1] = curr;
}

原本认为第一次迭代i=0时，i2=-1不会进入while循环，最终执行的arr[0] = curr只是把首元素放回原位，属于无意义操作，因此添加了如下判断想跳过这次迭代：

if (i2 == -1) {
    System.out.println("yes");
    break;
}

但取消注释启用这段判断后，排序直接失效，找不到两段逻辑的实际差异。

问题根因 #

两个关键的认知错误导致了这个bug：

• break关键字的作用不符合预期：break会直接终止外层的整个for循环，而非跳过当前单次迭代。也就是说触发这个判断后，i=0的第一轮跑完就直接结束了整个排序流程，i=1到数组末尾的所有元素根本没有被处理，排序自然失败。如果要跳过单次迭代继续下一轮，应该使用continue关键字，但就算替换成continue，这段逻辑依然是错的。
• i2 == -1的触发场景不止第一次迭代：插入排序的逻辑是每轮取待插入元素，向前挪动所有比它大的元素，直到找到更小的元素或者走到数组起点（i2=-1），再把元素插入对应位置。只要某一轮的待插入元素是当前已遍历区间的最小值，就会一路挪到数组头部，最终i2同样会被递减到-1。如果碰到i2=-1就跳过后续赋值逻辑，这些本该放到数组头部的元素就不会被正确归位，排序结果依然错误。

正确优化方案 #

如果想省掉i=0那次无意义的迭代，完全不需要在循环内加判断，直接把for循环的起始索引从0改成1即可——插入排序本身就默认第一个元素是已排序区间的起点，从第二个元素（索引1）开始处理完全符合算法逻辑，也没有额外分支开销：

// 直接从i=1开始遍历，跳过首元素的无效处理
for (int i = 1; i < arr.length; i++) {
    T curr = arr[i];
    int i2 = i - 1;
    while (i2 >= 0 && comparator.compare(arr[i2], curr) > 0) {
        arr[i2 + 1] = arr[i2];
        i2--;
    }
    arr[i2 + 1] = curr;
}

补充：原代码中i=0的迭代本身开销极低，只是几次寄存器级别的变量操作，就算不优化对整体性能的影响也可以忽略。在循环内部额外加判断反而可能增加分支预测失败的开销，直接修改循环起始值是最简洁高效的写法。

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