Jetpack Compose中Stability与@Stable注解的若干技术疑问

在Jetpack Compose的稳定性机制中，当函数输入未发生变化时不会触发重组，可通过使用不可变变量或@Immutable/@Stable注解实现函数的可跳过性。

可跳过性：重组期间调用函数时，若所有参数与之前值相等，Compose可跳过该函数执行。

类型分为：

• 不可变（Immutable）：对象构造后属性值永不改变，所有方法具有引用透明性，如String、Int等基本类型。
• 稳定（Stable）：类型可变，但Compose运行时会在公共属性或方法行为变化时收到通知。

@Stable注解相关疑问 #

@Stable注解用于向Compose编译器传达类型或函数的行为保证：

• 应用于类/接口时需满足：
  1. 相同实例的equals结果始终一致；
  2. 公共属性变化时通知重组；
  3. 所有公共属性类型均稳定。
• 应用于函数/属性时，相同参数应返回相同结果，且参数与结果需为稳定、不可变或基本类型。

疑问1：仅持有MutableState的类已稳定，添加@Stable注解的意义？ #

示例类：

class MyUiState {
    var counter by mutableStateOf(0)
    var text by mutableStateOf("")
    var items by mutableStateOf(listOf(1, 2, 3))
}

编译日志显示该类已为stable：

stable class MyUiState {
  stable var counter$delegate: MutableState<Int>
  stable var text$delegate: MutableState<String>
  stable var items$delegate: MutableState<List<Int>>
  <runtime stability> = Stable
}

但有些示例中仍给仅持有MutableState的类添加@Stable注解：

@Stable
class MyStateHolder {
  var isLoading by mutableStateOf(false)
}

添加@Stable注解的核心作用：

1. 明确契约：显式告知编译器和其他开发者该类符合稳定类型规范，消除歧义；
2. 静态校验兜底：编译器自动推导稳定性可能存在场景局限，添加注解后会触发更严格的静态检查，防止后续修改破坏稳定性；
3. 版本兼容性：旧版本Compose编译器可能无法自动识别仅持有MutableState类的稳定性，注解可确保跨版本表现一致；
4. 防误修改：若后续给类添加非稳定属性，编译器会直接报错，强制开发者维持类的稳定性。

疑问2：含不稳定公共属性的类添加@Stable是否违反契约？ #

当类添加不稳定的公共属性（如List<Int>）时，编译日志显示该类为unstable：

class MyUiState(
    var list: List<Int> = listOf()
) {
    var counter by mutableStateOf(0)
    var text by mutableStateOf("")
    var items by mutableStateOf(listOf(1, 2, 3))
}

日志：

unstable class MyUiState {
  unstable var list: List<Int>
  stable var counter$delegate: MutableState<Int>
  stable var text$delegate: MutableState<String>
  stable var items$delegate: MutableState<List<Int>>
  <runtime stability> = Unstable
}

添加@Stable注解后该类会被标记为stable，但这确实违反了@Stable契约的第三条。

这种做法存在明确风险：编译器会信任注解标记的稳定性，但类实际包含不稳定公共属性。当该属性值变化时，Compose无法感知，可能导致依赖该属性的Composable函数不触发重组，出现UI不更新的异常；或编译器误判参数未变化而跳过重组，引发数据与UI不一致的问题。

疑问3：错误使用@Stable/@Immutable导致bug的示例？ #

错误使用@Stable的示例

@Stable
class BadState {
    var mutableList: MutableList<Int> = mutableListOf() // 非稳定属性

    fun addItem(item: Int) {
        mutableList.add(item)
    }
}

@Composable
fun BadStateComposable(state: BadState) {
    LazyColumn {
        items(state.mutableList) { item ->
            Text(text = item.toString())
        }
    }
    Button(onClick = { state.addItem(Random.nextInt()) }) {
        Text("Add Item")
    }
}

问题：调用addItem修改mutableList后，Compose无法感知变化，LazyColumn不会重组，新添加的元素不会显示在UI上。因为mutableList是不稳定类型，类违反@Stable契约，但编译器信任注解，不会触发重组。

错误使用@Immutable的示例

@Immutable
class MutablePerson(var name: String) // 可变属性，不符合Immutable规范

@Composable
fun PersonComposable(person: MutablePerson) {
    Text(text = person.name)
    Button(onClick = { person.name = "New Name" }) {
        Text("Change Name")
    }
}

问题：点击按钮修改person.name后，Compose不会触发重组，UI上的名字不会更新。因为@Immutable告诉编译器该类实例不可变，属性变化时，Compose认为实例未变化，因此跳过重组。

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