题目
给你两个按 非递减顺序 排列的整数数组 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 + nnums2.length == n0 <= m, n <= 2001 <= m + n <= 200-109 <= nums1[i], nums2[j] <= 109
进阶： 你可以设计实现一个时间复杂度为 O(m + n) 的算法解决此问题吗？
题解
由于数组nums1和nums2是有序的，我们可以使用双指针方法，将两个数组看作队列，每次从两个数组尾部取出比较大的元素放在nums1数组的尾部。
两个数组分别设置一个指针p1和p2分别指向尾部，
从后往前遍历的过程中，nums1数组有 m - p1 - 1个元素被放入nums1的尾部，nums2数组中有n - p2 -1个元素被放入 nums1的尾部， 而在指针p1的后面， nums1数组有 m+n-p1-1的位置。由于m + n - p1 - 1 >= m - p1 - 1 + n - p2 - 1 等价于 p2 >= -1 永远成立， 因此 p1后面永远有足够的空间容纳被插入的元素，不会产生p1被覆盖的情况
时间复杂度: O(M + N)
空间复杂度: O(1)
代码
/**
* @param {number[]} nums1
* @param {number} m
* @param {number[]} nums2
* @param {number} n
* @return {void} Do not return anything, modify nums1 in-place instead.
*/
var merge = function(nums1, m, nums2, n) {
let p1 = m - 1, p2 = n - 1;
let p3 = m + n - 1;
// 当前元素
let cur;
// 从 p1, p2 的末尾开始扫
while(p1 >= 0 || p2 >= 0) {
if (p1 === -1) {
cur = nums2[p2];
p2--;
} else if (p2 == -1) {
cur = nums1[p1];
p1--;
} else if (nums1[p1] < nums2[p2]) {
cur = nums2[p2];
p2--;
} else {
cur = nums1[p1];
p1--;
}
nums1[p3] = cur;
p3--;
}
};
