Immer通过Proxy实现“看似可变、实际不可变”的更新：包装原始状态为代理，记录变更，produce结束时生成结构共享的新对象，未修改部分复用原引用，确保不可变性与性能兼顾。
JavaScript 中的不可变更新不是靠语言特性强制实现的，而是靠约定和工具辅助。直接修改对象或数组会破坏不可变性，而 Immer 用一种“看似可变、实际不可变”的方式，让开发者写起来像在改原对象，底层却自动产出新副本。
不可变更新的核心逻辑
不可变更新的本质是：不修改原始数据，而是返回一个结构共享（structural sharing）的新对象。关键点有三个：
- 原始对象完全保留，任何属性改动都发生在新对象上
- 未改动的部分复用原引用（节省内存和性能）
- 嵌套越深，手动深拷贝越麻烦，容易漏掉某一层
Immer 是怎么做到“写起来可变，实际不可变”的？
Immer 的核心是基于 Proxy 的代理机制（v9+ 默认使用 Proxy；旧版本 fallback 到递归遍历）。它把传入的原始状态包装成一个代理对象，在你对它做赋值、增删、push 等操作时，并不真正修改原对象，而是记录“草稿变更”，等 produce 执行结束，再基于原始数据 + 变更记录，生成最终的不可变新对象。
- 第一次读取某个属性时，Immer 自动将该属性也转为代理（惰性代理），只代理实际访问到的路径
- 只有被修改的叶子节点才创建新值，父级结构若没变，就复用原引用
- 底层用
Object.freeze或严格模式防止误改 draft，确保安全
一个典型用法与等价的手动写法对比
比如要给用户列表中 id=123 的用户添加一个 lastLogin 字段：
立即学习“Java免费学习笔记（深入）”；
✅ Immer 写法（简洁、直观）：import { produce } from 'immer';
const nextState = produce(currentState, draft => {
const user = draft.users.find(u => u.id === 123);
if (user) user.lastLogin = new Date();
});
❌ 手动不可变写法（易错、冗长）：
const userIndex = currentState.users.findIndex(u => u.id === 123);
if (userIndex === -1) return currentState;
const newUser = { ...currentState.users[userIndex], lastLogin: new Date() };
const nextUsers = [
...currentState.users.slice(0, userIndex),
newUser,
...currentState.users.slice(userIndex + 1)
];
const nextState = { ...currentState, users: nextUsers };
Immer 的边界与注意事项
Immer 不是万能的，理解它的限制才能用得稳：
- 只对 plain object、array、Map、Set 等内置可代理类型生效；Date、RegExp、class 实例等不会被代理，需手动 clone
- 不能在
produce回调里解构赋值再修改（如const { name } = draft; name = 'x'），这改的是局部变量，不是 draft - 不能在回调里把 draft 当普通对象传给外部函数并期望它被修改——必须在回调内直接操作 draft
- 异步操作（如 setTimeout 里改 draft）无效，因为 produce 同步执行完就生成结果了
基本上就这些。Immer 的价值不在“多强大”，而在“让不可变更新回归直觉”。它没改变 JS 的本质，只是把重复、易错的手动拷贝逻辑，封装进了一层轻量且可靠的代理层。
