Ar kopijavimas yra būtinas naudojant reikšmės semantiką programavimo kalboje?

Programavimo kalboje naudojant reikšmės semantiką (value semantics), duomenų kopijavimas pagal numatytuosius nustatymus vyksta priskyrimo ar reikšmės perdavimo metu. Tai reiškia, kad sukuriama nauja objekto kopija, o ne nuoroda į originalą.

Tačiau kopijavimas ne visada yra būtinas fiziniam visų duomenų kopijavimui. Daugelis šiuolaikinių kalbų ir kompiliatorių optimizuoja kopijavimo operacijas, pavyzdžiui, naudodami copy-on-write arba optimizacijas kompiliatoriaus lygyje.

Pavyzdys: Swift kalboje struktūros turi reikšmės semantiką, ir priskyrimo metu sukuriama kopija. Tačiau jei struktūra turi nuorodinius tipus, kopijuojamos nuorodos, o ne patys objektai.

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

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

Taigi, reikšmės semantika reikalinga logiškai, tačiau faktinė įgyvendinimo dalis gali būti optimizuota.