Proqramlaşdırma dilində dəyər semantikasını istifadə edərkən kopyalama məcburidirmi?

Proqramlaşdırma dilində dəyər semantikası (value semantics) istifadə edildikdə, məlumatların kopyalanması standart olaraq təyin etmə və ya dəyərin ötürülməsi zamanı baş verir. Bu, obyektin yeni bir nüsxəsinin yaradılması, orijinala istinad deyil.

Ancaq, bütün məlumatların fiziki surətini çıxarmaq hər zaman lazım deyil. Bir çox müasir dillər və tərtibçilər kopyalama əməliyyatlarını optimallaşdırır; məsələn, ehtiyac olduqda kopyalama (copy-on-write) və ya tərtibçi səviyyəsində optimallaşdırmalar istifadə edir.

Nümunə: Swift-də strukturlar dəyər semantikası ilə işləyir və təyin etmə zamanı nüsxə yaradılır. Ancaq, struktura referens tiplər daxil olarsa, referenslər kopyalanır, obyektlər yox.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // p1-in nüsxəsi yaradılır
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Beləliklə, dəyər semantikası ilə kopyalama məntiqi olaraq zəruridir, lakin faktiki tətbiq optimallaşdırıla bilər.