A cópia é obrigatória ao usar a semântica de valor na linguagem de programação?

Ao usar a semântica de valor (value semantics) numa linguagem de programação, a cópia de dados ocorre por padrão ao atribuir ou passar um valor. Isto significa que uma nova cópia do objeto é criada, não uma referência ao original.

No entanto, a cópia nem sempre é necessária no sentido de copiar fisicamente todos os dados. Muitas linguagens e compiladores modernos otimizam as operações de cópia, usando, por exemplo, cópia sob demanda (copy-on-write) ou otimizações ao nível do compilador.

Exemplo: em Swift, as estruturas têm semântica de valor, e ao atribuir, uma cópia é criada. Mas se a estrutura contém tipos referenciados, são as referências que são copiadas, não os objetos em si.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // uma cópia de p1 é criada
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Assim, a cópia é logicamente necessária com a semântica de valor, mas a implementação real pode ser otimizada.