关于双指针法在有序数组差值匹配与求和匹配中不同初始设置的工作原理疑问

这两种双指针初始位置的选择，核心是由目标条件的单调性决定的——说白了就是，当我们移动指针时，目标值（和/差）会怎么变化，我们得利用这种规律来高效缩小搜索范围，避免暴力枚举所有组合。咱们拆解来看：

案例2：两数之和等于目标值 #

先看你更熟悉的两数之和场景，数组是升序排列的对吧？

我们把left放在数组开头（最小元素），right放在数组末尾（最大元素），这种初始设置的逻辑非常直观：

• 如果当前和currSum < B：说明我们需要更大的和，那只能把left右移——因为right已经是最大的元素了，再往左移right只会让和更小，完全达不到目标；
• 如果当前和currSum > B：说明我们需要更小的和，那就把right左移——同理，left已经是最小的元素，再往左移没意义，只能通过减小right来降低总和；
• 一旦currSum == B，直接返回结果。

这种首尾指针的设置，让每一次指针移动都精准朝着接近目标的方向走，时间复杂度是O(n)，比暴力枚举的O(n²)高效太多。

案例1：两数之差等于目标值 #

再来看两数之差的场景，这里的核心逻辑和和问题完全不同，因为差值的单调性规律不一样：

对于升序数组，差值A[right] - A[left]（必须right > left，否则差值非正，假设目标B是正数）有两个特点：

• 固定left，right越往右，差值越大；
• 固定right，left越往右，差值越小。

如果我们照搬和问题的首尾初始设置（left=0，right=n-1），会遇到一个致命问题：当currDiff > B时，我们既可以左移right来减小差值，也可以右移left来减小差值——这时候没法确定移动哪个指针不会漏掉正确的组合，逻辑会混乱。

而代码里用left=0，right=left+1的初始设置，是为了从最小的可能差值开始遍历，同时保证每次移动指针的逻辑是唯一确定的：

• 如果currDiff < B：需要更大的差值，直接把right右移（因为固定left的情况下，right越右差值越大）；
• 如果currDiff > B：需要更小的差值，把left右移（固定right的情况下，left右移会缩小差值）；
• 特别处理left == right的情况：这时候right必须再右移一位，保证right始终在left右边，避免差值为0或负数。

这种方式相当于按left递增的顺序，逐个检查每个left对应的最小可能right，不会重复遍历，时间复杂度同样是O(n)，而且逻辑清晰，不会遗漏任何可能的组合。

总结一下 #

两种初始位置的选择，本质是适配不同目标条件的单调性：

• 两数之和：首尾指针的设置能让我们通过移动指针精准控制和的增减；
• 两数之差：相邻指针的设置能让我们按确定的逻辑遍历所有可能的差值，避免歧义。

内容的提问来源于stack exchange，提问作者Abhishek Ranjan