如何实现javascript不可变更新_immer库原理是什么？

Immer通过Proxy实现“看似可变、实际不可变”的更新：包装原始状态为代理，记录变更，produce结束时生成结构共享的新对象，未修改部分复用原引用，确保不可变性与性能兼顾。

JavaScript 中的不可变更新不是靠语言特性强制实现的，而是靠约定和工具辅助。直接修改对象或数组会破坏不可变性，而 Immer 用一种“看似可变、实际不可变”的方式，让开发者写起来像在改原对象，底层却自动产出新副本。

不可变更新的核心逻辑

不可变更新的本质是：不修改原始数据，而是返回一个结构共享（structural sharing）的新对象。关键点有三个：

• 原始对象完全保留，任何属性改动都发生在新对象上
• 未改动的部分复用原引用（节省内存和性能）
• 嵌套越深，手动深拷贝越麻烦，容易漏掉某一层

Immer 是怎么做到“写起来可变，实际不可变”的？

Immer 的核心是基于 Proxy 的代理机制（v9+ 默认使用 Proxy；旧版本 fallback 到递归遍历）。它把传入的原始状态包装成一个代理对象，在你对它做赋值、增删、push 等操作时，并不真正修改原对象，而是记录“草稿变更”，等 produce 执行结束，再基于原始数据 + 变更记录，生成最终的不可变新对象。

• 第一次读取某个属性时，Immer 自动将该属性也转为代理（惰性代理），只代理实际访问到的路径
• 只有被修改的叶子节点才创建新值，父级结构若没变，就复用原引用
• 底层用 Object.freeze 或严格模式防止误改 draft，确保安全

一个典型用法与等价的手动写法对比

比如要给用户列表中 id=123 的用户添加一个 lastLogin 字段：

标签： javascript java js 工具 ai proxy