JavaScript通用深度比较函数需递归+类型分治+循环引用检测，用Object.is处理原始类型，分别处理Date、RegExp、Array、Map、Set及普通对象，并用WeakMap避免栈溢出。
JavaScript 中编写通用的数据类型深度比较工具函数，关键在于正确处理引用类型（对象、数组、Map、Set、Date、RegExp 等）的递归遍历与等价判定，同时避免循环引用导致的栈溢出，并保持对原始类型（string、number、boolean、null、undefined、symbol、bigint）的精确比对。
核心思路：递归 + 类型分治 + 循环引用检测
深度比较不能只用 === 或 JSON.stringify（后者会丢失函数、undefined、NaN、Symbol、原型信息，且顺序敏感）。需按类型分别处理：
- 原始类型（含
null）直接用Object.is()比较（能正确处理NaN === NaN、+0 !== -0） - 函数：通常认为
fn1 === fn2才相等（引用一致），除非明确要求“结构相同”，但实践中极少需要；默认按引用判等 - 日期（
Date）、正则（RegExp）：比较其原始值（date1.getTime() === date2.getTime()，reg1.toString() === reg2.toString()） - 数组 / 类数组 / 普通对象：先检查构造器是否一致（如 `Array.isArray(a) === Array.isArray(b)`），再逐项递归比较键/索引
- Map / Set：分别比较其键值对或元素（需遍历 entries 或 values）
- 循环引用：用
WeakMap缓存已遍历的引用对，再次遇到时直接返回true（同一对引用必然相等）
一个轻量、可扩展的实现示例
以下是一个兼顾健壮性与可读性的通用深度比较函数（支持常见内置类型，不含 Proxy、TypedArray 等高级类型，但留有扩展点）：
function deepEqual(a, b, seen = new WeakMap()) {
// 1. 同一引用（包含 null 和 undefined）
if (a === b) return true;
// 2. 原始类型（含 null）且不等 → 必不等
if (a === null || b === null || typeof a !== 'object' || typeof b !== 'object') {
return Object.is(a, b);
}
// 3. 循环引用检测
if (seen.has(a)) {
return seen.get(a) === b;
}
seen.set(a, b);
// 4. 构造器不一致 → 不等（如 Date vs Object）
const aCtor = a.constructor;
const bCtor = b.constructor;
if (aCtor !== bCtor &&
!(
(aCtor === Date && bCtor === Date) ||
(aCtor === RegExp && bCtor === RegExp) ||
(aCtor === Array && bCtor === Array) ||
(aCtor === Map && bCtor === Map) ||
(aCtor === Set && bCtor === Set)
)) {
return false;
}
// 5. 分类型处理
if (a instanceof Date) return a.getTime() === b.getTime();
if (a instanceof RegExp) return a.toString() === b.toString();
if (a instanceof Array) {
if (a.length !== b.length) return false;
for (let i = 0; i < a.length; i++) {
if (!deepEqual(a[i], b[i], seen)) return false;
}
return true;
}
if (a instanceof Map) {
if (a.size !== b.size) return false;
for (const [key, val] of a) {
if (!b.has(key) || !deepEqual(val, b.get(key), seen)) return false;
}
return true;
}
if (a instanceof Set) {
if (a.size !== b.size) return false;
for (const item of a) {
if (!b.has(item) && ![...b].some(v => deepEqual(v, item, seen))) return false;
}
return true;
}
// 6. 普通对象（含 Object.create(null)）
const aKeys = Object.keys(a);
const bKeys = Object.keys(b);
if (aKeys.length !== bKeys.length) return false;
for (const key of aKeys) {
if (!Object.prototype.hasOwnProperty.call(b, key)) return false;
if (!deepEqual(a[key], b[key], seen)) return false;
}
return true;
}
使用注意事项与边界情况
该函数已覆盖多数日常场景，但仍需注意：
立即学习“Java免费学习笔记（深入）”；
-
Symbol 属性：
Object.keys()不包含 Symbol 键，若需比较 Symbol 属性，应改用Reflect.ownKeys()并过滤 Symbol -
不可枚举属性：当前实现只比较自身可枚举属性；如需全属性，需结合
Object.getOwnPropertyNames()+Object.getOwnPropertySymbols() -
原型链差异：此函数不比较原型（如
Object.create({a:1})和{a:1}视为不同），符合大多数语义 -
性能敏感场景：深度比较是 O(n) 时间复杂度，嵌套过深或超大对象建议加深度限制或改用结构化克隆对比（如
structuredClone+===，但仅限可序列化值） - 自定义类实例：默认按属性逐个比较；若需特殊逻辑（如只比 id 字段），可在函数开头添加白名单判断并提前返回
更简洁的生产级选择
实际项目中，推荐直接使用成熟库避免重复造轮子：
-
Lodash：
_.isEqual(a, b)—— 功能最全，支持循环引用、各种内置类型、自定义比较器 -
fast-deep-equal（轻量）：
import equal from 'fast-deep-equal'; equal(a, b);—— 高性能，无依赖，覆盖主流类型 - react-fast-compare（React 生态优化）：对 React 元素和常用结构做了针对性加速
自行实现适合学习原理或有极简/定制化需求；工程中优先选经过充分测试的方案。
