Corrige problemas de estabilidad

Cuando te enfrentes a una clase inestable que cause problemas de rendimiento, debes hacer que sea estable. En este documento, se describen varias técnicas que puedes usar para hacerlo.

Importante: Antes de solucionar los problemas de estabilidad, debes aprender a diagnosticarlos correctamente. Para obtener información, consulta la guía Cómo diagnosticar problemas de estabilidad.

Habilitar la omisión fuerte

Primero, intenta habilitar el modo de omisión avanzada. El modo de omisión avanzado permite que se omitan los elementos componibles con parámetros inestables y es el método más fácil para corregir los problemas de rendimiento causados por la estabilidad.

Consulta Omisión firme para obtener más información.

Haz que la clase sea inmutable

También puedes intentar hacer que una clase inestable sea completamente inmutable.

• Inmutable: Indica un tipo en el que el valor de ninguna propiedad nunca puede cambiar después de que se construye una instancia de ese tipo, y todos los métodos son referencialmente transparentes.
  • Asegúrate de que todas las propiedades de la clase sean val en lugar de var y de tipos inmutables.
  • Los tipos primitivos, como String, Int y Float, siempre son inmutables.
  • Si esto es imposible, debes usar el estado de Compose para cualquier propiedad mutable.
• Estable: Indica un tipo que es mutable. El entorno de ejecución de Compose no se da cuenta si alguna de las propiedades públicas o el comportamiento del método del tipo generaría resultados diferentes de una invocación anterior.

Importante: En la práctica, esto significa que debes usar el estado de Compose para cualquier propiedad mutable. Por ejemplo, mutableStateOf(...).

Colecciones inmutables

Un motivo común por el que Compose considera que una clase es inestable son las colecciones. Como se señala en la página Cómo diagnosticar problemas de estabilidad, el compilador de Compose no puede estar completamente seguro de que colecciones como List, Map y Set sean realmente inmutables y, por lo tanto, las marca como inestables.

Para resolver esto, puedes usar colecciones inmutables. El compilador de Compose incluye compatibilidad con las colecciones inmutables de Kotlinx. Se garantiza que estas colecciones sean inmutables, y el compilador de Compose las trata como tales. Esta biblioteca aún está en versión alfa, por lo que es posible que haya cambios en su API.

Considera nuevamente esta clase inestable de la guía Cómo diagnosticar problemas de estabilidad:

unstable class Snack {
  …
  unstable val tags: Set<String>
  …
}

Nota: Este fragmento es el resultado del compilador de Compose, no la definición de la clase. Para obtener más información, consulta la guía de estabilidad.

Puedes hacer que tags sea estable con una colección inmutable. En la clase, cambia el tipo de tags a ImmutableSet<String>:

data class Snack{
    …
    val tags: ImmutableSet<String> = persistentSetOf()
    …
}

Después de hacerlo, todos los parámetros de la clase son inmutables, y el compilador de Compose la marca como estable.

Anota con Stable o Immutable

Una posible ruta para resolver problemas de estabilidad es anotar las clases inestables con @Stable o @Immutable.

Advertencia: Estas anotaciones no hacen que una clase sea inmutable o estable por sí sola. En cambio, cuando usas estas anotaciones, aceptas un contrato con el compilador. Si se anotan clases de forma incorrecta, es posible que se interrumpa la recomposición.

Anotarlo anula lo que el compilador inferiría sobre tu clase. Es similar al operador !! en Kotlin. Debes ser muy cuidadoso con el uso de estas anotaciones. Anular el comportamiento del compilador podría generar errores imprevistos, como que el elemento componible no se recomponga cuando lo esperas.

Si es posible hacer que tu clase sea estable sin una anotación, debes esforzarte por lograr la estabilidad de esa manera.

En el siguiente fragmento, se proporciona un ejemplo mínimo de una clase de datos anotada como inmutable:

@Immutable
data class Snack(
…
)

Ya sea que uses la anotación @Immutable o @Stable, el compilador de Compose marca la clase Snack como estable.

Clases con anotaciones en colecciones

Considera un elemento componible que incluya un parámetro de tipo List<Snack>:

restartable scheme("[androidx.compose.ui.UiComposable]") fun HighlightedSnacks(
  …
  unstable snacks: List<Snack>
  …
)

Incluso si anotas Snack con @Immutable, el compilador de Compose seguirá marcando el parámetro snacks en HighlightedSnacks como inestable.

Los parámetros enfrentan el mismo problema que las clases en lo que respecta a los tipos de colecciones. El compilador de Compose siempre marca un parámetro de tipo List como inestable, incluso cuando es una colección de tipos estables.

No puedes marcar un parámetro individual como estable ni puedes anotar un elemento componible para que siempre se pueda omitir. Hay varios caminos a seguir.

Existen varias formas de solucionar el problema de las recopilaciones inestables. Estos enfoques se describen en las siguientes subsecciones.

Archivo de configuración

Si estás de acuerdo con cumplir con el contrato de estabilidad en tu base de código, puedes aceptar considerar las colecciones de Kotlin como estables si agregas kotlin.collections.* a tu archivo de configuración de estabilidad.

