Ist das Kopieren bei der Verwendung der Wertsemantik in einer Programmiersprache erforderlich?

Beim Einsatz der Wertsemantik (value semantics) in einer Programmiersprache erfolgt das Kopieren von Daten standardmäßig beim Zuweisen oder Übergeben eines Wertes. Das bedeutet, dass eine neue Kopie des Objekts erstellt wird, nicht eine Referenz auf das Original.

Das Kopieren ist jedoch nicht immer notwendig im Sinne des physischen Kopierens aller Daten. Viele moderne Sprachen und Compiler optimieren Kopieroperationen, indem sie beispielsweise Copy-on-Write oder Compiler-Optimierungen verwenden.

Beispiel: In Swift haben Strukturen Wertsemantik, und beim Zuweisen wird eine Kopie erstellt. Wenn die Struktur referenzielle Typen enthält, werden nur die Referenzen kopiert, nicht die Objekte selbst.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // eine Kopie von p1 wird erstellt
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Daher ist das Kopieren bei Wertsemantik logisch notwendig, aber die tatsächliche Implementierung kann optimiert sein.