Jetpack Compose中可组合组件如何感知State值的变化？

Jetpack Compose教程里最常用的接口是MutableState<T>，它是一个接口，定义如下：

interface MutableState<T> : State<T> {
    override var value: T
    operator fun component1(): T
    operator fun component2(): (T) -> Unit
}

mutableStateOf函数会返回该接口的实例，示例代码如下：

val count = remember { mutableStateOf(0) }

它的父类型State<T>定义为：

interface State<out T> {
    val value: T
}

观察这些定义后会产生疑问：既然没有显式的可订阅API，可组合组件是如何知晓value的变化的？

核心逻辑：隐式的状态追踪与重组触发 #

Compose的状态订阅是隐式完成的，不需要开发者手动调用订阅/取消订阅方法，核心依赖以下机制：

1. 读取时自动关联
   当可组合函数在重组过程中读取State.value时，Compose运行时会自动将当前可组合函数的重组上下文与该状态对象绑定。这个过程由Compose的Snapshot系统和重组追踪逻辑后台处理，完全透明。

2. 修改时自动触发重组
   当MutableState.value被修改时，Compose运行时会检测到状态变更，并标记所有绑定了该状态的可组合函数为"待重组"状态。随后，Compose会在合适的时机（比如当前帧结束后）重新执行这些可组合函数，完成UI更新。

底层实现细节 #

mutableStateOf返回的是内部实现类SnapshotMutableState的实例，这个类的value属性做了特殊处理：

• 读取value时：会将当前的重组上下文加入状态的订阅者列表。
• 修改value时：会遍历订阅者列表，通知所有关联的重组上下文触发重组调度。

这种设计让开发者无需关注状态订阅的细节，只需专注于UI逻辑编写，同时保证了状态变化与UI更新的一致性。

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