È obbligatorio copiare quando si utilizza la semantica del valore in un linguaggio di programmazione?

Quando si utilizza la semantica del valore (value semantics) in un linguaggio di programmazione, la copia dei dati avviene di default durante l'assegnazione o il passaggio di un valore. Ciò significa che viene creata una nuova copia dell'oggetto, non un riferimento all'originale.

Tuttavia, la copia non è sempre necessaria nel senso di copiare fisicamente tutti i dati. Molti linguaggi e compilatori moderni ottimizzano le operazioni di copia, utilizzando ad esempio la copia su richiesta (copy-on-write) o ottimizzazioni a livello di compilatore.

Esempio: in Swift, le strutture hanno semantica di valore, e durante l'assegnazione viene creata una copia. Ma se la struttura contiene tipi referenziati, vengono copiate le referenze, non gli oggetti stessi.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // viene creata una copia di p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Pertanto, la copia è logicamente necessaria con la semantica del valore, ma l'implementazione reale può essere ottimizzata.