¿Todos los tipos de datos que almacenan valores utilizan necesariamente el mecanismo de copia al asignar o pasar?

No todos los tipos de datos utilizan el mecanismo de copia al asignar o transferir. En iOS (y Swift), se diferencian los tipos de valor (value types) y los tipos de referencia (reference types).

• Tipos de valor (por ejemplo, estructuras, enumeraciones, tipos básicos como Int, Double) se copian al asignar o transferir, creando una nueva copia de los datos.
• Tipos de referencia (por ejemplo, clases) solo copian la referencia al objeto, no el objeto en sí. De esta manera, varias variables pueden apuntar al mismo objeto en memoria.

Ejemplo en Swift:

struct Point { var x: Int; var y: Int }
class Person { var name: String
    init(name: String) { self.name = name }
}

var p1 = Point(x: 0, y: 0)
var p2 = p1 // se copia el valor
p2.x = 10
print(p1.x) // 0

var person1 = Person(name: "Alice")
var person2 = person1 // se copia la referencia
person2.name = "Bob"
print(person1.name) // Bob

Por lo tanto, el mecanismo de copia solo se aplica a los tipos de valor, mientras que los tipos de referencia usan la transferencia de referencia.