Est-il obligatoire de copier lors de l'utilisation de la sémantique de valeur dans un langage de programmation?

Lorsqu'on utilise la sémantique de la valeur (value semantics) dans un langage de programmation, la copie des données se produit par défaut lors de l'affectation ou du passage d'une valeur. Cela signifie qu'une nouvelle copie de l'objet est créée, et non une référence à l'original.

Cependant, la copie n'est pas toujours nécessaire dans le sens de copier physiquement toutes les données. De nombreux langages et compilateurs modernes optimisent les opérations de copie, en utilisant par exemple la copie à la demande (copy-on-write) ou des optimisations au niveau du compilateur.

Exemple : en Swift, les structures ont une sémantique de valeur, et lors de l'affectation, une copie est créée. Mais si la structure contient des types référencés, ce sont les références qui sont copiées, pas les objets eux-mêmes.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // une copie de p1 est créée
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Ainsi, la copie est logiquement nécessaire avec la sémantique de la valeur, mais la mise en œuvre réelle peut être optimisée.