JavaScript中浅数组相等性检查：现有实现是否可优化？

你的这段代码核心逻辑已经很高效，但可以从类型安全性、特殊值处理、语义化可读性这几个维度进行优化，下面是具体改进方案：

1. 增加类型校验，避免非数组输入报错 #

原代码如果传入null、undefined或普通对象，访问.length会直接抛出错误。先校验输入是否为数组，提升代码鲁棒性：

"use strict";

function arraysAreShallowEqual(arr1, arr2) {
  // 先判断是否都是数组
  if (!Array.isArray(arr1) || !Array.isArray(arr2)) {
    return false;
  }
  if (arr1.length !== arr2.length) {
    return false;
  }
  for (let i = 0; i < arr1.length; i++) {
    if (arr1[i] !== arr2[i]) {
      return false;
    }
  }
  return true;
}

2. 处理NaN的特殊判定逻辑 #

由于NaN !== NaN，原代码会把包含NaN的数组判定为不相等，但实际场景中往往希望NaN被视为“相等”。可以补充NaN的判断逻辑：

"use strict";

function arraysAreShallowEqual(arr1, arr2) {
  if (!Array.isArray(arr1) || !Array.isArray(arr2)) {
    return false;
  }
  if (arr1.length !== arr2.length) {
    return false;
  }
  for (let i = 0; i < arr1.length; i++) {
    const val1 = arr1[i];
    const val2 = arr2[i];
    // 普通值相等，或者两者都是NaN
    if (val1 !== val2 && !(Number.isNaN(val1) && Number.isNaN(val2))) {
      return false;
    }
  }
  return true;
}

3. 用数组方法简化代码（可读性优先） #

如果更看重代码简洁性，可以用Array.prototype.every()替代for循环，代码语义化更强，现代JS引擎对这类方法的优化已经和原生for循环差距极小：

"use strict";

function arraysAreShallowEqual(arr1, arr2) {
  if (!Array.isArray(arr1) || !Array.isArray(arr2) || arr1.length !== arr2.length) {
    return false;
  }
  return arr1.every((val, index) => {
    const otherVal = arr2[index];
    return val === otherVal || (Number.isNaN(val) && Number.isNaN(otherVal));
  });
}

4. 语义化命名与测试用例优化 #

原函数名main过于通用，改成arraysAreShallowEqual更直观；测试用例可以用更清晰的方式输出结果：

// 优化后的测试代码
const tests = [
  { arr1: [1,2], arr2: [1,2], expected: true },
  { arr1: [1], arr2: [1,2], expected: false },
  { arr1: [1,2], arr2: [1], expected: false },
  { arr1: [1,2], arr2: [3,4], expected: false },
  { arr1: [], arr2: [], expected: true },
  { arr1: [NaN, 1], arr2: [NaN, 1], expected: true } // 新增NaN测试用例
];

for (const test of tests) {
  const result = arraysAreShallowEqual(test.arr1, test.arr2);
  console.log(`数组[${test.arr1}]与[${test.arr2}]：预期${test.expected}，实际${result} → ${result === test.expected ? '通过' : '失败'}`);
}

性能说明 #

原生for循环在处理超大数组时依然是性能最优的选择；every()方法在代码可读性上更优，性能差距可以忽略不计（除非处理百万级以上元素的数组）。

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