双指针算法-合并两个有序数组

给你两个按 非递减顺序 排列的整数数组 nums1 和 nums2，另有两个整数 m 和 n ，分别表示 nums1 和 nums2 中的元素数目。

请你 合并 nums2 到 nums1 中，使合并后的数组同样按 非递减顺序 排列。

注意：最终，合并后数组不应由函数返回，而是存储在数组 nums1 中。为了应对这种情况，nums1 的初始长度为 m + n，其中前 m 个元素表示应合并的元素，后 n 个元素为 0 ，应忽略。nums2 的长度为 n 。

示例 1：

输入：nums1 = [1,2,3,0,0,0], m = 3, nums2 = [2,5,6], n = 3
输出：[1,2,2,3,5,6]
解释：需要合并 [1,2,3] 和 [2,5,6] 。
合并结果是 [1,2,2,3,5,6] ，其中斜体加粗标注的为 nums1 中的元素。

示例 2：

输入：nums1 = [1], m = 1, nums2 = [], n = 0
输出：[1]
解释：需要合并 [1] 和 [] 。
合并结果是 [1] 。

示例 3：

输入：nums1 = [0], m = 0, nums2 = [1], n = 1
输出：[1]
解释：需要合并的数组是 [] 和 [1] 。
合并结果是 [1] 。
注意，因为 m = 0 ，所以 nums1 中没有元素。nums1 中仅存的 0 仅仅是为了确保合并结果可以顺利存放到 nums1 中。

提示：

• nums1.length == m + n
• nums2.length == n
• 0 <= m, n <= 200
• 1 <= m + n <= 200
• -10^9 <= nums1[i], nums2[j] <= 10^9

**进阶：**你可以设计实现一个时间复杂度为 O(m + n) 的算法解决此问题吗？

分析

由于数组nums1已经预留了空间，且预留空间在后面。从前往后合并，将会破坏原来nums1的数据，我们可以利用空白空间从后往前合并。至于为什么从后往前能够不破坏nums1的空间，可以这样来证明：

因为nums1的预留空间为m + n多出的n足够保留由数组nums2合并而来的值，而数组nums1的元素在合并过程中，在占用空间的同时也会释放空间，因此可以完美地在已有空间内完成合并。

void merge(vector<int>& nums1, int m, vector<int>& nums2, int n) {
    if (n == 0)
        return;
    int rindex = m + n - 1;//从右至左填入数字
    while (rindex >= 0) {
        if (m <= 0) 
            nums1[rindex--] = nums2[--n];
        else if (n <= 0)
            nums1[rindex--] = nums1[--m];
        else {//填入更大的值
            if (nums1[m - 1] > nums2[n - 1])
                nums1[rindex--] = nums1[--m];
            else
                nums1[rindex--] = nums2[--n];
        }
    }
}