自定义MutableState触发Compose重组的要求及与默认实现差异

背景与需求 #

我有一个受JavaFX启发的自定义可观察属性库，其中定义了BindableProperty类，功能与实现细节和JavaFX的Property类似。目前正在学习Compose，但Compose依赖编译器层面的代码生成，这让我在开发MutableState等接口的自定义底层实现时遇到阻碍，不清楚Compose对State实现的具体要求。

我的核心目标是保留自定义库的特性，同时让我的可观察对象能被Compose观察并触发重组。我尝试实现了BindablePropertyState类，将读写操作委托给BindableProperty并暴露该对象，但不确定Compose如何感知其变化。

极简SimpleState实现的疑问 #

我编写了一个极简的SimpleState实现，有以下几个疑问：

1. 通过component2返回的lambda设置值是否会触发重组？
2. 通过value的setter设置值是否会触发重组？
3. 通过Kotlin/Java反射设置value是否会触发重组？
4. 能否在任意线程/协程设置value？是否总能触发重组？

与默认SnapshotMutableStateImpl的差异对比 #

此外，我想了解极简SimpleState相比mutableStateOf返回的默认实现（桌面端为SnapshotMutableStateImpl）缺少哪些特性，包括底层机制和实际使用上的差异，这些差异是否仅为性能优化，还是存在其他功能缺失。

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