【图】React源码解析-从底层数据结构、调度器、闭包原理到源码设计模式，深挖useState的全部核心机制useSta

React源码解析宏观架构 (5).png

这张图展示 useState 在首次挂载和后续更新时，Fiber 节点上 Hook 对象的创建与复用逻辑。

useState 本质是 useReducer 的语法糖：在 React 源码中，updateState 函数实际上指向了 updateReducer。唯一的区别在于 mountState 传入了一个基础状态处理器（basicStateReducer） ，用于处理直接赋值（如 setState(5)）或函数式更新（如 setState(prev => prev + 1)）。
Hook 节点的持久化：首次挂载时创建的 Hook 节点会永久附着在 Fiber 节点的 memoizedState 链表上。后续更新时，React 严格按照调用顺序（0、1、2...）取出对应的 Hook，这就是 Hooks 必须写在顶层且不能放在 if 或循环中的根本原因。
队列（Queue）的环状结构：queue.pending 是一个环状单向链表，指向最后一个 Update 对象。这种设计使得 setState 的入队操作可以在 O(1) 时间内完成，且遍历计算时能从 pending.next 开始找到第一个更新。

这张图展示调用 setState 时，更新对象如何入队，以及调度器如何根据执行上下文决定是否批处理。

批处理（Batching）的核心标志：React 内部维护一个全局变量 executionContext（位掩码）。当处于 EventContext（事件回调）或 BatchContext 时，setState 只会将更新入队并返回，不触发调度。等到事件回调执行完毕，React 会统一执行 flushSyncCallbackQueue 或 ensureRootIsScheduled 进行一次合并渲染。
React 18 的自动批处理（Automatic Batching） ：React 18 通过 createRoot 引入了更强大的批处理能力。即使在 setTimeout、Promise 或原生事件监听器中，多次 setState 也会被自动合并。这是因为 createRoot 将调度器升级为 ConcurrentRoot，所有更新都会经过 Scheduler 统一排队和合并。
同步退出批处理（flushSync） ：如果希望强制在批处理中“跳出”并立即刷新视图，可以使用 flushSync(() => setState(...))。这会主动清空当前的更新队列，强制进入同步提交阶段。

这张图剖析为什么在异步回调中，setState 或读取 state 总是拿到触发时的“快照”值。

闭包（Closure）的僵化性：每次函数组件执行时，内部所有的变量（包括 const [state, setState] = useState(0) 解构出的 state）都是在当前执行上下文中创建的。setTimeout 的回调函数会捕获这个特定的 state 变量（基本类型值），即使组件后续重新渲染产生了新的 state，旧的闭包依然持有旧的内存地址。
为什么 setState 也会出现陷阱：如果在异步回调中调用 setState(state + 1)，这里的 state 同样是被闭包捕获的旧值。如果连续点击多次，由于累加的基础值始终是旧的 0，多次调用 setState(0 + 1) 最终只会生效一次。
解决方案的底层逻辑：使用 函数式更新 setState(prev => prev + 1) 可以完美解决这个问题。因为 processUpdateQueue 在计算时，会实时从 Fiber 节点的 memoizedState 中取出当前最新值传入 action 函数，而不是依赖闭包中的陈旧变量。

这张图展示 useState 是如何作为 useReducer 的“简化版”在 React 底层复用的。

mountState 与 mountReducer 的细微差别：mountState 内部会初始化 basicStateReducer（基础处理器），这个处理器逻辑是：如果 action 是函数，则执行 action(prevState)，否则直接返回 action。而 mountReducer 允许开发者传入自定义的 reducer 函数。
updateState === updateReducer：在 React 18 源码（ReactFiberHooks.js）中，updateState 的代码极其简洁：function updateState(initialState) { return updateReducer(basicStateReducer, initialState); }。这意味着只要组件完成了首次挂载，后续 useState 的执行逻辑与 useReducer 完全一致，差别仅在于默认使用的 reducer 规则不同。
dispatch 函数的固定性：无论 mountState 还是 mountReducer，返回的 dispatch 函数都是在 mount 阶段创建的，并且通过闭包绑定了当前 Fiber 节点和 queue 对象。后续的更新中（update 阶段），这个 dispatch 函数的内存地址永远不会变，这就是为什么我们可以在 useEffect 的依赖项中安全地传递 setState 而不用担心触发无限循环。

维度	核心结论
数据结构	`useState` 将状态值存储在 Fiber 链表的 Hook 节点中，并附带环状更新队列。
调度机制	`setState` 依赖 `executionContext` 决定是否批处理，React 18 实现了自动批处理。
闭包陷阱	异步回调捕获的是渲染快照，函数式更新通过读取 Fiber 内存实时值绕开了闭包。
同源关系	`useState` 是 `useReducer` 的语法糖，后续更新阶段两者代码路径完全一致。

【图】React源码解析-从底层数据结构、调度器、闭包原理到源码设计模式，深挖useState的全部核心机制