双指针法解析：有序序列合并的算法与实践

1. 从扑克牌游戏看有序序列合并的本质

合并两个有序序列的问题，就像玩扑克牌时的理牌过程。想象你手上有两叠已经按从小到大排好序的牌，现在需要将它们合并成一叠新的有序牌组。你会怎么做？最自然的方式就是每次比较两叠牌最上面的那张，选择较小的一张放到新牌组中。这就是合并有序序列的核心思想——双指针法。

在实际编程中，这个问题看似简单却蕴含着几个关键点：

1. 如何处理两个序列长度不等的情况？
2. 如何保证合并后的序列仍然有序？
3. 对于不同的数据结构（数组/链表），实现方式有何差异？

2. 双指针法的精妙之处

2.1 算法核心思想解析

双指针法的精妙之处在于它完美模拟了人类处理有序合并的自然思维过程。我们设置两个指针i和j，分别指向两个序列的起始位置，然后比较指针所指元素的大小，将较小的元素放入结果序列，并移动相应的指针。

这个算法之所以高效，是因为它只需要线性时间O(m+n)就能完成合并，其中m和n分别是两个序列的长度。每个元素只需要被比较和处理一次，没有任何冗余操作。

2.2 数组实现的关键细节

在数组实现中，有几个容易出错的细节需要特别注意：

1. 边界条件处理：当其中一个数组遍历完后，需要将另一个数组的剩余元素全部追加到结果中。这里最容易犯的错误是使用append而不是extend：

python复制# 错误示范
result.append(nums1[i:])  # 会把剩余部分作为一个整体元素添加

# 正确做法
result.extend(nums1[i:])  # 会将剩余元素逐个添加

2. 稳定性考虑：在比较元素时使用<=而非<，可以保证在元素相等时保持原始顺序，这在某些应用场景中很重要。

3. 指针移动逻辑：必须在添加元素后立即移动相应指针，否则会导致死循环。

3. 链表合并的特殊技巧

3.1 虚拟头节点的妙用

链表合并与数组合并最大的不同在于，链表操作需要处理节点间的连接关系。引入虚拟头节点(dummy node)是一个极其聪明的技巧，它可以：

1. 简化边界条件处理，无需单独考虑初始空链表的情况
2. 保持代码一致性，避免复杂的条件判断
3. 方便最终返回合并后的链表头

python复制def merge_two_lists(l1, l2):