Является ли копирование обязательным при использовании семантики значения в языке программирования?

При использовании семантики значения (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

Таким образом, копирование логически обязательно при семантике значения, но фактическая реализация может быть оптимизирована.