Jetpack Compose中backwards write为何点击按钮才触发无限重组

Android官方文档展示了Jetpack Compose中backwards write（反向写入）的示例代码如下：

@Composable
fun BadComposable() {
   var count by remember { mutableStateOf(0) }

   // 点击时触发重组
    Button(onClick = { count++ }, Modifier.wrapContentSize()) {
        Text("Recompose")
   }
   Text("$count")
   count++ // 反向写入：在读取状态之后执行状态写入操作
}

按照官方文档说明，这类在Composable函数内先读取State、再更新State的反向写入操作，典型后果是触发无限重组循环，但实际运行存在特殊表现：

• 组件首次组合阶段，函数末尾的count++自增操作不会触发无限重组：首次渲染过程中即使在函数体末尾更新了count值，也不会产生额外重组，界面首次加载会直接显示count为1的结果。
• 只有用户点击Button后，onClick回调触发的count++自增才会真正引发无限重组循环。

这个现象和"只要在Composable函数体中完成状态读取后更新状态，就会触发无限重组"的常规认知存在矛盾，核心原因和Compose重组作用域的注册时机有关。

触发逻辑差异的本质原因 #

Compose对状态变化的重组响应，依赖状态对象和重组作用域的订阅关系，这个订阅关系并不是在Composable函数执行到状态读取位置时立刻完全生效的：
初始组合阶段，Compose编译器会通过字节码插桩追踪函数内部的状态读取行为，但当前Composable实例对应的重组作用域，只有在整个函数体全部执行完成后，才会正式注册到对应状态对象的订阅列表中，进入可响应状态变化的激活状态。

首次组合执行到函数末尾的count++时，BadComposable的重组作用域还未完成注册，count状态对象并没有记录当前Composable依赖自己，这次写入动作自然不会触发当前作用域的重组调度。等函数执行完成、作用域正式激活时，count值已经完成自增变为1，不会再触发新的重组，因此首次加载不会出现循环。

当用户点击Button时情况完全不同：此时BadComposable早已完成初始组合，重组作用域已经处于激活状态，和count状态的订阅关系已经生效：

1. onClick回调触发count自增，状态对象立刻检测到变化，通知绑定的BadComposable作用域调度重组
2. 重组执行过程中，先在Text("$count")位置读取当前count值，接着执行到函数末尾的count++再次修改状态
3. 这次写入发生时重组作用域处于激活状态，状态变化会立刻再次调度当前作用域的新一轮重组
4. 上述流程不断循环，最终形成无限重组。

该逻辑可以通过Compose编译器的Composable函数体转换插桩源码得到验证：初始组合过程中，函数执行阶段的状态写入不会被尚未完成注册的当前作用域捕获。

内容的提问来源于stack exchange，提问作者Catalin Ghita