Είναι υποχρεωτικό το αντιγραφή κατά τη χρήση της σημασιολογίας της τιμής σε μια γλώσσα προγραμματισμού;

Όταν χρησιμοποιείται η σημασιολογία τιμής (value semantics) σε μια γλώσσα προγραμματισμού, η αντιγραφή δεδομένων γίνεται από προεπιλογή κατά την ανάθεση ή τη μεταβίβαση μιας τιμής. Αυτό σημαίνει ότι δημιουργείται ένα νέο αντίγραφο του αντικειμένου, όχι μια αναφορά σε αυτό.

Ωστόσο, η αντιγραφή δεν είναι πάντα απαραίτητη με την έννοια της φυσικής αντιγραφής όλων των δεδομένων. Πολλές σύγχρονες γλώσσες και μεταγλωττιστές βελτιστοποιούν τις λειτουργίες αντιγραφής, χρησιμοποιώντας, για παράδειγμα, copy-on-write ή βελτιστοποιήσεις σε επίπεδο μεταγλωττιστή.

Παράδειγμα: στη Swift, οι δομές έχουν σημασιολογία τιμής, και κατά την ανάθεση δημιουργείται ένα αντίγραφο. Αλλά αν η δομή περιέχει αναφορικούς τύπους, αντιγράφονται οι αναφορές, όχι τα αντικείμενα.

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

var p1 = Point(x: 1, y: 2)
var p2 = p1  // δημιουργείται ένα αντίγραφο του p1
p2.x = 3
print(p1.x) // 1
print(p2.x) // 3

Έτσι, η αντιγραφή είναι λογικά απαραίτητη με σημασιολογία τιμής, αλλά η πραγματική υλοποίηση μπορεί να βελτιστοποιηθεί.