¿Cuándo es mejor usar tipos de valor y en qué casos se deben usar tipos de referencia?

Los valores de tipo (por ejemplo, estructuras, enumeraciones, tuplas) se copian al transferirlos o asignarlos. Los cambios en una copia no afectan a las otras.

Los tipos de referencia (por ejemplo, clases, cierres, funciones) transmiten una referencia al mismo ejemplo. Los cambios realizados en una referencia se reflejan en todas las demás referencias al mismo objeto.

Es mejor usar tipos de valor:

• Cuando la independencia de las copias es importante.
• Para estructuras de datos pequeñas y simples, donde copiar es más barato que gestionar un tipo de referencia.
• Para garantizar la seguridad en entornos concurrentes (los cambios no afectan a otros hilos).
• Cuando se requiere una inmutabilidad garantizada después de la creación.

Es mejor usar tipos de referencia:

• Cuando se necesita tener una instancia compartida de un objeto accesible desde diferentes partes del código.
• Para estructuras de datos grandes y complejas o objetos donde copiar sería ineficiente.
• Cuando se requiere polimorfismo o herencia (las clases soportan estas capacidades).
• Para objetos con gestión del ciclo de vida (por ejemplo, gracias a ARC).
• Cuando se necesita una mutabilidad compartida del estado entre partes de la aplicación.