Vai ir obligāti kopēt, izmantojot vērtības semantiku programmēšanas valodā?

Programmatūras valodā, izmantojot vērtības semantiku (value semantics), datu kopēšana pēc noklusējuma notiek pie piešķiršanas vai vērtības nodošanas. Tas nozīmē, ka tiek izveidots jauns objekta kopija, nevis atsauce uz oriģinālu.

Tomēr kopēšana ne vienmēr ir nepieciešama fiziskai visu datu kopēšanai. Daudzas mūsdienu valodas un kompilatori optimizē kopēšanas operācijas, piemēram, izmantojot copy-on-write vai optimizācijas kompilatora līmenī.

Piemērs: Swift struktūrām ir vērtības semantika, un pie piešķiršanas tiek izveidota kopija. Bet, ja struktūra satur atsauces tipus, tiek kopētas atsauces, nevis objekti paši.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // tiek izveidota p1 kopija
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Tādējādi, vērtības semantika ar kopēšanu ir loģiski nepieciešama, bet faktiskā realizācija var tikt optimizēta.