Da li je kopiranje obavezno pri korišćenju semantike vrednosti u programskom jeziku?

Када се користи семантика вредности (value semantics) у програмском језику, копирање података се дешава по подразумевану при додели или преносу вредности. То значи да се креира нова копија објекта, а не референца на оригинал.

Међутим, копирање није увек неопходно у смислу физичког копирања свих података. Многи савремени језици и компајлери оптимизују операције копирања, користећи, на пример, copy-on-write или оптимизације на нивоу компајлера.

Пример: у Swift-у, структуре имају семантику вредности, и при додели се креира копија. Али ако структура садржи референтне типове, копирају се референце, а не сами објекти.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // креира се копија p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Стога, копирање је логички неопходно при семантици вредности, али стварна реализација може бити оптимизована.