¿Qué son las value semantics en Swift y cómo evitar cambios inesperados en los datos al pasar estructuras y colecciones? ¿En qué se diferencia copy-on-write de la copia clásica?

Respuesta.

En Swift, los tipos por valor (struct, enum, tuple) tienen lo que se llama value semantics: al pasar o asignar a una variable, se copia todo el contenido, creando una instancia independiente. Esto ayuda a evitar una serie de complicaciones con el estado compartido, característico de los tipos por referencia (class).

Sin embargo, para optimizar la memoria, las colecciones (por ejemplo, Array, Dictionary, Set) utilizan la estrategia de copy-on-write: la copia ocurre solo cuando una de las instancias se modifica.

Ejemplo:

var a = [1, 2, 3]
var b = a
b.append(4)
print(a) // [1, 2, 3]
print(b) // [1, 2, 3, 4]

Aquí, el array a no cambiará; aunque inicialmente había un almacenamiento compartido, al cambiar b, Swift hará una copia separada de los datos.

Es importante recordar: si una estructura contiene un tipo por referencia (por ejemplo, una clase), las value semantics se aplican solo a la propia estructura, no a los objetos de referencia anidados.

Pregunta con trampa.

¿Cambiará el contenido del array si lo pasamos a una función y dentro de esa función lo editamos? Explica la diferencia entre el comportamiento de struct y class.

Respuesta con ejemplo:

func mutate(_ arr: inout [Int]) {
    arr.append(100)
}

var source = [1, 2]
mutate(&source)
print(source) // [1, 2, 100]

Si no se pasa por inout, la copia ocurrirá automáticamente en la primera modificación dentro de la función, y el array original no cambiará. Para las clases, no se produce una copia: el objeto original siempre se modifica.

Ejemplos de errores reales debido a la falta de conocimiento sobre los matices del tema.

---

Historia

Los desarrolladores colocaban objetos de referencia en un array de estructuras (struct), esperando que los cambios a través de una estructura no afectaran a otras instancias. En realidad, al cambiar los objetos de referencia en un lugar, cambiaban inesperadamente en todas partes (estado compartido).

---

Historia

En un proyecto en equipo, intentaron protegerse contra condiciones de carrera copiando colecciones en cada acceso. Esto causó un gasto inesperado de memoria y disminución del rendimiento al trabajar con grandes arrays.

---

Historia

Un desarrollador joven intentó rastrear cambios en un array, por lo que lo pasaba por inout a varias funciones manejadoras simultáneamente. El orden de las modificaciones se volvía poco claro, y esto llevó a cambios no seguros en hilos, bugs y errores de sincronización.