every用于空数组返回true的探究

在 JavaScript 中，every 是数组的一个方法，用于测试数组的所有元素是否都通过了指定函数的测试。every 方法返回一个布尔值，表示数组中的所有元素是否都满足指定函数的条件。

代码先行：

const emptyArray = [];
const condition = (element) => element > 0;

const result = emptyArray.every(condition);
console.log(result);  // 输出 true

const nonEmptyArray = [1, 2, 3];
const condition = (element) => element > 2;

const result = nonEmptyArray.every(condition);
console.log(result);  // 输出 false

ECMAScript 规范

根据 ECMAScript 规范，every 方法的定义是“如果数组中的每个元素都满足测试函数，则返回 true；否则返回 false”。在这个定义下，对于空数组，可以理解为“所有的元素都满足条件”（因为没有元素违反条件），基于上述观点空数组符合 every 的语义。

Array.prototype.every()源码分析

个人认为对every方法分析最为直接的方式是分析源码，以下为Array.prototype.every()源码

// 简化的 every 方法实现
Array.prototype.every = function(callback, thisArg) {
  // 获取数组对象
  const array = this;

  // 获取数组长度
  const length = array.length;

  // 检查回调是否为函数
  if (typeof callback !== 'function') {
    throw new TypeError('Callback must be a function');
  }

  // 设置上下文（this 指向）
  const context = thisArg || window;

  // 遍历数组的每个元素
  for (let i = 0; i < length; i++) {
    // 检查是否为稀疏数组
    if (i in array) {
      // 调用回调函数，传入当前元素、索引和数组本身
      const result = callback.call(context, array[i], i, array);

      // 如果有一个元素不满足条件，返回 false
      if (!result) {
        return false;
      }
    }
  }

  // 如果所有元素都满足条件，返回 true
  return true;
};

从中可以获知，如果数组的长度为 0（即空数组），则直接返回 true。

这也就是every用于空数组返回true的原因；

在用到every的时候，也会常想起some

some用于空数组返回false

some 方法的定义是检查数组中是否至少有一个元素满足提供的测试函数，而在空数组中没有任何元素，因此无法找到满足条件的元素。

const emptyArray = [];

const hasEvenNumber = emptyArray.some((element) => element % 2 === 0);

console.log(hasEvenNumber); // 输出 false

Array.prototype.some()源码分析

Array.prototype.some = function(callback, thisArg) {
    'use strict';

    if (this == null) {
      throw new TypeError('Array.prototype.some called on null or undefined');
    }

    if (typeof callback !== 'function') {
      throw new TypeError('Callback must be a function');
    }

    const array = Object(this);
    const length = array.length >>> 0;

    for (let i = 0; i < length; i++) {
      if (i in array && callback.call(thisArg, array[i], i, array)) {
        return true;
      }
    }

    return false;
  };

对于空数组，some 方法会遍历 0 次，因为数组的长度为 0。因此，回调函数不会被执行，而返回false

关于很多博客钟提及到的空洞原理，真空概念等，也可以作为解释上述every，some结果的原因，如果有其他更好的认识，欢迎各位评论区留言，非常感谢！