Задължително ли е копирането при използване на семантиката на стойността в езика за програмиране?

При използване на семантиката на стойността (value semantics) в език за програмиране, копирането на данни се случва по подразбиране при присвояване или предаване на стойност. Това означава, че се създава нова копие на обекта, а не препратка към оригинала.

Въпреки това, копирането не винаги е необходимо в смисъл на физическо копиране на всички данни. Много съвременни езици и компилатори оптимизират операциите по копиране, използвайки например copy-on-write или оптимизации на ниво компилатор.

Пример: в Swift, структурите имат семантика на стойността, и при присвояване се създава копие. Но ако структурата съдържа референтни типове, се копират референциите, а не самите обекти.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // създава се копие на p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Следователно, копирането е логически необходимо при семантиката на стойността, но реалната реализация може да бъде оптимизирана.