Je při použití sémantiky hodnoty v programovacím jazyce povinné kopírování?

Při použití hodnotové sémantiky (value semantics) v programovacím jazyce dochází k duplikaci dat standardně při přiřazení nebo předání hodnoty. To znamená, že je vytvořena nová kopie objektu, nikoliv odkaz na původní.

Nicméně, kopírování není vždy nutné ve smyslu fyzického kopírování všech dat. Mnoho moderních jazyků a kompilátorů optimalizuje operace kopírování, například pomocí copy-on-write nebo optimalizací na úrovni kompilátoru.

Příklad: ve Swiftu mají struktury hodnotovou sémantiku, a při přiřazení je vytvořena kopie. Pokud však struktura obsahuje referenční typy, kopírují se odkazy, nikoliv objekty samotné.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // je vytvořena kopie p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Tudíž, kopírování je logicky nezbytné při hodnotové sémantice, ale skutečná implementace může být optimalizována.