Is kopiëren verplicht bij het gebruik van de waarde-semantiek in een programmeertaal?

Bij het gebruik van waarde-semantic (value semantics) in een programmeertaal, vindt kopiëren van gegevens standaard plaats bij toewijzing of het doorgeven van een waarde. Dit betekent dat er een nieuwe kopie van het object wordt gemaakt, niet een verwijzing naar het oorspronkelijke.

Echter, kopiëren is niet altijd noodzakelijk in de zin van het fysiek kopiëren van alle gegevens. Veel moderne talen en compilers optimaliseren kopieerbewerkingen, bijvoorbeeld door copy-on-write of compileroptimalisaties.

Voorbeeld: in Swift hebben structs waarde-semantic, en bij toewijzing wordt een kopie gemaakt. Maar als de struct referentietypes bevat, worden de referenties gekopieerd, niet de objecten zelf.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // er wordt een kopie van p1 gemaakt
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Dus, kopiëren is logisch noodzakelijk bij waarde-semantic, maar de daadwerkelijke implementatie kan geoptimaliseerd worden.