Je kopírovanie povinné pri používaní semantiky hodnoty v programovacom jazyku?

Pri uporabi semantike vrednosti (value semantics) v programskem jeziku se kopiranje podatkov privzeto zgodi ob dodelitvi ali prenosu vrednosti. To pomeni, da se ustvari nova kopija objekta, ne referenca na izvorni.

Vendar kopiranje ni vedno nujno v smislu fizičnega kopiranja vseh podatkov. Mnogi sodobni jeziki in prevajalniki optimizirajo operacije kopiranja, na primer z uporabo copy-on-write ali optimizacij na ravni prevajalnika.

Primer: v Swiftu strukture imajo semantiko vrednosti, in ob dodelitvi se ustvari kopija. Če pa struktura vsebuje referenčne tipe, se kopirajo reference, ne objekti sami.

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

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

Tako je kopiranje logično nujno pri semantiki vrednosti, vendar se lahko dejanska implementacija optimizira.