1. 状态提升核心原理：无状态组件、状态下沉、单一数据源

状态提升（State Hoisting）是 Compose 中最核心的数据流设计模式，它将可变的 UI 状态从可组合函数中抽离，交由上层可控的 holder 管理，从而实现 可预测、可测试、可复用 的界面架构。本章从三个基石概念出发，还原状态提升的完整设计逻辑。

1.1 无状态组件（Stateless Component）

无状态组件指不拥有内部 remember 或 mutableStateOf 的可组合函数，它仅通过参数接收状态，并通过回调向上层发送事件。这种组件天然可复用，且不产生副效应。

特性	有状态组件	无状态组件
状态源头	组件内部	外部传入
修改方式	直接改变内部状态	通过 lambda 回调
测试难度	需要模拟内部状态	纯函数式，易测试
复用场景	绑定特定逻辑	可任意组合

1.2 状态下沉（State Hoisting）

状态下沉是指将子组件的局部状态“提升”到父组件或 ViewModel 中，父组件通过 值 + 回调 的方式传递给子组件。子组件不再拥有可变状态，而是通过回调通知父组件变更。这样数据流变为单向：State → Child → Event → Parent → State。

标准提升签名：

@Composable
fun Counter(
    count: Int,          // 当前值
    onIncrement: () -> Unit, // 增加事件
    onDecrement: () -> Unit  // 减少事件
) {
    Row {
        Button(onClick = onDecrement) { Text("-") }
        Text("$count")
        Button(onClick = onIncrement) { Text("+") }
    }
}

调用处持有状态：

@Composable
fun CounterScreen() {
    var count by remember { mutableIntStateOf(0) }
    Counter(
        count = count,
        onIncrement = { count++ },
        onDecrement = { count-- }
    )
}

1.3 单一数据源（Single Source of Truth）

单一数据源原则要求：同一份数据在状态树中只存在一个可写副本。所有派生数据、计算值、界面状态都必须从这个源头衍生。在 Compose 中，单一数据源通常由 ViewModel 或 StateHolder 实现。

违反单一数据源的反例（存在两份 count）：

// 不推荐：两个组件各自维护独立的状态
@Composable
fun BadCounter() {
    var count by remember { mutableIntStateOf(0) }
    CounterA(count) { count++ }
    CounterB(count) { count++ }
}

正确做法是将状态统一托管：

// 推荐：单一数据源由 ViewModel 提供
class CounterViewModel : ViewModel() {
    private val _count = MutableStateFlow(0)
    val count: StateFlow<Int> = _count.asStateFlow()

    fun increment() { _count.value++ }
    fun decrement() { _count.value-- }
}

1.4 状态提升完整流程图

1.5 常见错误与避坑

1. 忘记提升回调：子组件直接修改 mutableStateOf 的参数（参数实际上是值复制，修改无效）。必须通过回调让父组件更新状态。
2. 在多个层级重复创建同一状态：同一份数据在树的不同分支各自创建副本，导致界面显示不一致。
3. 过度提升：将完全属于子组件的临时 UI 状态（如输入框的焦点）也提升到 ViewModel，反而增加复杂度。应根据“是否需要跨组件共享”来判断。
4. 忽略重组范围：状态提升后父组件会随状态变化重组，若父组件计算量大，应使用 derivedStateOf 或 remember 裁剪。

1.6 性能与稳定性优化

• 推荐使用 mutableIntStateOf / mutableFloatStateOf 而非 mutableStateOf<Int>，减少装箱开销。
• 使用 remember 缓存 lambda：防止回调在重组时重新创建导致子组件不必要的重绘。
• 观察重组范围：可在可组合函数内打印日志，确认状态提升后仅必要的组件重组。
• 考虑使用 snapshotFlow：将 Compose 状态转换为冷流，配合 ViewModel 进行异步操作时避免遗漏重组。

1.7 本章小结