shallow and deep copy operations

diff --git a/Lib/copy.py b/Lib/copy.py
new file mode 100644 (file)
index 0000000..fe4c4fb
--- /dev/null
+++ b/Lib/copy.py
@@ -0,0 +1,240 @@
+# Generic (shallow and deep) copying operations
+# =============================================
+# 
+# The difference between shallow and deep copying is only relevant for
+# compound objects (objects that contain other objects, like lists or class
+# instances).
+# 
+# - A shallow copy constructs a new compound object and then (to the extent
+#   possible) inserts *the same objects* into in that the original contains.
+# 
+# - A deep copy constructs a new compound object and then, recursively,
+#   inserts *copies* into it of the objects found in the original.
+# 
+# Two problems often exist with deep copy operations that don't exist with
+# shallow copy operations:
+# 
+# (a) recursive objects (compound objects that, directly or indirectly,
+#     contain a reference to themselves) may cause a recursive loop
+# 
+# (b) because deep copy copies *everything* it may copy too much, e.g.
+#     administrative data structures that should be shared even between copies
+# 
+# Python's deep copy operation avoids these problems by:
+#
+# (a) keeping a table of objects already copied during the current copying pass
+# 
+# (b) letting user-defined classes override the copying operation or the set
+#     of components copied
+# 
+# This version does not copy types like module, class, function, method,
+# nor stack trace, stack frame, nor file, socket, window, nor array,
+# nor any similar types.
+
+
+import types
+
+Error = 'copy.Error'
+
+def copy(x):
+       try:
+               copierfunction = _copy_dispatch[type(x)]
+       except KeyError:
+               try:
+                       copier = x.__copy__
+               except AttributeError:
+                       raise Error, "un(shallow)copyable object of type %s" % type(x)
+               y = copier()
+       else:
+               y = copierfunction(x)
+       return y
+
+_copy_dispatch = d = {}
+
+def _copy_atomic(x):
+       return x
+d[types.NoneType] = _copy_atomic
+d[types.IntType] = _copy_atomic
+d[types.LongType] = _copy_atomic
+d[types.FloatType] = _copy_atomic
+d[types.StringType] = _copy_atomic
+d[types.CodeType] = _copy_atomic
+d[types.TypeType] = _copy_atomic
+d[types.XRangeType] = _copy_atomic
+
+def _copy_list(x):
+       return x[:]
+d[types.ListType] = _copy_list
+
+def _copy_tuple(x):
+       return x[:]
+d[types.TupleType] = _copy_tuple
+
+def _copy_dict(x):
+       y = {}
+       for key in x.keys():
+               y[key] = x[key]
+       return y
+d[types.DictionaryType] = _copy_dict
+
+def _copy_inst(x):
+       if hasattr(x, '__copy__'):
+               return x.__copy__()
+       if hasattr(x, '__getinitargs__'):
+               args = x.__getinitargs__()
+       else:
+               args = ()
+       y = apply(x.__class__, args)
+       if hasattr(x, '__getstate__'):
+                       state = x.__getstate__()
+       else:
+                       state = x.__dict__
+       if y.hasattr('__setstate__'):
+                       y.__setstate__(state)
+       else:
+                       for key in state.keys():
+                               setattr(y, key, state[key])
+       return y
+d[types.InstanceType] = _copy_inst
+
+del d
+
+def deepcopy(x, memo = None):
+       if memo is None:
+               memo = {}
+       d = id(x)
+       if memo.has_key(d):
+               return memo[d]
+       try:
+               copierfunction = _deepcopy_dispatch[type(x)]
+       except KeyError:
+               try:
+                       copier = x.__deepcopy__
+               except AttributeError:
+                       raise Error, "un-deep-copyable object of type %s" % type(x)
+               y = copier(memo)
+       else:
+               y = copierfunction(x, memo)
+       memo[d] = y
+       return y
+
+_deepcopy_dispatch = d = {}
+
+def _deepcopy_atomic(x, memo):
+       return x
+d[types.NoneType] = _deepcopy_atomic
+d[types.IntType] = _deepcopy_atomic
+d[types.LongType] = _deepcopy_atomic
+d[types.FloatType] = _deepcopy_atomic
+d[types.StringType] = _deepcopy_atomic
+d[types.CodeType] = _deepcopy_atomic
+d[types.TypeType] = _deepcopy_atomic
+d[types.XRangeType] = _deepcopy_atomic
+
+def _deepcopy_list(x, memo):
+       y = []
+       memo[id(x)] = y
+       for a in x:
+               y.append(deepcopy(a, memo))
+       return y
+d[types.ListType] = _deepcopy_list
+
+def _deepcopy_tuple(x, memo):
+       y = []
+       for a in x:
+               y.append(deepcopy(a, memo))
+       d = id(x)
+       try:
+               return memo[d]
+       except KeyError:
+               pass
+       for i in range(len(x)):
+               if x[i] is not y[i]:
+                       return tuple(y)
+       return x
+d[types.TupleType] = _deepcopy_tuple
+
+def _deepcopy_dict(x, memo):
+       y = {}
+       memo[id(x)] = y
+       for key in x.keys():
+               y[deepcopy(key, memo)] = deepcopy(x[key], memo)
+       return y
+d[types.DictionaryType] = _deepcopy_dict
+
+def _deepcopy_inst(x, memo):
+       if hasattr(x, '__deepcopy__'):
+               return x.__deepcopy__()
+       if hasattr(x, '__getinitargs__'):
+               args = x.__getinitargs__()
+               args = deepcopy(args, memo)
+       else:
+               args = ()
+       y = apply(x.__class__, args)
+       memo[id(x)] = y
+       if hasattr(x, '__getstate__'):
+                       state = x.__getstate__()
+       else:
+                       state = x.__dict__
+       state = deepcopy(state, memo)
+       if y.hasattr('__setstate__'):
+                       y.__setstate__(state)
+       else:
+                       for key in state.keys():
+                               setattr(y, key, state[key])
+       return y
+d[types.InstanceType] = _deepcopy_inst
+
+del d
+
+del types
+
+def _test():
+       l = [None, 1, 2L, 3.14, 'xyzzy', (1, 2L), [3.14, 'abc'], {'abc': 'ABC'}, (), [], {}]
+       l1 = copy(l)
+       print l1==l
+       l1 = map(copy, l)
+       print l1==l
+       l1 = deepcopy(l)
+       print l1==l
+       class C:
+               def __init__(self, arg=None):
+                       self.a = 1
+                       self.arg = arg
+                       self.fp = open('copy.py')
+                       self.fp.close()
+               def __getstate__(self):
+                       return {'a': self.a, 'arg': self.arg}
+               def __setstate__(self, state):
+                       for key in state.keys():
+                               setattr(self, key, state[key])
+               def __deepcopy__(self, memo = None):
+                       new = self.__class__(deepcopy(self.arg, memo))
+                       new.a = self.a
+                       return new
+       c = C('argument sketch')
+       l.append(c)
+       l2 = copy(l)
+       print l == l2
+       print l
+       print l2
+       l2 = deepcopy(l)
+       print l == l2
+       print l
+       print l2
+       l.append({l[1]: l, 'xyz': l[2]})
+       l3 = copy(l)
+       import repr
+       print map(repr.repr, l)
+       print map(repr.repr, l1)
+       print map(repr.repr, l2)
+       print map(repr.repr, l3)
+       l3 = deepcopy(l)
+       import repr
+       print map(repr.repr, l)
+       print map(repr.repr, l1)
+       print map(repr.repr, l2)
+       print map(repr.repr, l3)
+
+if __name__ == '__main__':
+       _test()