插入排序实现疑问：变量在括号内与外递减的差异及适用场景

问题重现 #

你在实现插入排序（要求复制原数组到新数组排序，保留原数组不变）时，发现以下写法无法正常工作：

vector<int> insertionSort(vector<int>& heights) {
    vector<int> expected(heights.size(), 0);
    int j, key;
    for(int i = 0; i < expected.size(); i++){
        expected[i] = heights[i];
        
        j = i-1;
        key = expected[i];
        while(j >= 0 && expected[j] > key){
            expected[j+1] = expected[j--];    
        }
        
        expected[j+1] = key;
        
    }
    
    return expected;
}

但将递减操作移到括号外后，函数恢复正常：

while(j >= 0 && expected[j] > key){
    expected[j+1] = expected[j];
    --j;
}

两种写法的核心区别 #

问题的核心在于后置递减运算符的执行逻辑和表达式求值顺序：

1. 错误写法expected[j+1] = expected[j--]
   后置递减j--的规则是：先返回j的当前值，再将j减1。在这个赋值语句中：

   • 首先计算右边的expected[j--]：用当前的j值访问数组元素，然后j立刻减1。
   • 接着计算左边的expected[j+1]：此时j已经是减1后的值，j+1就等于原来的j值。
   • 最终效果是把expected[原j]的值赋给expected[原j]，相当于原地赋值，完全没完成“将大元素向后移动一位”的排序逻辑，自然导致排序失败。

2. 正确写法（分开执行）

   • 先执行expected[j+1] = expected[j]：此时j未改变，正确将当前j位置的元素移动到j+1位置。
   • 再执行--j：将j减1，为下一轮比较前一个元素做准备，完全符合插入排序的“移位-比较”逻辑。

何时在表达式内/外执行递减操作 #

• 适合在表达式内用递减的场景：
  当你只需要使用变量的当前值，且表达式中其他部分不依赖变量变化后的值时，可以用前置/后置递减。比如：

  // 取当前i位置的元素，再将i加1，后续逻辑不依赖i的实时变化
  int val = arr[i++];
  

• 必须将递减单独写一行的场景：

  • 当表达式中多个部分依赖变量的原始值时，比如上面的排序场景，数组下标同时用到了j和j+1，此时在同一个表达式里修改j会导致逻辑混乱。
  • 为了代码可读性和避免未定义行为：C++中，同一个表达式里多次修改同一个变量（比如arr[i++] = i）的求值顺序是未定义的，分开写能彻底避免这类问题。
  • 当你需要明确控制变量修改的时机，确保逻辑按预期顺序执行时，单独写一行的可读性和安全性远高于内嵌在表达式中。

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