Este copierea obligatorie atunci când se utilizează semantica valorii într-un limbaj de programare?

Atunci când se utilizează semantica valorii (value semantics) într-un limbaj de programare, copierea datelor are loc implicit la atribuirea sau transmiterea unei valori. Aceasta înseamnă că se creează o copie nouă a obiectului, nu o referință la original.

Cu toate acestea, copierea nu este întotdeauna necesară în sensul copiei fizice a tuturor datelor. Multe limbaje și compilatoare moderne optimizează operațiile de copiere, folosind, de exemplu, copiere la nevoie (copy-on-write) sau optimizări la nivel de compilator.

Exemplu: în Swift, structurile au semantica valorii, și la atribuire se creează o copie. Dar dacă structura conține tipuri referențiale, se copiază referințele, nu obiectele în sine.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // se creează o copie a p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Prin urmare, copierea este logic necesară cu semantica valorii, dar implementarea reală poate fi optimizată.