Jetpack Compose中接口是否始终触发重组？List与自定义接口表现差异解惑

结论：Compose确实对List、Set这类标准库集合接口做了特殊处理，你的自定义MyImage接口实现没有问题。

1. 为什么List会每次触发重组？ #

Jetpack Compose官方文档提到的逻辑是对的：List是接口，其实现可能是可变的（比如ArrayList）——即使集合引用不变，内部元素也可能被修改。为了避免因无法感知内部变化而导致的UI不一致，Compose硬编码将List、Set等标准库集合接口标记为「不稳定（Unstable）」。

对于不稳定类型的状态，Compose不会依赖equals判断是否需要重组，而是每次状态更新时都会触发相关Composable的重组，哪怕新旧值的equals结果为true。

2. 为什么自定义MyImage接口没有出现这个问题？ #

Compose的稳定性推断机制对自定义接口的处理和标准库集合不同：

• 它会分析接口的实际实现类的稳定性。你的MyImage.Remote是data class，且所有属性都是val类型（url: String），Compose会自动推断这类实现类为「稳定（Stable）」类型。
• 当你用collectAsState收集状态时，Compose会对比新旧MyImage实例的equals结果（data class默认基于属性生成equals）。如果两次emit的Remote实例equals为true，Compose会判定状态未发生有效变化，因此不会触发MyImage Composable的重组。

补充：如果自定义接口有可变实现会怎样？ #

假设你给MyImage添加一个可变实现类：

class MutableImage(var url: String) : MyImage

此时如果状态中传入MutableImage实例，即使你修改内部url但保持引用不变，Compose也无法感知（因为接口本身不稳定）；只有当每次emit新的MutableImage实例且equals不同时，才会触发重组——这和List的情况不同，List是哪怕equals相同也会重组，而自定义接口的可变实现，仅在实例引用变化或equals变化时才会触发重组（内部修改不会触发，因为Compose无法跟踪）。

内容的提问来源于stack exchange，提问作者H.Kim