Colección inmutable

Para obtener seguridad en el tiempo de compilación de la inmutabilidad, puedes usar una colección inmutable de kotlinx en lugar de List.

@Composable
private fun HighlightedSnacks(
    …
    snacks: ImmutableList<Snack>,
    …
)

Wrapper

Si no puedes usar una colección inmutable, puedes crear una propia. Para ello, une List en una clase estable con anotaciones. Es probable que un wrapper genérico sea la mejor opción para esto, según tus requisitos.

@Immutable
data class SnackCollection(
   val snacks: List<Snack>
)

Luego, puedes usar esto como el tipo del parámetro en tu elemento componible.

@Composable
private fun HighlightedSnacks(
    index: Int,
    snacks: SnackCollection,
    onSnackClick: (Long) -> Unit,
    modifier: Modifier = Modifier
)

Solución

Después de seguir cualquiera de estos enfoques, el compilador de Compose ahora marca el elemento componible HighlightedSnacks como skippable y restartable.

restartable skippable scheme("[androidx.compose.ui.UiComposable]") fun HighlightedSnacks(
  stable index: Int
  stable snacks: ImmutableList<Snack>
  stable onSnackClick: Function1<Long, Unit>
  stable modifier: Modifier? = @static Companion
)

Durante la recomposición, Compose ahora puede omitir HighlightedSnacks si ninguna de sus entradas cambió.

Archivo de configuración de estabilidad

A partir del compilador de Compose 1.5.5, se puede proporcionar un archivo de configuración de clases que se consideren estables en el tiempo de compilación. Esto permite considerar como estables las clases que no controlas, como las clases de bibliotecas estándar, como LocalDateTime.

Advertencia: Estas configuraciones no hacen que una clase sea estable por sí sola. En cambio, cuando usas estas configuraciones, aceptas un contrato con el compilador. Si configuras una clase de forma incorrecta, es posible que se interrumpa la recomposición.

El archivo de configuración es un archivo de texto sin formato con una clase por fila. Se admiten comentarios y comodines dobles y únicos. Este es un ejemplo de configuración:

// Consider LocalDateTime stable
java.time.LocalDateTime
// Consider my datalayer stable
com.datalayer.*
// Consider my datalayer and all submodules stable
com.datalayer.**
// Consider my generic type stable based off it's first type parameter only
com.example.GenericClass<*,_>

Para habilitar esta función, pasa la ruta de acceso del archivo de configuración al bloque de opciones composeCompiler de la configuración del complemento Gradle del compilador de Compose.

composeCompiler {
  stabilityConfigurationFile = rootProject.layout.projectDirectory.file("stability_config.conf")
}

Como el compilador de Compose se ejecuta en cada módulo de tu proyecto por separado, puedes proporcionar configuraciones diferentes a diferentes módulos si es necesario. Como alternativa, puedes tener una configuración a nivel raíz de tu proyecto y pasar esa ruta a cada módulo.

Varios módulos

Otro problema común involucra la arquitectura de varios módulos. El compilador de Compose solo puede inferir si una clase es estable si todos los tipos no primitivos a los que hace referencia están marcados explícitamente como estables o en un módulo que también se compiló con el compilador de Compose.

Si tu capa de datos está en un módulo independiente de la capa de IU, que es el enfoque recomendado, es posible que te encuentres con un problema.

Solución

Para resolver este problema, puedes seguir uno de los siguientes enfoques:

1. Agrega las clases a tu archivo de configuración del compilador.
2. Habilita el compilador de Compose en los módulos de tu capa de datos o etiqueta tus clases con @Stable o @Immutable cuando corresponda.
   • Esto implica agregar una dependencia de Compose a tu capa de datos. Sin embargo, es solo la dependencia para el tiempo de ejecución de Compose y no para Compose-UI.
3. Dentro del módulo de tu IU, une las clases de capa de datos en clases de wrapper específicas de la IU.

El mismo problema también ocurre cuando se usan bibliotecas externas si no usan el compilador de Compose.

No todos los elementos componibles deben poder omitirse.

Cuando trabajas para solucionar problemas de estabilidad, no debes intentar que todos los elementos componibles se puedan omitir. Si intentas hacerlo, es posible que se genere una optimización prematura que genere más problemas que los que soluciona.

Hay muchas situaciones en las que omitir no tiene ningún beneficio real y puede generar un código difícil de mantener. Por ejemplo:

• Un elemento componible que no se vuelve a componer con frecuencia o en absoluto.
• Un elemento componible que, en sí mismo, solo llama a elementos componibles que se pueden omitir.
• Un elemento componible con una gran cantidad de parámetros con implementaciones de igualdad costosas. En este caso, el costo de verificar si cambió algún parámetro podría superar el costo de una recomposición económica.

Cuando un elemento componible se puede omitir, agrega una pequeña sobrecarga que puede no ser conveniente. Incluso puedes anotar tu elemento componible para que sea no reiniciable en los casos en que determines que reiniciarlo genera más sobrecarga de la que vale la pena.