优化JavaScript两个数组元素部分匹配的判断逻辑

你当前的实现存在两个明显的性能损耗点：

• 时间复杂度为O(nm)*：Array.includes是线性遍历方法，每次判断array_1的元素是否存在于array_2时，都要从头遍历array_2，两个数组长度越大，性能下降越明显
• 重复遍历array_1：分别调用some和every在最坏情况下会遍历两次array_1，多了一轮不必要的开销

更优实现思路 #

核心优化点有两个：

1. 先把array_2转为Set结构，Set的has方法查询时间复杂度为O(1)，直接把查询开销从线性降到常量级
2. 单次遍历array_1，用两个布尔值分别标记「是否存在匹配元素」「是否存在不匹配元素」，遍历过程中加提前终止的剪枝逻辑，只要已经满足部分匹配的两个判定条件，就直接返回结果，不用遍历完所有元素。

优化后的整体时间复杂度为O(n+m)，在数组长度较大时性能相比原实现有数十倍的提升，代码如下：

const array_1 = [7, 6];
const array_2 = [4, 6, 7, 2, 9];

function isPartiallyMatched(arr1, arr2) {
  const targetSet = new Set(arr2);
  let hasMatched = false;
  let hasUnmatched = false;
  for (const item of arr1) {
    if (targetSet.has(item)) {
      hasMatched = true;
    } else {
      hasUnmatched = true;
    }
    // 剪枝：同时满足「有匹配、有不匹配」就是部分匹配，直接返回无需继续遍历
    if (hasMatched && hasUnmatched) {
      return true;
    }
  }
  // 遍历完成后做最终校验
  return hasMatched && hasUnmatched;
}

const result = isPartiallyMatched(array_1, array_2);

注意：如果数组元素是引用类型（比如对象、数组），Set无法直接完成值匹配，这种场景可以把用于匹配的唯一标识字段提取出来作为Map的key存储，整体优化逻辑不变。

内容的提问来源于stack exchange，提问作者Jake Cano