Dasturlash tilida qiymat semantikasi ishlatilganda nusxalash majburiymi?

Programma tilida qiymat semantikasi (value semantics) ishlatilganda, ma'lumotlarni nusxalash odatda qiymat tayinlash yoki o'tkazish paytida amalga oshiriladi. Bu shuni anglatadiki, obyektning yangi nusxasi yaratiladi, aslga havola emas.

Ammo, har doim ham barcha ma'lumotlarni fizik nusxalash shart emas. Ko'pgina zamonaviy tillar va kompilyatorlar nusxalash operatsiyalarini optimallashtiradi, masalan, ehtiyoj bo'lsa nusxalash (copy-on-write) yoki kompilyator darajasida optimallashtirishlar yordamida.

Misol: Swiftda, tuzilmalar qiymat semantikasi bilan ishlaydi va tayinlashda nusxa yaratiladi. Ammo, agar tuzilma referens turlarni o'z ichiga olsa, referenslar nusxalanadi, obyektlar emas.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // p1 ning nusxasi yaratiladi
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Shunday qilib, qiymat semantikasi bilan nusxalash mantiqan zarur, ammo haqiqiy amalga oshirish optimallashtirilishi mumkin.