理解JavaScript中.reduce()在键值对匹配对象过滤中的作用

我正在尝试理解一段用于基于键值对匹配过滤对象数组的JavaScript代码，该代码可正常运行，但我难以理解末尾.reduce()方法的用途。代码如下：

function whatIsInAName(collection, source) {
  const sourceKeys = Object.keys(source);
  return collection.filter(obj => sourceKeys
      .map(key => obj.hasOwnProperty(key) && obj[key] === source[key])
      .reduce((a, b) => a && b));
}

这段代码的预期功能是返回collection中与source对象键值对完全匹配的对象数组，但我不清楚此场景下.reduce()方法的作用。以下是详细的逻辑解释：

代码整体逻辑拆解 #

• 提取source的键名：const sourceKeys = Object.keys(source) 将传入的source对象的所有键名提取为数组，例如source为{name: "Alice", age: 25}时，sourceKeys就是["name", "age"]。
• 过滤目标数组：调用collection.filter()遍历collection中的每个对象obj，通过后续逻辑判断该对象是否符合匹配条件，符合条件的对象会被保留到结果数组中。

map方法的作用 #

sourceKeys.map(key => obj.hasOwnProperty(key) && obj[key] === source[key]) 会遍历sourceKeys中的每个键，对当前obj做两项检查：

• 检查obj是否包含当前键（obj.hasOwnProperty(key)）
• 检查obj中该键的值与source对应键的值是否完全相等（obj[key] === source[key]）

这一步会返回一个布尔值数组：如果obj满足所有键的匹配条件，数组会是[true, true]这类全true的数组；如果有任意一个键不满足，数组中就会出现false，比如[true, false]。

reduce方法的核心作用 #

filter方法要求判断条件返回单个布尔值（true则保留对象，false则剔除），但map返回的是布尔值数组，无法直接作为filter的判断依据——这就是reduce的核心价值：将布尔数组转换为单个最终布尔值。

reduce((a, b) => a && b) 的执行逻辑是：

1. 初始时，a取数组第一个元素，b取第二个元素，计算a && b得到一个布尔值
2. 将上一步的结果作为新的a，与数组下一个元素b再次执行&&运算
3. 重复上述步骤直到遍历完整个数组

由于&&逻辑的特性是只要有一个操作数为false，结果就为false；只有所有操作数都是true时，结果才为true，因此这个reduce操作的本质是验证：当前obj是否满足source所有键值对的匹配要求。只有当map返回的布尔数组全为true时，reduce的结果才是true，对应的obj才会被filter保留。

为什么reduce是必要的？ #

如果去掉reduce，map返回的布尔数组会直接作为filter的判断条件。但在JavaScript中，非空数组属于真值，不管数组里有没有false，filter都会将对应的obj保留，完全无法实现“只保留完全匹配的对象”的需求。reduce将数组转换为单个布尔值，刚好满足filter对判断条件的要求。

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