Kas on kohustuslik kopeerida, kasutades väärtuse semantikat programmeerimiskeeles?

When using value semantics in a programming language, data copying occurs by default during assignment or value passing. This means a new copy of the object is created, not a reference to the original.

However, copying is not always necessary in the sense of physically copying all data. Many modern languages and compilers optimize copy operations, for example, using copy-on-write or compiler-level optimizations.

Example: in Swift, structures have value semantics, and a copy is created during assignment. But if the structure contains reference types, references are copied, not the objects themselves.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // a copy of p1 is created
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Therefore, copying is logically necessary with value semantics, but the actual implementation can be optimized.