¿Es obligatorio copiar al usar la semántica de valor en un lenguaje de programación?

Al usar la semántica de valor (value semantics) en un lenguaje de programación, la copia de datos ocurre por defecto al asignar o pasar un valor. Esto significa que se crea una nueva copia del objeto, no una referencia al original.

Sin embargo, la copia no siempre es necesaria en el sentido de copiar físicamente todos los datos. Muchos lenguajes y compiladores modernos optimizan las operaciones de copia, utilizando, por ejemplo, copia bajo demanda (copy-on-write) o optimizaciones a nivel de compilador.

Ejemplo: en Swift, las estructuras tienen semántica de valor, y al asignar se crea una copia. Pero si la estructura contiene tipos referenciados, se copian las referencias, no los objetos en sí.

struct Point {
    var x: Int
    var y: Int
}

var p1 = Point(x: 1, y: 2)
var p2 = p1  // se crea una copia de p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Por lo tanto, la copia es lógicamente necesaria con semántica de valor, pero la implementación real puede estar optimizada.