Kötelező másolni a programozási nyelvben az érték szemantikájának használatakor?

Amikor értékszemantikát (value semantics) használunk egy programozási nyelvben, az adatok másolása alapértelmezés szerint történik érték hozzárendelése vagy érték átadása során. Ez azt jelenti, hogy egy új példány jön létre az objektumból, nem pedig hivatkozás az eredetire.

Azonban a másolás nem mindig szükséges a fizikai adatok másolásának értelemben. Sok modern nyelv és fordító optimalizálja a másolási műveleteket, például copy-on-write vagy fordító szintű optimalizációk alkalmazásával.

Példa: Swiftben a struktúrák értékszemantikával rendelkeznek, és hozzárendeléskor másolat készül. De ha a struktúra referenciatípusokat tartalmaz, akkor a hivatkozásokat másolják, nem pedig az objektumokat.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // p1 másolata jön létre
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Így a másolás logikailag szükséges a értékszemantika esetén, de a tényleges megvalósítás optimalizálható.