重跑

这本书为什么值得你花时间

讲 Compose 的材料已经很多了，但它们大多停在「怎么写」：用 remember 记住状态，用 LaunchedEffect 发请求，用 collectAsStateWithLifecycle 收流。这些你都会。

问题出在下一层：为什么这里要 remember，那里不用？为什么这个 key 写错了会重发请求？为什么 collectAsState 在后台还在跑？这些问题的答案不在 API 文档里，在运行时的行为里——而运行时的行为，只有看见了才记得住。

所以这本书里有六台真东西：

• 一台带 slot 表的重组器。真的位置记忆、真的读取观察、真的失效传播、真的跳过。重组从失效的那个节点开始，不从根开始——书里所有「重跑几个」的数字都是它算的。
• 一台稳定性推断器，照着 Compose 编译器的规则判类型稳不稳定，强跳过可以开关，两种结论当场对比。
• 一台协程调度器，用 generator 做真挂起点（yield 一次 = 一个挂起点）。Job 树、协作式取消、失败连坐、虚拟时钟、每个调度器有自己的线程时间线。主线程忙了多久 → 掉了几帧，是量出来的。
• 一整套 Flow。冷流是配方，操作符是套娃，背压是「什么都不加」的自然结果。buffer／conflate／collectLatest 走真的 Channel 和真的子协程取消，SharedFlow 的四个旋钮全部实现。
• 一台生命周期状态机，量出「切到后台的那几秒，你的收集器白跑了多少次」。
• 一台 CPS 变换器，把一小段 suspend 函数真的切成状态机，连要塞几个 L$ 字段都是做活跃变量分析算出来的。

六卷

怎么读这本书

按顺序读。这本书不是参考手册，六卷是一条链子：卷 I 建立「重跑」这个模型，卷 II 说清楚「谁引起重跑」，卷 III、IV 把同一套逻辑搬到协程和 Flow 上，卷 V 是三者缝在一起的地方——也是线上事故最集中的地方，卷 VI 把前面全部换成可执行的改法。

每一章都先点 demo，再读字。这本书的所有关键数字都是网页里那六台引擎算出来的，不是我写上去的。你可以拨滑杆、点按钮，看数字怎么变——很多时候，把滑杆拉到两个极端比读三段解释管用。

赶时间的话：第 1、4、6、11、13、19、22 章是全书的骨架，七章读完，前面列的那四个 bug 你就都能自己定位了。