Какие типы в Compose считаются stable и почему List относится к нестабильным?

Какие типы в Compose считаются стабильными и почему List нестабилен?

• Stable (стабильный) тип — это тип, состояние которого не изменяется без явного уведомления Compose
• К таким типам обычно относят примитивы, data class с val, immutable-коллекции, а также классы с корректной реализацией equals/hashCode
• Compose применяет информацию о стабильности для оптимизации: если данные не изменились, перерисовку можно пропустить
• List считается нестабильным, поскольку является мутабельным интерфейсом, а изменяемую коллекцию нельзя гарантированно считать неизменяемой
• Compose не отслеживает изменения элементов внутри List, поэтому отсутствуют гарантии immutability и корректной работы equals/hashCode
• Чтобы обеспечить стабильность списков, применяют ImmutableList либо копии списков с val, контролируя все изменения
• Итог: стабильность необходима для эффективного перерисовывания UI и сокращения числа лишних recompositions в Compose

Подробный ответ

Основной ответ

В Jetpack Compose тип называют стабильным (stable), когда его значение не изменяет состояние без уведомления системы, а изменения между рекомпозициями можно эффективно отслеживать. Стабильность используется для оптимизации: compose не выполняет лишние перерисовки, если может определить, что значение осталось прежним.

К stable-типам относятся все базовые примитивы (Int, Boolean, Float), строки (String), а также любые иммутабельные объекты, помеченные аннотацией @Stable или реализующие интерфейс Stable.

List в Compose обычно является нестабильным, так как это мутабельный тип, содержимое которого может изменяться: после изменения элемента ссылка на список способна остаться прежней, хотя его содержимое уже будет другим. При одном лишь сравнении ссылок Compose не может автоматически определить, произошло ли фактическое изменение. Поэтому списки считаются нестабильными, а без дополнительных решений это может приводить к пересозданию UI при каждой рекомпозиции (например, можно использовать SnapshotStateList или иммутабельные списки).

Ключевые моменты

• Стабильные типы либо иммутабельны, либо изменяются предсказуемым образом, поэтому Compose может эффективно сравнивать их значения и не выполнять лишнюю рекомпозицию.
• List по умолчанию — mutable: изменение его содержимого не обязательно меняет ссылку, из-за чего Compose не может автоматически распознать такое изменение.
• Для повышения стабильности списков часто применяют immutable списки из Kotlin (например, List<T>) либо используют SnapshotStateList как обёртку над мутабельными данными, чтобы Compose мог отслеживать изменения элементов.
• Аннотация @Stable и интерфейс Stable позволяют разработчику явно сообщить Compose, что объект является стабильным, даже если это нельзя однозначно определить по общим правилам.

Практический контекст

В приложениях с динамическими списками для повышения производительности UI обычно выбирают SnapshotStateList или immutable-коллекции, например из Kotlinx.collections.immutable. Благодаря этому Compose точнее определяет необходимость перерисовки и уменьшает нагрузку на систему рендеринга. Additionally, оборачивание изменений коллекций в mutableStateOf или специализированные state-контейнеры помогает эффективно управлять состоянием в Compose.