循环不变量的深度理解

---

什么是循环不变量？

• 循环不变量指的就是循环过程中保持不变的性质
• 保持什么不变，可以根据实际问题进行具体定义。

例题：

力扣 26：删除有序数组中的重复项

给你一个 升序排列 的数组 nums ，请你 原地 删除重复出现的元素，使每个元素 只出现一次 ，返回删除后数组的新长度。元素的 相对顺序 应该保持 一致 。然后返回 nums 中唯一元素的个数。

考虑 nums 的唯一元素的数量为 k ，你需要做以下事情确保你的题解可以被通过：

• 更改数组 nums ，使 nums 的前 k 个元素包含唯一元素，并按照它们最初在 nums 中出现的顺序排列。nums 的其余元素与 nums 的大小不重要。
• 返回 k 

示例 1：

输入：nums = [1,1,2] 
输出：2, nums = [1,2,_] 
解释：函数应该返回新的长度2，并且原数组 nums 的前两个元素被修改为1, 2 。不需要考虑数组中超出新长度后面的元素。

• 由题可得每个元素出现的次数只有一次
• 思路：
  • 使用循环变量 i 遍历数组
  • 使用 j 在输入的数组上进行覆盖。
  • 注意：下表之差为1 的元素数值不可以相等
• 总结：用 i 进行遍历，j 赋值，j - 1 进行比较

参考代码

class Solution {
    public int removeDuplicates(int[] nums) {
        int len = nums.length;
        if (len < 2) {
            return len;
        }

        // 循环不变量：nums[0..j) 没有重复元素
        // j 指向了下一个要赋值的元素
        int j = 1;
        for (int i = 1; i < len; i++) {
            if (nums[i] != nums[j - 1]) {
                nums[j] = nums[i];
                j++;
            }
        }
        return j;
    }
}