Die Implementierung bedient sich zweier Hashes für die lokalen Änderungen: changedKeys enthält genau die Schlüssel, für die es lokale Änderungen gegeben hat (aber nur leere Objekte), und local enthält den lokal gültigen Teil des Dictionarys. Wenn das originale Dictionary verändert wird, wirkt sich das also nur dann auf die Kopie aus, wenn der betreffende Schlüssel noch von keiner Änderung der Kopie betroffen war.
Dieses Beispiel gibt es auch als shar-File.