Compose 如何通过重组（Recomposition）机制实现高效 UI 更新？
解读
国内大厂面试中，Compose 已从“加分项”变成“必问项”。面试官问“重组”并不是想听官方定义，而是想看候选人能否把“Compose 为什么比 View 体系快”讲清楚：
- 能否说明 Compose 编译期插桩做了哪些事；
- 能否解释快照系统（Snapshot State System）如何精确定位“谁变了”；
- 能否给出真实场景下的性能陷阱与规避手段。
回答时务必把“编译期、运行期、调度期”三层讲全，并主动对比传统 View 的 invalidate-measure-layout-draw 流程，才能体现深度。
知识点
- 编译期插桩：Kotlin 编译器插件把 @Composable 函数拆成“重组组”（restart groups），生成带 group key 的 slot table 字节码，保证运行时只执行受影响代码块。
- 快照状态系统：StateObject 的 StateRecord 采用 MVCC 读写快照，读写冲突时只标记“脏位”，不阻塞主线程；组合阶段通过 Composer.recomposeToGroup 遍历脏组。
- 重组调度器：AndroidUiDispatcher 绑定 Choreographer，下一帧 VSync 到来时批量执行重组，16 ms 内完成；可中断式重组（yield）保证高优先级任务插队。
- 细粒度订阅：remember { mutableStateOf() } 返回的 SnapshotState 在读取时自动把当前 Composer 加入观察者列表，写操作仅通知对应作用域，实现“字段级”刷新。
- 全局剪枝：Composer 在 applyChanges 阶段对比前后 slot table，无差异的分支直接跳过；LayoutNode 层二次 diff，未修改的 MeasureScope 直接返回上次缓存。
- 副作用管控：LaunchedEffect、DisposableEffect 带 key 参数，只有 key 变化才重新执行，避免无效协程与重复注册。
- 性能陷阱：在重组体内频繁创建 lambda 或 new Object() 会打破稳定性（Stability），导致 Compose 无法跳过；@Stable/@Immutable 注解配合 kotlinx.collections.immutable 可提升稳定性。
- 调试工具：Compose Compiler 报告（compiler metrics）、Layout Inspector 的 Recomposition Count 层、Android Studio Electric Eel 之后的“Recomposition Highlighter”，国内面试提到这三个工具即可。
答案
重组是 Compose 在运行期自动执行的“增量 UI 更新”过程，核心思想是“谁变刷谁，没变不碰”。具体分三层：
- 编译期：Kotlin 编译器插件把每个 @Composable 函数切成若干 restart group，并生成对应的 slot table 结构；group key 由编译器按代码位置与参数稳定性推导，保证唯一。
- 运行期：当 SnapshotState 写入时，快照系统把受影响 StateObject 标记为“脏”，并调度下一帧 VSync 到来时执行重组；重组器只重新执行脏 group 对应的 Composer 代码块，未依赖该状态的其他 group 直接跳过。
- 渲染期：重组产生的新 LayoutNode 树与旧树做二次 diff，MeasureScope 与 PlacementScope 均带缓存命中策略；最终仅对发生尺寸或位置变化的节点发起重绘，SurfaceFlinger 层合成一帧。
由于全程无 XML inflate、无反射、无全局重绘，且状态订阅粒度到字段级，Compose 在列表滚动、动画帧率、内存抖动方面优于传统 View 体系；官方 benchmark 显示 RecyclerView 复杂列表迁移到 LazyColumn 后帧率提升 10% 以上，GC 次数下降 30%。
拓展思考
- 稳定性（Stability）与跨模块接口：国内项目多组件化，如果数据类定义在纯 Java 模块，Compose 编译器无法推断其稳定性，可在公共模块增加 @Stable 注解或提供 Compose 专用 UI model。
- 与协程联动：重组调度器与 AndroidUiDispatcher 共用同一消息队列，在列表快速滑动时可通过 yield() 主动让出 CPU，避免阻塞高优先级任务，面试可结合“如何优化长列表滑动掉帧”展开。
- 与系统主题联动：深色切换、字体缩放等 ConfigurationChange 会触发顶层重组，可在 ViewModel 层使用 snapshotFlow 把系统配置映射为 State，避免整页重组。
- 与性能监控结合：国内上线要求集成 Matrix、ArgusAPM 等框架，可自定义 Recomposer.Listener 把重组次数、耗时写入本地采样，超过阈值上报后台，实现“线上重组卡顿可灰度”。