IdentifiedArray: la identidad antes que la posición

Una lista de features no es una lista de valores: es una población de seres que nacen, cambian y mueren mientras el usuario mira. En una población así, el índice —el número de la posición— es la magnitud más volátil que existe: cambia cada vez que alguien borra una fila, reordena, o llega una página del servidor. Y sin embargo el índice es lo primero que uno usa para direccionar, porque un Array no ofrece otra cosa. TCA rompe ese hábito desde la primera línea: las colecciones de estado hijo no viven en un Array sino en IdentifiedArrayOf, una estructura que direcciona por identidad y no por posición. Esta lección sostiene que esa elección no es una comodidad de API sino una condición de corrección, y que Identifiable deja de ser un protocolo que se conforma por costumbre para convertirse en el contrato que sostiene el nivel entero.

El índice miente, la identidad no

Considera una lista de filas donde cada una dispara una petición de red al aparecer. La acción de respuesta tiene que decir a qué fila pertenece el resultado. La tentación es llevar el índice, porque es el dato que tenías a mano cuando lanzaste el efecto.

// Frágil: la acción viaja con una posición
enum Action {
  case filaAparecio(Int)
  case respuestaLlegada(Int, String)
}

case let .respuestaLlegada(indice, texto):
  state.filas[indice].texto = texto  // ¿sigue siendo la misma fila?
  return .none

Entre el instante en que se lanzó el efecto y el instante en que llega su respuesta pasan cientos de milisegundos, y en ese hueco el usuario puede haber borrado la fila cero, haber arrastrado una fila de abajo arriba o haber recibido una recarga completa desde el servidor. El índice tres ya no señala a quien señalaba: en el mejor caso escribe el texto en la fila equivocada —un bug silencioso, invisible en el log, reproducible solo con el timing exacto—; en el peor, el array se ha encogido y el acceso revienta la app. Ninguna cantidad de cuidado arregla esto, porque el problema no está en el código sino en la naturaleza de la coordenada: un índice es una dirección relativa a un estado que ya caducó. La identidad, en cambio, viaja con el elemento: si la fila sigue viva, el id la encuentra donde sea que esté; si murió, el acceso devuelve nulo y la acción se disipa sin daño.

Qué garantiza IdentifiedArrayOf

IdentifiedArrayOf viene del paquete swift-identified-collections y es un híbrido deliberado entre array y diccionario: conserva el orden de inserción como un array y mantiene además un índice interno de id a posición, de modo que el acceso por identidad es de tiempo constante. Escribir IdentifiedArrayOf<Fila.State> es azúcar para IdentifiedArray<Fila.State.ID, Fila.State>, con el id extraído automáticamente de la conformidad a Identifiable.

@ObservableState
struct State: Equatable {
  var filas: IdentifiedArrayOf<Fila.State> = []
}

// Direccionar por identidad, no por posición
state.filas[id: id]?.texto = texto

// Alta, baja y consulta
state.filas.append(Fila.State(id: uuid()))
state.filas.remove(id: id)
let sigueViva = state.filas[id: id] != nil

// Sigue siendo una colección ordenada e iterable
for fila in state.filas where !fila.completada { /* ... */ }

El subíndice por id devuelve un opcional, y ese opcional es la primera línea de defensa contra la acción tardía: escribir sobre un elemento que ya no existe no hace nada en vez de corromper a otro. La unicidad es la segunda garantía: append de un elemento cuyo id ya está presente no duplica la fila, y updateOrAppend te da el gesto de alta o actualización que necesita cualquier sincronización con un servidor. Y como sigue siendo una RandomAccessCollection, no pierdes nada de lo que un array te daba: iterar, mapear, contar y comparar con Equatable funcionan igual.

La última fila de la tabla es la que convierte a esta estructura en obligatoria y no en recomendable: los operadores de colección de TCA, tanto el del reducer como el de la vista, están tipados sobre colecciones identificadas. No es que trabajar con Array sea peor; es que directamente no compila.

La identidad es un requisito, no un adorno

Para que todo lo anterior se sostenga, el State del hijo debe conformar Identifiable con un id estable: fijado en el nacimiento del elemento y jamás recalculado a partir de su contenido mutable. Un id derivado del nombre, del texto o del hash de la estructura entera cambia cuando el usuario escribe una letra, y en ese instante la colección deja de ver una mutación para ver una baja seguida de un alta: SwiftUI destruye y recrea la fila, se pierde el foco del teclado, se cancelan los efectos en vuelo del elemento y la animación parpadea. El síntoma parece de interfaz; la causa es ontológica.

@Reducer
struct Fila {
  @ObservableState
  struct State: Equatable, Identifiable {
    let id: UUID          // se fija al nacer y no cambia jamás
    var texto: String = ""
    var completada = false
  }
  enum Action { case textoCambio(String) }
}

@Reducer
struct Lista {
  @Dependency(\.uuid) var uuid

  @ObservableState
  struct State: Equatable {
    var filas: IdentifiedArrayOf<Fila.State> = []
  }
  enum Action { case anadirTocado }

  var body: some ReducerOf<Self> {
    Reduce { state, action in
      switch action {
      case .anadirTocado:
        state.filas.append(Fila.State(id: self.uuid()))
        return .none
      }
    }
  }
}

El let en id no es estilo: es una prueba a nivel de compilador de que nadie podrá reasignarlo. Y fabricar el identificador con @Dependency(\.uuid) en vez de UUID() mantiene viva la lección del Nivel 2: en producción genera identidades reales, en el test se sustituye por un generador incremental y las aserciones sobre la colección se vuelven exactas en lugar de aproximadas.

flowchart TD
E[Efecto tardio emite una accion] --> IDX[Direccion por indice]
E --> IDN[Direccion por identidad]
IDX --> M[La lista cambio y el indice apunta a otra fila]
M --> X[Mutacion silenciosa en el elemento equivocado]
IDN --> Z[El subindice por id devuelve nulo]
Z --> Y[La accion se disipa sin dano]
style X fill:#f38ba8,color:#11111b
style Y fill:#a6e3a1,color:#11111b