Czy kopiowanie jest obowiązkowe przy korzystaniu z semantyki wartości w języku programowania?

Przy użyciu semantyki wartości (value semantics) w języku programowania, kopiowanie danych odbywa się domyślnie podczas przypisania lub przekazania wartości. Oznacza to, że tworzona jest nowa kopia obiektu, a nie odwołanie do oryginału.

Jednak kopiowanie nie zawsze jest konieczne w sensie fizycznego kopiowania wszystkich danych. Wiele nowoczesnych języków i kompilatorów optymalizuje operacje kopiowania, korzystając na przykład z kopiowania na żądanie (copy-on-write) lub optymalizacji na poziomie kompilatora.

Przykład: w Swift struktury mają semantykę wartości, i podczas przypisania tworzona jest kopia. Jednak jeśli struktura zawiera typy referencyjne, kopiowane są odwołania, a nie same obiekty.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // tworzona jest kopia p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

W związku z tym, kopiowanie jest logicznie konieczne przy semantyce wartości, ale faktyczna implementacja może być zoptymalizowana.