为何使用neverEqualPolicy()无法触发Jetpack Compose重组？

问题现象 #

当前代码使用canvasStateV2和iconStateV2时，点击画布或顶部栏图标，Canvas都会触发重组，且state值会在对应区间切换（0/1对应图标点击，2/3对应画布点击）；但切换到canvasStateV1和iconStateV1后，连续重复点击同一元素时，Canvas无法触发重组——因为V1函数是给state赋值当前已有的值。

我原本以为使用neverEqualPolicy()后，不需要给state赋不同值就能触发重组，但实际不符合预期，作为Compose新手，我存在哪些理解错误？

代码示例 #

class MainActivity : ComponentActivity() {
    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        setContent {
            MyApp()
        }
    }
}

@Composable
fun MyApp() {
    var state by remember { mutableStateOf(value = 0, policy = neverEqualPolicy()) }
    val canvasStateV1 = { state = 0 }
    val iconStateV1 = { state = 2 }
    val canvasStateV2 = { state = if (state == 0) { 1 } else { 0 } }
    val iconStateV2 = { state = if (state == 2) { 3 } else { 2 } }
    val iconState = iconStateV2
    val canvasState = canvasStateV2
    Scaffold(
        topBar = { TopBar(canvasState) },
        content = { padding ->
            Column(Modifier.padding(padding)) {
                Screen(state, iconState)
            }
        }
    )
}

@Composable
fun TopBar(iconState: () -> Unit) {
    TopAppBar(
        title = { Text("This is a test") },
        actions = {
            IconButton(onClick = { iconState() }) {
                Icon(Icons.Filled.AddCircle, null)
            }
        }
    )
}

@Composable
fun Screen(state: Int, canvasState: () -> Unit) {

    Column(
        modifier = Modifier.fillMaxSize(),
        verticalArrangement = Arrangement.Center,
        horizontalAlignment = Alignment.CenterHorizontally
    ) {
        Box(
            modifier = Modifier
                .aspectRatio(ratio = 1f)
                .background(color = MaterialTheme.colors.onSurface)
                .pointerInput(Unit) {
                    detectTapGestures(
                        onTap = { canvasState() },
                    )
                }
        ) {
            Canvas(
                modifier = Modifier.fillMaxSize().clipToBounds()
            ) {
                Log.d("Debug", "Canvas: state = $state")
            }
        }
    }
}

核心误解与解释 #

1. 对neverEqualPolicy()的作用理解错误 #

neverEqualPolicy()只是修改mutableStateOf的值相等判定规则：

• 默认策略下，只有当新赋值和旧值不同时，才会标记状态为已更新；
• neverEqualPolicy()则是无论新旧值是否相同，都判定状态已更新，并通知所有订阅该状态的组件。

但它本质是触发状态更新的通知，不能直接强制组件重组。

2. 混淆了状态更新与组件重组的关系 #

Compose的重组是基于输入参数变化的智能优化机制：
当状态更新后，Compose会标记所有读取该状态的组件为待重组，但实际执行重组时，会对比组件的新旧输入参数。如果参数值没有变化（比如Screen组件的state参数，赋值后还是原来的2），Compose会跳过该组件的重组，避免不必要的性能消耗。

这就是为什么V1函数无法触发重组的原因：连续点击时state值没有变化，即使状态被标记为更新，Compose检查到Screen的输入参数未变，就会跳过重组流程。

3. 为什么V2函数能正常工作？ #

V2函数每次赋值都会切换state的数值（0↔1、2↔3），Screen组件的state参数值每次都不同，Compose会执行完整的重组流程，Canvas也会重新绘制。

实现“赋值相同值也触发重组”的方案 #

如果需要在赋值相同值时也让组件重组，需要让组件的输入参数确实发生变化，比如使用带版本号的数据类：

// 定义带版本号的状态类
data class ClickState(val position: Int, val version: Int)

@Composable
fun MyApp() {
    var state by remember { mutableStateOf(ClickState(0, 0)) }
    // V1函数更新版本号，即使position不变也会触发参数变化
    val canvasStateV1 = { state = state.copy(position = 0, version = state.version + 1) }
    val iconStateV1 = { state = state.copy(position = 2, version = state.version + 1) }

    Scaffold(
        topBar = { TopBar(canvasStateV1) },
        content = { padding ->
            Column(Modifier.padding(padding)) {
                Screen(state, iconStateV1)
            }
        }
    )
}

@Composable
fun Screen(state: ClickState, canvasState: () -> Unit) {
    Column(
        modifier = Modifier.fillMaxSize(),
        verticalArrangement = Arrangement.Center,
        horizontalAlignment = Alignment.CenterHorizontally
    ) {
        Box(
            modifier = Modifier
                .aspectRatio(1f)
                .background(MaterialTheme.colors.onSurface)
                .pointerInput(Unit) {
                    detectTapGestures(onTap = { canvasState() })
                }
        ) {
            Canvas(Modifier.fillMaxSize().clipToBounds()) {
                Log.d("Debug", "Canvas: position = ${state.position}, version = ${state.version}")
            }
        }
    }
}

每次点击都会更新version字段，即使position不变，Screen的输入参数state也会是新的对象，Compose会执行重组。

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