blob: a911ca0e1e8f0e8963e2461a1705557f85b7a2fd [file] [log] [blame]
Guido van Rossum54f22ed2000-02-04 15:10:34 +00001"""Create portable serialized representations of Python objects.
Guido van Rossuma48061a1995-01-10 00:31:14 +00002
Alexandre Vassalottif7fa63d2008-05-11 08:55:36 +00003See module copyreg for a mechanism for registering custom picklers.
Tim Peters22a449a2003-01-27 20:16:36 +00004See module pickletools source for extensive comments.
Guido van Rossuma48061a1995-01-10 00:31:14 +00005
Guido van Rossume467be61997-12-05 19:42:42 +00006Classes:
Guido van Rossuma48061a1995-01-10 00:31:14 +00007
Guido van Rossume467be61997-12-05 19:42:42 +00008 Pickler
9 Unpickler
Guido van Rossuma48061a1995-01-10 00:31:14 +000010
Guido van Rossume467be61997-12-05 19:42:42 +000011Functions:
Guido van Rossuma48061a1995-01-10 00:31:14 +000012
Guido van Rossume467be61997-12-05 19:42:42 +000013 dump(object, file)
14 dumps(object) -> string
15 load(file) -> object
16 loads(string) -> object
Guido van Rossuma48061a1995-01-10 00:31:14 +000017
Guido van Rossume467be61997-12-05 19:42:42 +000018Misc variables:
Guido van Rossuma48061a1995-01-10 00:31:14 +000019
Fred Drakefe82acc1998-02-13 03:24:48 +000020 __version__
Guido van Rossume467be61997-12-05 19:42:42 +000021 format_version
22 compatible_formats
Guido van Rossuma48061a1995-01-10 00:31:14 +000023
Guido van Rossuma48061a1995-01-10 00:31:14 +000024"""
25
Guido van Rossum13257902007-06-07 23:15:56 +000026from types import FunctionType, BuiltinFunctionType
Alexandre Vassalottif7fa63d2008-05-11 08:55:36 +000027from copyreg import dispatch_table
28from copyreg import _extension_registry, _inverted_registry, _extension_cache
Guido van Rossumd3703791998-10-22 20:15:36 +000029import marshal
30import sys
31import struct
Skip Montanaro23bafc62001-02-18 03:10:09 +000032import re
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000033import io
Walter Dörwald42748a82007-06-12 16:40:17 +000034import codecs
Antoine Pitroud9dfaa92009-06-04 20:32:06 +000035import _compat_pickle
Guido van Rossuma48061a1995-01-10 00:31:14 +000036
Skip Montanaro352674d2001-02-07 23:14:30 +000037__all__ = ["PickleError", "PicklingError", "UnpicklingError", "Pickler",
38 "Unpickler", "dump", "dumps", "load", "loads"]
39
Guido van Rossum98297ee2007-11-06 21:34:58 +000040# Shortcut for use in isinstance testing
Alexandre Vassalotti8cb02b62008-05-03 01:42:49 +000041bytes_types = (bytes, bytearray)
Guido van Rossum98297ee2007-11-06 21:34:58 +000042
Tim Petersc0c12b52003-01-29 00:56:17 +000043# These are purely informational; no code uses these.
Guido van Rossumf4169812008-03-17 22:56:06 +000044format_version = "3.0" # File format version we write
Guido van Rossumf29d3d62003-01-27 22:47:53 +000045compatible_formats = ["1.0", # Original protocol 0
Guido van Rossumbc64e222003-01-28 16:34:19 +000046 "1.1", # Protocol 0 with INST added
Guido van Rossumf29d3d62003-01-27 22:47:53 +000047 "1.2", # Original protocol 1
48 "1.3", # Protocol 1 with BINFLOAT added
49 "2.0", # Protocol 2
Guido van Rossumf4169812008-03-17 22:56:06 +000050 "3.0", # Protocol 3
Guido van Rossumf29d3d62003-01-27 22:47:53 +000051 ] # Old format versions we can read
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000052
Guido van Rossum99603b02007-07-20 00:22:32 +000053# This is the highest protocol number we know how to read.
Guido van Rossumf4169812008-03-17 22:56:06 +000054HIGHEST_PROTOCOL = 3
Tim Peters8587b3c2003-02-13 15:44:41 +000055
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000056# The protocol we write by default. May be less than HIGHEST_PROTOCOL.
Guido van Rossumf4169812008-03-17 22:56:06 +000057# We intentionally write a protocol that Python 2.x cannot read;
58# there are too many issues with that.
59DEFAULT_PROTOCOL = 3
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000060
Guido van Rossume0b90422003-01-28 03:17:21 +000061# Why use struct.pack() for pickling but marshal.loads() for
Tim Petersc0c12b52003-01-29 00:56:17 +000062# unpickling? struct.pack() is 40% faster than marshal.dumps(), but
Guido van Rossume0b90422003-01-28 03:17:21 +000063# marshal.loads() is twice as fast as struct.unpack()!
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000064mloads = marshal.loads
Guido van Rossum0c891ce1995-03-14 15:09:05 +000065
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000066class PickleError(Exception):
Neal Norwitzefbb67b2002-05-30 12:12:04 +000067 """A common base class for the other pickling exceptions."""
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000068 pass
69
70class PicklingError(PickleError):
71 """This exception is raised when an unpicklable object is passed to the
72 dump() method.
73
74 """
75 pass
76
77class UnpicklingError(PickleError):
78 """This exception is raised when there is a problem unpickling an object,
79 such as a security violation.
80
81 Note that other exceptions may also be raised during unpickling, including
82 (but not necessarily limited to) AttributeError, EOFError, ImportError,
83 and IndexError.
84
85 """
86 pass
Guido van Rossum7849da81995-03-09 14:08:35 +000087
Tim Petersc0c12b52003-01-29 00:56:17 +000088# An instance of _Stop is raised by Unpickler.load_stop() in response to
89# the STOP opcode, passing the object that is the result of unpickling.
Guido van Rossumff871742000-12-13 18:11:56 +000090class _Stop(Exception):
91 def __init__(self, value):
92 self.value = value
93
Guido van Rossum533dbcf2003-01-28 17:55:05 +000094# Jython has PyStringMap; it's a dict subclass with string keys
Jeremy Hylton2b9d0291998-05-27 22:38:22 +000095try:
96 from org.python.core import PyStringMap
97except ImportError:
98 PyStringMap = None
99
Tim Peters22a449a2003-01-27 20:16:36 +0000100# Pickle opcodes. See pickletools.py for extensive docs. The listing
101# here is in kind-of alphabetical order of 1-character pickle code.
102# pickletools groups them by purpose.
Guido van Rossumdbb718f2001-09-21 19:22:34 +0000103
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000104MARK = b'(' # push special markobject on stack
105STOP = b'.' # every pickle ends with STOP
106POP = b'0' # discard topmost stack item
107POP_MARK = b'1' # discard stack top through topmost markobject
108DUP = b'2' # duplicate top stack item
109FLOAT = b'F' # push float object; decimal string argument
110INT = b'I' # push integer or bool; decimal string argument
111BININT = b'J' # push four-byte signed int
112BININT1 = b'K' # push 1-byte unsigned int
113LONG = b'L' # push long; decimal string argument
114BININT2 = b'M' # push 2-byte unsigned int
115NONE = b'N' # push None
116PERSID = b'P' # push persistent object; id is taken from string arg
117BINPERSID = b'Q' # " " " ; " " " " stack
118REDUCE = b'R' # apply callable to argtuple, both on stack
119STRING = b'S' # push string; NL-terminated string argument
120BINSTRING = b'T' # push string; counted binary string argument
121SHORT_BINSTRING= b'U' # " " ; " " " " < 256 bytes
122UNICODE = b'V' # push Unicode string; raw-unicode-escaped'd argument
123BINUNICODE = b'X' # " " " ; counted UTF-8 string argument
124APPEND = b'a' # append stack top to list below it
125BUILD = b'b' # call __setstate__ or __dict__.update()
126GLOBAL = b'c' # push self.find_class(modname, name); 2 string args
127DICT = b'd' # build a dict from stack items
128EMPTY_DICT = b'}' # push empty dict
129APPENDS = b'e' # extend list on stack by topmost stack slice
130GET = b'g' # push item from memo on stack; index is string arg
131BINGET = b'h' # " " " " " " ; " " 1-byte arg
132INST = b'i' # build & push class instance
133LONG_BINGET = b'j' # push item from memo on stack; index is 4-byte arg
134LIST = b'l' # build list from topmost stack items
135EMPTY_LIST = b']' # push empty list
136OBJ = b'o' # build & push class instance
137PUT = b'p' # store stack top in memo; index is string arg
138BINPUT = b'q' # " " " " " ; " " 1-byte arg
139LONG_BINPUT = b'r' # " " " " " ; " " 4-byte arg
140SETITEM = b's' # add key+value pair to dict
141TUPLE = b't' # build tuple from topmost stack items
142EMPTY_TUPLE = b')' # push empty tuple
143SETITEMS = b'u' # modify dict by adding topmost key+value pairs
144BINFLOAT = b'G' # push float; arg is 8-byte float encoding
Tim Peters22a449a2003-01-27 20:16:36 +0000145
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000146TRUE = b'I01\n' # not an opcode; see INT docs in pickletools.py
147FALSE = b'I00\n' # not an opcode; see INT docs in pickletools.py
Guido van Rossum77f6a652002-04-03 22:41:51 +0000148
Guido van Rossum586c9e82003-01-29 06:16:12 +0000149# Protocol 2
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000150
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000151PROTO = b'\x80' # identify pickle protocol
152NEWOBJ = b'\x81' # build object by applying cls.__new__ to argtuple
153EXT1 = b'\x82' # push object from extension registry; 1-byte index
154EXT2 = b'\x83' # ditto, but 2-byte index
155EXT4 = b'\x84' # ditto, but 4-byte index
156TUPLE1 = b'\x85' # build 1-tuple from stack top
157TUPLE2 = b'\x86' # build 2-tuple from two topmost stack items
158TUPLE3 = b'\x87' # build 3-tuple from three topmost stack items
159NEWTRUE = b'\x88' # push True
160NEWFALSE = b'\x89' # push False
161LONG1 = b'\x8a' # push long from < 256 bytes
162LONG4 = b'\x8b' # push really big long
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000163
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000164_tuplesize2code = [EMPTY_TUPLE, TUPLE1, TUPLE2, TUPLE3]
165
Guido van Rossumf4169812008-03-17 22:56:06 +0000166# Protocol 3 (Python 3.x)
167
168BINBYTES = b'B' # push bytes; counted binary string argument
169SHORT_BINBYTES = b'C' # " " ; " " " " < 256 bytes
Guido van Rossuma48061a1995-01-10 00:31:14 +0000170
Skip Montanaro23bafc62001-02-18 03:10:09 +0000171__all__.extend([x for x in dir() if re.match("[A-Z][A-Z0-9_]+$",x)])
172
Guido van Rossum1be31752003-01-28 15:19:53 +0000173# Pickling machinery
174
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000175class _Pickler:
Guido van Rossuma48061a1995-01-10 00:31:14 +0000176
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000177 def __init__(self, file, protocol=None, *, fix_imports=True):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000178 """This takes a binary file for writing a pickle data stream.
179
Guido van Rossumcf117b02003-02-09 17:19:41 +0000180 The optional protocol argument tells the pickler to use the
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000181 given protocol; supported protocols are 0, 1, 2, 3. The default
182 protocol is 3; a backward-incompatible protocol designed for
183 Python 3.0.
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000184
Guido van Rossum7eff63a2003-01-31 19:42:31 +0000185 Specifying a negative protocol version selects the highest
Tim Peters5bd2a792003-02-01 16:45:06 +0000186 protocol version supported. The higher the protocol used, the
187 more recent the version of Python needed to read the pickle
188 produced.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000189
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000190 The file argument must have a write() method that accepts a single
191 bytes argument. It can thus be a file object opened for binary
192 writing, a io.BytesIO instance, or any other custom object that
193 meets this interface.
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000194
195 If fix_imports is True and protocol is less than 3, pickle will try to
196 map the new Python 3.x names to the old module names used in Python
197 2.x, so that the pickle data stream is readable with Python 2.x.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000198 """
Guido van Rossumcf117b02003-02-09 17:19:41 +0000199 if protocol is None:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000200 protocol = DEFAULT_PROTOCOL
Guido van Rossumcf117b02003-02-09 17:19:41 +0000201 if protocol < 0:
Tim Peters8587b3c2003-02-13 15:44:41 +0000202 protocol = HIGHEST_PROTOCOL
203 elif not 0 <= protocol <= HIGHEST_PROTOCOL:
204 raise ValueError("pickle protocol must be <= %d" % HIGHEST_PROTOCOL)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000205 try:
206 self.write = file.write
207 except AttributeError:
208 raise TypeError("file must have a 'write' attribute")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000209 self.memo = {}
Guido van Rossumcf117b02003-02-09 17:19:41 +0000210 self.proto = int(protocol)
211 self.bin = protocol >= 1
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000212 self.fast = 0
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000213 self.fix_imports = fix_imports and protocol < 3
Guido van Rossuma48061a1995-01-10 00:31:14 +0000214
Fred Drake7f781c92002-05-01 20:33:53 +0000215 def clear_memo(self):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000216 """Clears the pickler's "memo".
217
218 The memo is the data structure that remembers which objects the
Tim Petersb377f8a2003-01-28 00:23:36 +0000219 pickler has already seen, so that shared or recursive objects are
220 pickled by reference and not by value. This method is useful when
221 re-using picklers.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000222
223 """
Fred Drake7f781c92002-05-01 20:33:53 +0000224 self.memo.clear()
225
Guido van Rossum3a41c612003-01-28 15:10:22 +0000226 def dump(self, obj):
Tim Peters5bd2a792003-02-01 16:45:06 +0000227 """Write a pickled representation of obj to the open file."""
Alexandre Vassalotti3cfcab92008-12-27 09:30:39 +0000228 # Check whether Pickler was initialized correctly. This is
229 # only needed to mimic the behavior of _pickle.Pickler.dump().
230 if not hasattr(self, "write"):
231 raise PicklingError("Pickler.__init__() was not called by "
232 "%s.__init__()" % (self.__class__.__name__,))
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000233 if self.proto >= 2:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000234 self.write(PROTO + bytes([self.proto]))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000235 self.save(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000236 self.write(STOP)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000237
Jeremy Hylton3422c992003-01-24 19:29:52 +0000238 def memoize(self, obj):
239 """Store an object in the memo."""
240
Tim Peterse46b73f2003-01-27 21:22:10 +0000241 # The Pickler memo is a dictionary mapping object ids to 2-tuples
242 # that contain the Unpickler memo key and the object being memoized.
243 # The memo key is written to the pickle and will become
Jeremy Hylton3422c992003-01-24 19:29:52 +0000244 # the key in the Unpickler's memo. The object is stored in the
Tim Peterse46b73f2003-01-27 21:22:10 +0000245 # Pickler memo so that transient objects are kept alive during
246 # pickling.
Jeremy Hylton3422c992003-01-24 19:29:52 +0000247
Tim Peterse46b73f2003-01-27 21:22:10 +0000248 # The use of the Unpickler memo length as the memo key is just a
249 # convention. The only requirement is that the memo values be unique.
250 # But there appears no advantage to any other scheme, and this
Tim Peterscbd0a322003-01-28 00:24:43 +0000251 # scheme allows the Unpickler memo to be implemented as a plain (but
Tim Peterse46b73f2003-01-27 21:22:10 +0000252 # growable) array, indexed by memo key.
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000253 if self.fast:
254 return
Guido van Rossum9b40e802003-01-30 06:37:41 +0000255 assert id(obj) not in self.memo
Jeremy Hylton3422c992003-01-24 19:29:52 +0000256 memo_len = len(self.memo)
257 self.write(self.put(memo_len))
Tim Peters518df0d2003-01-28 01:00:38 +0000258 self.memo[id(obj)] = memo_len, obj
Jeremy Hylton3422c992003-01-24 19:29:52 +0000259
Tim Petersbb38e302003-01-27 21:25:41 +0000260 # Return a PUT (BINPUT, LONG_BINPUT) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000261 def put(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000262 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000263 if i < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000264 return BINPUT + bytes([i])
Guido van Rossum5c938d02003-01-28 03:03:08 +0000265 else:
266 return LONG_BINPUT + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000267
Guido van Rossum39478e82007-08-27 17:23:59 +0000268 return PUT + repr(i).encode("ascii") + b'\n'
Guido van Rossuma48061a1995-01-10 00:31:14 +0000269
Tim Petersbb38e302003-01-27 21:25:41 +0000270 # Return a GET (BINGET, LONG_BINGET) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000271 def get(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000272 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000273 if i < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000274 return BINGET + bytes([i])
Guido van Rossum5c938d02003-01-28 03:03:08 +0000275 else:
276 return LONG_BINGET + pack("<i", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000277
Guido van Rossum39478e82007-08-27 17:23:59 +0000278 return GET + repr(i).encode("ascii") + b'\n'
Tim Peters2344fae2001-01-15 00:50:52 +0000279
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000280 def save(self, obj, save_persistent_id=True):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000281 # Check for persistent id (defined by a subclass)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000282 pid = self.persistent_id(obj)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000283 if pid is not None and save_persistent_id:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000284 self.save_pers(pid)
285 return
Guido van Rossuma48061a1995-01-10 00:31:14 +0000286
Guido van Rossumbc64e222003-01-28 16:34:19 +0000287 # Check the memo
288 x = self.memo.get(id(obj))
289 if x:
290 self.write(self.get(x[0]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000291 return
292
Guido van Rossumbc64e222003-01-28 16:34:19 +0000293 # Check the type dispatch table
Guido van Rossum3a41c612003-01-28 15:10:22 +0000294 t = type(obj)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000295 f = self.dispatch.get(t)
296 if f:
297 f(self, obj) # Call unbound method with explicit self
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000298 return
299
Alexandre Vassalottif7fa63d2008-05-11 08:55:36 +0000300 # Check copyreg.dispatch_table
Guido van Rossumbc64e222003-01-28 16:34:19 +0000301 reduce = dispatch_table.get(t)
Guido van Rossumc53f0092003-02-18 22:05:12 +0000302 if reduce:
303 rv = reduce(obj)
304 else:
Antoine Pitrouffd41d92011-10-04 09:23:04 +0200305 # Check for a class with a custom metaclass; treat as regular class
306 try:
307 issc = issubclass(t, type)
308 except TypeError: # t is not a class (old Boost; see SF #502085)
309 issc = False
310 if issc:
311 self.save_global(obj)
312 return
313
Guido van Rossumc53f0092003-02-18 22:05:12 +0000314 # Check for a __reduce_ex__ method, fall back to __reduce__
315 reduce = getattr(obj, "__reduce_ex__", None)
316 if reduce:
317 rv = reduce(self.proto)
318 else:
319 reduce = getattr(obj, "__reduce__", None)
320 if reduce:
321 rv = reduce()
322 else:
323 raise PicklingError("Can't pickle %r object: %r" %
324 (t.__name__, obj))
Tim Petersb32a8312003-01-28 00:48:09 +0000325
Guido van Rossumbc64e222003-01-28 16:34:19 +0000326 # Check for string returned by reduce(), meaning "save as global"
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000327 if isinstance(rv, str):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000328 self.save_global(obj, rv)
Tim Petersb32a8312003-01-28 00:48:09 +0000329 return
330
Guido van Rossumbc64e222003-01-28 16:34:19 +0000331 # Assert that reduce() returned a tuple
Guido van Rossum13257902007-06-07 23:15:56 +0000332 if not isinstance(rv, tuple):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000333 raise PicklingError("%s must return string or tuple" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000334
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000335 # Assert that it returned an appropriately sized tuple
Guido van Rossumbc64e222003-01-28 16:34:19 +0000336 l = len(rv)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000337 if not (2 <= l <= 5):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000338 raise PicklingError("Tuple returned by %s must have "
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000339 "two to five elements" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000340
Guido van Rossumbc64e222003-01-28 16:34:19 +0000341 # Save the reduce() output and finally memoize the object
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000342 self.save_reduce(obj=obj, *rv)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000343
Guido van Rossum3a41c612003-01-28 15:10:22 +0000344 def persistent_id(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000345 # This exists so a subclass can override it
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000346 return None
347
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000348 def save_pers(self, pid):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000349 # Save a persistent id reference
Tim Petersbd1cdb92003-01-28 01:03:10 +0000350 if self.bin:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000351 self.save(pid, save_persistent_id=False)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000352 self.write(BINPERSID)
Tim Petersbd1cdb92003-01-28 01:03:10 +0000353 else:
Guido van Rossum39478e82007-08-27 17:23:59 +0000354 self.write(PERSID + str(pid).encode("ascii") + b'\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000355
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000356 def save_reduce(self, func, args, state=None,
357 listitems=None, dictitems=None, obj=None):
Jeremy Hyltone3a565e2003-06-29 16:59:59 +0000358 # This API is called by some subclasses
Guido van Rossumbc64e222003-01-28 16:34:19 +0000359
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000360 # Assert that args is a tuple
Guido van Rossum13257902007-06-07 23:15:56 +0000361 if not isinstance(args, tuple):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000362 raise PicklingError("args from save_reduce() should be a tuple")
Guido van Rossumbc64e222003-01-28 16:34:19 +0000363
364 # Assert that func is callable
Florent Xicluna5d1155c2011-10-28 14:45:05 +0200365 if not callable(func):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000366 raise PicklingError("func from save_reduce() should be callable")
Guido van Rossumbc64e222003-01-28 16:34:19 +0000367
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000368 save = self.save
Guido van Rossumbc64e222003-01-28 16:34:19 +0000369 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000370
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000371 # Protocol 2 special case: if func's name is __newobj__, use NEWOBJ
372 if self.proto >= 2 and getattr(func, "__name__", "") == "__newobj__":
373 # A __reduce__ implementation can direct protocol 2 to
374 # use the more efficient NEWOBJ opcode, while still
375 # allowing protocol 0 and 1 to work normally. For this to
376 # work, the function returned by __reduce__ should be
377 # called __newobj__, and its first argument should be a
378 # new-style class. The implementation for __newobj__
379 # should be as follows, although pickle has no way to
380 # verify this:
381 #
382 # def __newobj__(cls, *args):
383 # return cls.__new__(cls, *args)
384 #
385 # Protocols 0 and 1 will pickle a reference to __newobj__,
386 # while protocol 2 (and above) will pickle a reference to
387 # cls, the remaining args tuple, and the NEWOBJ code,
388 # which calls cls.__new__(cls, *args) at unpickling time
389 # (see load_newobj below). If __reduce__ returns a
390 # three-tuple, the state from the third tuple item will be
391 # pickled regardless of the protocol, calling __setstate__
392 # at unpickling time (see load_build below).
393 #
394 # Note that no standard __newobj__ implementation exists;
395 # you have to provide your own. This is to enforce
396 # compatibility with Python 2.2 (pickles written using
397 # protocol 0 or 1 in Python 2.3 should be unpicklable by
398 # Python 2.2).
399 cls = args[0]
400 if not hasattr(cls, "__new__"):
401 raise PicklingError(
402 "args[0] from __newobj__ args has no __new__")
Guido van Rossumf7f45172003-01-31 17:17:49 +0000403 if obj is not None and cls is not obj.__class__:
404 raise PicklingError(
405 "args[0] from __newobj__ args has the wrong class")
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000406 args = args[1:]
407 save(cls)
408 save(args)
409 write(NEWOBJ)
410 else:
411 save(func)
412 save(args)
413 write(REDUCE)
Tim Peters2344fae2001-01-15 00:50:52 +0000414
Guido van Rossumf7f45172003-01-31 17:17:49 +0000415 if obj is not None:
416 self.memoize(obj)
417
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000418 # More new special cases (that work with older protocols as
419 # well): when __reduce__ returns a tuple with 4 or 5 items,
420 # the 4th and 5th item should be iterators that provide list
421 # items and dict items (as (key, value) tuples), or None.
422
423 if listitems is not None:
424 self._batch_appends(listitems)
425
426 if dictitems is not None:
427 self._batch_setitems(dictitems)
428
Tim Petersc32d8242001-04-10 02:48:53 +0000429 if state is not None:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000430 save(state)
431 write(BUILD)
432
Guido van Rossumbc64e222003-01-28 16:34:19 +0000433 # Methods below this point are dispatched through the dispatch table
434
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000435 dispatch = {}
436
Guido van Rossum3a41c612003-01-28 15:10:22 +0000437 def save_none(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000438 self.write(NONE)
Guido van Rossum13257902007-06-07 23:15:56 +0000439 dispatch[type(None)] = save_none
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000440
Guido van Rossum3a41c612003-01-28 15:10:22 +0000441 def save_bool(self, obj):
Guido van Rossum7d97d312003-01-28 04:25:27 +0000442 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000443 self.write(obj and NEWTRUE or NEWFALSE)
Guido van Rossum7d97d312003-01-28 04:25:27 +0000444 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000445 self.write(obj and TRUE or FALSE)
Guido van Rossum77f6a652002-04-03 22:41:51 +0000446 dispatch[bool] = save_bool
447
Guido van Rossum3a41c612003-01-28 15:10:22 +0000448 def save_long(self, obj, pack=struct.pack):
Guido van Rossumddefaf32007-01-14 03:31:43 +0000449 if self.bin:
450 # If the int is small enough to fit in a signed 4-byte 2's-comp
451 # format, we can store it more efficiently than the general
452 # case.
453 # First one- and two-byte unsigned ints:
454 if obj >= 0:
455 if obj <= 0xff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000456 self.write(BININT1 + bytes([obj]))
Guido van Rossumddefaf32007-01-14 03:31:43 +0000457 return
458 if obj <= 0xffff:
Guido van Rossumcfe5f202007-05-08 21:26:54 +0000459 self.write(BININT2 + bytes([obj&0xff, obj>>8]))
Guido van Rossumddefaf32007-01-14 03:31:43 +0000460 return
461 # Next check for 4-byte signed ints:
462 high_bits = obj >> 31 # note that Python shift sign-extends
463 if high_bits == 0 or high_bits == -1:
464 # All high bits are copies of bit 2**31, so the value
465 # fits in a 4-byte signed int.
466 self.write(BININT + pack("<i", obj))
467 return
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000468 if self.proto >= 2:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000469 encoded = encode_long(obj)
470 n = len(encoded)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000471 if n < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000472 self.write(LONG1 + bytes([n]) + encoded)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000473 else:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000474 self.write(LONG4 + pack("<i", n) + encoded)
Tim Petersee1a53c2003-02-02 02:57:53 +0000475 return
Mark Dickinson8dd05142009-01-20 20:43:58 +0000476 self.write(LONG + repr(obj).encode("ascii") + b'L\n')
Guido van Rossum13257902007-06-07 23:15:56 +0000477 dispatch[int] = save_long
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000478
Guido van Rossum3a41c612003-01-28 15:10:22 +0000479 def save_float(self, obj, pack=struct.pack):
Guido van Rossumd3703791998-10-22 20:15:36 +0000480 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000481 self.write(BINFLOAT + pack('>d', obj))
Guido van Rossumd3703791998-10-22 20:15:36 +0000482 else:
Guido van Rossum39478e82007-08-27 17:23:59 +0000483 self.write(FLOAT + repr(obj).encode("ascii") + b'\n')
Guido van Rossum13257902007-06-07 23:15:56 +0000484 dispatch[float] = save_float
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000485
Guido van Rossumf4169812008-03-17 22:56:06 +0000486 def save_bytes(self, obj, pack=struct.pack):
487 if self.proto < 3:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000488 self.save_reduce(bytes, (list(obj),), obj=obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000489 return
490 n = len(obj)
491 if n < 256:
492 self.write(SHORT_BINBYTES + bytes([n]) + bytes(obj))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000493 else:
Guido van Rossumf4169812008-03-17 22:56:06 +0000494 self.write(BINBYTES + pack("<i", n) + bytes(obj))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000495 self.memoize(obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000496 dispatch[bytes] = save_bytes
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000497
Guido van Rossumf4169812008-03-17 22:56:06 +0000498 def save_str(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000499 if self.bin:
Victor Stinner485fb562010-04-13 11:07:24 +0000500 encoded = obj.encode('utf-8', 'surrogatepass')
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000501 n = len(encoded)
502 self.write(BINUNICODE + pack("<i", n) + encoded)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000503 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000504 obj = obj.replace("\\", "\\u005c")
505 obj = obj.replace("\n", "\\u000a")
Guido van Rossum1255ed62007-05-04 20:30:19 +0000506 self.write(UNICODE + bytes(obj.encode('raw-unicode-escape')) +
507 b'\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000508 self.memoize(obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000509 dispatch[str] = save_str
Tim Peters658cba62001-02-09 20:06:00 +0000510
Guido van Rossum3a41c612003-01-28 15:10:22 +0000511 def save_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000512 write = self.write
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000513 proto = self.proto
514
Guido van Rossum3a41c612003-01-28 15:10:22 +0000515 n = len(obj)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000516 if n == 0:
517 if proto:
518 write(EMPTY_TUPLE)
519 else:
520 write(MARK + TUPLE)
Tim Petersd97da802003-01-28 05:48:29 +0000521 return
522
523 save = self.save
524 memo = self.memo
525 if n <= 3 and proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000526 for element in obj:
Tim Petersd97da802003-01-28 05:48:29 +0000527 save(element)
528 # Subtle. Same as in the big comment below.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000529 if id(obj) in memo:
530 get = self.get(memo[id(obj)][0])
Tim Petersd97da802003-01-28 05:48:29 +0000531 write(POP * n + get)
532 else:
533 write(_tuplesize2code[n])
Guido van Rossum3a41c612003-01-28 15:10:22 +0000534 self.memoize(obj)
Tim Petersd97da802003-01-28 05:48:29 +0000535 return
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000536
Tim Peters1d63c9f2003-02-02 20:29:39 +0000537 # proto 0 or proto 1 and tuple isn't empty, or proto > 1 and tuple
Tim Petersff57bff2003-01-28 05:34:53 +0000538 # has more than 3 elements.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000539 write(MARK)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000540 for element in obj:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000541 save(element)
542
Tim Peters1d63c9f2003-02-02 20:29:39 +0000543 if id(obj) in memo:
Tim Petersf558da02003-01-28 02:09:55 +0000544 # Subtle. d was not in memo when we entered save_tuple(), so
545 # the process of saving the tuple's elements must have saved
546 # the tuple itself: the tuple is recursive. The proper action
547 # now is to throw away everything we put on the stack, and
548 # simply GET the tuple (it's already constructed). This check
549 # could have been done in the "for element" loop instead, but
550 # recursive tuples are a rare thing.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000551 get = self.get(memo[id(obj)][0])
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000552 if proto:
Tim Petersf558da02003-01-28 02:09:55 +0000553 write(POP_MARK + get)
554 else: # proto 0 -- POP_MARK not available
Tim Petersd97da802003-01-28 05:48:29 +0000555 write(POP * (n+1) + get)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000556 return
557
Tim Peters1d63c9f2003-02-02 20:29:39 +0000558 # No recursion.
Tim Peters518df0d2003-01-28 01:00:38 +0000559 self.write(TUPLE)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000560 self.memoize(obj)
Jeremy Hylton3422c992003-01-24 19:29:52 +0000561
Guido van Rossum13257902007-06-07 23:15:56 +0000562 dispatch[tuple] = save_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000563
Guido van Rossum3a41c612003-01-28 15:10:22 +0000564 def save_list(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000565 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000566
Tim Petersc32d8242001-04-10 02:48:53 +0000567 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000568 write(EMPTY_LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000569 else: # proto 0 -- can't use EMPTY_LIST
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000570 write(MARK + LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000571
572 self.memoize(obj)
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000573 self._batch_appends(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000574
Guido van Rossum13257902007-06-07 23:15:56 +0000575 dispatch[list] = save_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000576
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000577 _BATCHSIZE = 1000
578
579 def _batch_appends(self, items):
580 # Helper to batch up APPENDS sequences
581 save = self.save
582 write = self.write
583
584 if not self.bin:
585 for x in items:
586 save(x)
587 write(APPEND)
588 return
589
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000590 items = iter(items)
Guido van Rossum805365e2007-05-07 22:24:25 +0000591 r = range(self._BATCHSIZE)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000592 while items is not None:
593 tmp = []
594 for i in r:
595 try:
Georg Brandla18af4e2007-04-21 15:47:16 +0000596 x = next(items)
Guido van Rossum5aac4e62003-02-06 22:57:00 +0000597 tmp.append(x)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000598 except StopIteration:
599 items = None
600 break
601 n = len(tmp)
602 if n > 1:
603 write(MARK)
604 for x in tmp:
605 save(x)
606 write(APPENDS)
607 elif n:
608 save(tmp[0])
609 write(APPEND)
610 # else tmp is empty, and we're done
611
Guido van Rossum3a41c612003-01-28 15:10:22 +0000612 def save_dict(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000613 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000614
Tim Petersc32d8242001-04-10 02:48:53 +0000615 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000616 write(EMPTY_DICT)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000617 else: # proto 0 -- can't use EMPTY_DICT
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000618 write(MARK + DICT)
619
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000620 self.memoize(obj)
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000621 self._batch_setitems(obj.items())
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000622
Guido van Rossum13257902007-06-07 23:15:56 +0000623 dispatch[dict] = save_dict
624 if PyStringMap is not None:
Jeremy Hylton2b9d0291998-05-27 22:38:22 +0000625 dispatch[PyStringMap] = save_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000626
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000627 def _batch_setitems(self, items):
628 # Helper to batch up SETITEMS sequences; proto >= 1 only
629 save = self.save
630 write = self.write
631
632 if not self.bin:
633 for k, v in items:
634 save(k)
635 save(v)
636 write(SETITEM)
637 return
638
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000639 items = iter(items)
Guido van Rossum805365e2007-05-07 22:24:25 +0000640 r = range(self._BATCHSIZE)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000641 while items is not None:
642 tmp = []
643 for i in r:
644 try:
Georg Brandla18af4e2007-04-21 15:47:16 +0000645 tmp.append(next(items))
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000646 except StopIteration:
647 items = None
648 break
649 n = len(tmp)
650 if n > 1:
651 write(MARK)
652 for k, v in tmp:
653 save(k)
654 save(v)
655 write(SETITEMS)
656 elif n:
657 k, v = tmp[0]
658 save(k)
659 save(v)
660 write(SETITEM)
661 # else tmp is empty, and we're done
662
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000663 def save_global(self, obj, name=None, pack=struct.pack):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000664 write = self.write
665 memo = self.memo
666
Tim Petersc32d8242001-04-10 02:48:53 +0000667 if name is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000668 name = obj.__name__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000669
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000670 module = getattr(obj, "__module__", None)
671 if module is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000672 module = whichmodule(obj, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000673
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000674 try:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000675 __import__(module, level=0)
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000676 mod = sys.modules[module]
677 klass = getattr(mod, name)
678 except (ImportError, KeyError, AttributeError):
679 raise PicklingError(
680 "Can't pickle %r: it's not found as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000681 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000682 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000683 if klass is not obj:
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000684 raise PicklingError(
685 "Can't pickle %r: it's not the same object as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000686 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000687
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000688 if self.proto >= 2:
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000689 code = _extension_registry.get((module, name))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000690 if code:
691 assert code > 0
692 if code <= 0xff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000693 write(EXT1 + bytes([code]))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000694 elif code <= 0xffff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000695 write(EXT2 + bytes([code&0xff, code>>8]))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000696 else:
697 write(EXT4 + pack("<i", code))
698 return
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000699 # Non-ASCII identifiers are supported only with protocols >= 3.
700 if self.proto >= 3:
701 write(GLOBAL + bytes(module, "utf-8") + b'\n' +
702 bytes(name, "utf-8") + b'\n')
703 else:
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000704 if self.fix_imports:
705 if (module, name) in _compat_pickle.REVERSE_NAME_MAPPING:
706 module, name = _compat_pickle.REVERSE_NAME_MAPPING[(module, name)]
707 if module in _compat_pickle.REVERSE_IMPORT_MAPPING:
708 module = _compat_pickle.REVERSE_IMPORT_MAPPING[module]
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000709 try:
710 write(GLOBAL + bytes(module, "ascii") + b'\n' +
711 bytes(name, "ascii") + b'\n')
712 except UnicodeEncodeError:
713 raise PicklingError(
714 "can't pickle global identifier '%s.%s' using "
715 "pickle protocol %i" % (module, name, self.proto))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000716
Guido van Rossum3a41c612003-01-28 15:10:22 +0000717 self.memoize(obj)
Tim Peters3b769832003-01-28 03:51:36 +0000718
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000719 dispatch[FunctionType] = save_global
720 dispatch[BuiltinFunctionType] = save_global
Guido van Rossum13257902007-06-07 23:15:56 +0000721 dispatch[type] = save_global
Guido van Rossum0c891ce1995-03-14 15:09:05 +0000722
Guido van Rossum1be31752003-01-28 15:19:53 +0000723# Pickling helpers
Guido van Rossuma48061a1995-01-10 00:31:14 +0000724
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000725def _keep_alive(x, memo):
726 """Keeps a reference to the object x in the memo.
727
728 Because we remember objects by their id, we have
729 to assure that possibly temporary objects are kept
730 alive by referencing them.
731 We store a reference at the id of the memo, which should
732 normally not be used unless someone tries to deepcopy
733 the memo itself...
734 """
735 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000736 memo[id(memo)].append(x)
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000737 except KeyError:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000738 # aha, this is the first one :-)
739 memo[id(memo)]=[x]
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000740
741
Tim Petersc0c12b52003-01-29 00:56:17 +0000742# A cache for whichmodule(), mapping a function object to the name of
743# the module in which the function was found.
744
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000745classmap = {} # called classmap for backwards compatibility
Guido van Rossuma48061a1995-01-10 00:31:14 +0000746
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000747def whichmodule(func, funcname):
748 """Figure out the module in which a function occurs.
Guido van Rossuma48061a1995-01-10 00:31:14 +0000749
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000750 Search sys.modules for the module.
751 Cache in classmap.
752 Return a module name.
Tim Petersc0c12b52003-01-29 00:56:17 +0000753 If the function cannot be found, return "__main__".
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000754 """
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000755 # Python functions should always get an __module__ from their globals.
756 mod = getattr(func, "__module__", None)
757 if mod is not None:
758 return mod
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000759 if func in classmap:
760 return classmap[func]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000761
Guido van Rossum634e53f2007-02-26 07:07:02 +0000762 for name, module in list(sys.modules.items()):
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000763 if module is None:
Jeremy Hylton065a5ab2002-09-19 22:57:26 +0000764 continue # skip dummy package entries
Jeremy Hyltoncc1fccb2003-02-06 16:23:01 +0000765 if name != '__main__' and getattr(module, funcname, None) is func:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000766 break
767 else:
768 name = '__main__'
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000769 classmap[func] = name
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000770 return name
Guido van Rossuma48061a1995-01-10 00:31:14 +0000771
772
Guido van Rossum1be31752003-01-28 15:19:53 +0000773# Unpickling machinery
774
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000775class _Unpickler:
Guido van Rossuma48061a1995-01-10 00:31:14 +0000776
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000777 def __init__(self, file, *, fix_imports=True,
778 encoding="ASCII", errors="strict"):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000779 """This takes a binary file for reading a pickle data stream.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000780
Tim Peters5bd2a792003-02-01 16:45:06 +0000781 The protocol version of the pickle is detected automatically, so no
782 proto argument is needed.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000783
Guido van Rossumfeea0782007-10-10 18:00:50 +0000784 The file-like object must have two methods, a read() method
785 that takes an integer argument, and a readline() method that
786 requires no arguments. Both methods should return bytes.
787 Thus file-like object can be a binary file object opened for
788 reading, a BytesIO object, or any other custom object that
789 meets this interface.
Guido van Rossumf4169812008-03-17 22:56:06 +0000790
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000791 Optional keyword arguments are *fix_imports*, *encoding* and *errors*,
792 which are used to control compatiblity support for pickle stream
793 generated by Python 2.x. If *fix_imports* is True, pickle will try to
794 map the old Python 2.x names to the new names used in Python 3.x. The
795 *encoding* and *errors* tell pickle how to decode 8-bit string
796 instances pickled by Python 2.x; these default to 'ASCII' and
797 'strict', respectively.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000798 """
Guido van Rossumfeea0782007-10-10 18:00:50 +0000799 self.readline = file.readline
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000800 self.read = file.read
801 self.memo = {}
Guido van Rossumf4169812008-03-17 22:56:06 +0000802 self.encoding = encoding
803 self.errors = errors
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000804 self.proto = 0
805 self.fix_imports = fix_imports
Guido van Rossuma48061a1995-01-10 00:31:14 +0000806
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000807 def load(self):
Guido van Rossum3a41c612003-01-28 15:10:22 +0000808 """Read a pickled object representation from the open file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000809
Guido van Rossum3a41c612003-01-28 15:10:22 +0000810 Return the reconstituted object hierarchy specified in the file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000811 """
Alexandre Vassalotti3cfcab92008-12-27 09:30:39 +0000812 # Check whether Unpickler was initialized correctly. This is
813 # only needed to mimic the behavior of _pickle.Unpickler.dump().
814 if not hasattr(self, "read"):
815 raise UnpicklingError("Unpickler.__init__() was not called by "
816 "%s.__init__()" % (self.__class__.__name__,))
Jeremy Hylton20747fa2001-11-09 16:15:04 +0000817 self.mark = object() # any new unique object
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000818 self.stack = []
819 self.append = self.stack.append
820 read = self.read
821 dispatch = self.dispatch
822 try:
823 while 1:
824 key = read(1)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000825 if not key:
826 raise EOFError
Guido van Rossum98297ee2007-11-06 21:34:58 +0000827 assert isinstance(key, bytes_types)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000828 dispatch[key[0]](self)
Guido van Rossumb940e112007-01-10 16:19:56 +0000829 except _Stop as stopinst:
Guido van Rossumff871742000-12-13 18:11:56 +0000830 return stopinst.value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000831
Tim Petersc23d18a2003-01-28 01:41:51 +0000832 # Return largest index k such that self.stack[k] is self.mark.
833 # If the stack doesn't contain a mark, eventually raises IndexError.
834 # This could be sped by maintaining another stack, of indices at which
835 # the mark appears. For that matter, the latter stack would suffice,
836 # and we wouldn't need to push mark objects on self.stack at all.
837 # Doing so is probably a good thing, though, since if the pickle is
838 # corrupt (or hostile) we may get a clue from finding self.mark embedded
839 # in unpickled objects.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000840 def marker(self):
841 stack = self.stack
842 mark = self.mark
843 k = len(stack)-1
844 while stack[k] is not mark: k = k-1
845 return k
846
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000847 def persistent_load(self, pid):
Benjamin Peterson49956b22009-01-10 17:05:44 +0000848 raise UnpicklingError("unsupported persistent id encountered")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000849
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000850 dispatch = {}
851
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000852 def load_proto(self):
853 proto = ord(self.read(1))
Guido van Rossumf4169812008-03-17 22:56:06 +0000854 if not 0 <= proto <= HIGHEST_PROTOCOL:
Guido van Rossum26d95c32007-08-27 23:18:54 +0000855 raise ValueError("unsupported pickle protocol: %d" % proto)
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000856 self.proto = proto
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000857 dispatch[PROTO[0]] = load_proto
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000858
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000859 def load_persid(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000860 pid = self.readline()[:-1].decode("ascii")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000861 self.append(self.persistent_load(pid))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000862 dispatch[PERSID[0]] = load_persid
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000863
864 def load_binpersid(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +0000865 pid = self.stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000866 self.append(self.persistent_load(pid))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000867 dispatch[BINPERSID[0]] = load_binpersid
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000868
869 def load_none(self):
870 self.append(None)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000871 dispatch[NONE[0]] = load_none
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000872
Guido van Rossum7d97d312003-01-28 04:25:27 +0000873 def load_false(self):
874 self.append(False)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000875 dispatch[NEWFALSE[0]] = load_false
Guido van Rossum7d97d312003-01-28 04:25:27 +0000876
877 def load_true(self):
878 self.append(True)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000879 dispatch[NEWTRUE[0]] = load_true
Guido van Rossum7d97d312003-01-28 04:25:27 +0000880
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000881 def load_int(self):
Tim Peters19ef62d2001-08-28 22:21:18 +0000882 data = self.readline()
Guido van Rossume2763392002-04-05 19:30:08 +0000883 if data == FALSE[1:]:
884 val = False
885 elif data == TRUE[1:]:
886 val = True
887 else:
888 try:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000889 val = int(data, 0)
Guido van Rossume2763392002-04-05 19:30:08 +0000890 except ValueError:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000891 val = int(data, 0)
Guido van Rossume2763392002-04-05 19:30:08 +0000892 self.append(val)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000893 dispatch[INT[0]] = load_int
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000894
895 def load_binint(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000896 self.append(mloads(b'i' + self.read(4)))
897 dispatch[BININT[0]] = load_binint
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000898
899 def load_binint1(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000900 self.append(ord(self.read(1)))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000901 dispatch[BININT1[0]] = load_binint1
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000902
903 def load_binint2(self):
Guido van Rossumcfe5f202007-05-08 21:26:54 +0000904 self.append(mloads(b'i' + self.read(2) + b'\000\000'))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000905 dispatch[BININT2[0]] = load_binint2
Tim Peters2344fae2001-01-15 00:50:52 +0000906
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000907 def load_long(self):
Guido van Rossumfeea0782007-10-10 18:00:50 +0000908 val = self.readline()[:-1].decode("ascii")
Mark Dickinson8dd05142009-01-20 20:43:58 +0000909 if val and val[-1] == 'L':
910 val = val[:-1]
Guido van Rossumfeea0782007-10-10 18:00:50 +0000911 self.append(int(val, 0))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000912 dispatch[LONG[0]] = load_long
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000913
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000914 def load_long1(self):
915 n = ord(self.read(1))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000916 data = self.read(n)
917 self.append(decode_long(data))
918 dispatch[LONG1[0]] = load_long1
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000919
920 def load_long4(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000921 n = mloads(b'i' + self.read(4))
922 data = self.read(n)
923 self.append(decode_long(data))
924 dispatch[LONG4[0]] = load_long4
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000925
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000926 def load_float(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000927 self.append(float(self.readline()[:-1]))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000928 dispatch[FLOAT[0]] = load_float
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000929
Guido van Rossumd3703791998-10-22 20:15:36 +0000930 def load_binfloat(self, unpack=struct.unpack):
931 self.append(unpack('>d', self.read(8))[0])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000932 dispatch[BINFLOAT[0]] = load_binfloat
Guido van Rossumd3703791998-10-22 20:15:36 +0000933
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000934 def load_string(self):
Guido van Rossum98297ee2007-11-06 21:34:58 +0000935 orig = self.readline()
936 rep = orig[:-1]
Guido van Rossum26d95c32007-08-27 23:18:54 +0000937 for q in (b'"', b"'"): # double or single quote
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000938 if rep.startswith(q):
939 if not rep.endswith(q):
Guido van Rossum26d95c32007-08-27 23:18:54 +0000940 raise ValueError("insecure string pickle")
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000941 rep = rep[len(q):-len(q)]
942 break
943 else:
Guido van Rossum98297ee2007-11-06 21:34:58 +0000944 raise ValueError("insecure string pickle: %r" % orig)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000945 self.append(codecs.escape_decode(rep)[0]
946 .decode(self.encoding, self.errors))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000947 dispatch[STRING[0]] = load_string
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000948
949 def load_binstring(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000950 len = mloads(b'i' + self.read(4))
Guido van Rossumf4169812008-03-17 22:56:06 +0000951 data = self.read(len)
952 value = str(data, self.encoding, self.errors)
953 self.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000954 dispatch[BINSTRING[0]] = load_binstring
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000955
Guido van Rossumf4169812008-03-17 22:56:06 +0000956 def load_binbytes(self):
957 len = mloads(b'i' + self.read(4))
958 self.append(self.read(len))
959 dispatch[BINBYTES[0]] = load_binbytes
960
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000961 def load_unicode(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000962 self.append(str(self.readline()[:-1], 'raw-unicode-escape'))
963 dispatch[UNICODE[0]] = load_unicode
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000964
965 def load_binunicode(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000966 len = mloads(b'i' + self.read(4))
Victor Stinner485fb562010-04-13 11:07:24 +0000967 self.append(str(self.read(len), 'utf-8', 'surrogatepass'))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000968 dispatch[BINUNICODE[0]] = load_binunicode
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000969
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000970 def load_short_binstring(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000971 len = ord(self.read(1))
Guido van Rossumf4169812008-03-17 22:56:06 +0000972 data = bytes(self.read(len))
973 value = str(data, self.encoding, self.errors)
974 self.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000975 dispatch[SHORT_BINSTRING[0]] = load_short_binstring
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000976
Guido van Rossumf4169812008-03-17 22:56:06 +0000977 def load_short_binbytes(self):
978 len = ord(self.read(1))
979 self.append(bytes(self.read(len)))
980 dispatch[SHORT_BINBYTES[0]] = load_short_binbytes
981
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000982 def load_tuple(self):
983 k = self.marker()
984 self.stack[k:] = [tuple(self.stack[k+1:])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000985 dispatch[TUPLE[0]] = load_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000986
987 def load_empty_tuple(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000988 self.append(())
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000989 dispatch[EMPTY_TUPLE[0]] = load_empty_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000990
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000991 def load_tuple1(self):
992 self.stack[-1] = (self.stack[-1],)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000993 dispatch[TUPLE1[0]] = load_tuple1
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000994
995 def load_tuple2(self):
996 self.stack[-2:] = [(self.stack[-2], self.stack[-1])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000997 dispatch[TUPLE2[0]] = load_tuple2
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000998
999 def load_tuple3(self):
1000 self.stack[-3:] = [(self.stack[-3], self.stack[-2], self.stack[-1])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001001 dispatch[TUPLE3[0]] = load_tuple3
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001002
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001003 def load_empty_list(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001004 self.append([])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001005 dispatch[EMPTY_LIST[0]] = load_empty_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001006
1007 def load_empty_dictionary(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001008 self.append({})
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001009 dispatch[EMPTY_DICT[0]] = load_empty_dictionary
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001010
1011 def load_list(self):
1012 k = self.marker()
1013 self.stack[k:] = [self.stack[k+1:]]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001014 dispatch[LIST[0]] = load_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001015
1016 def load_dict(self):
1017 k = self.marker()
1018 d = {}
1019 items = self.stack[k+1:]
1020 for i in range(0, len(items), 2):
1021 key = items[i]
1022 value = items[i+1]
1023 d[key] = value
1024 self.stack[k:] = [d]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001025 dispatch[DICT[0]] = load_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001026
Tim Petersd01c1e92003-01-30 15:41:46 +00001027 # INST and OBJ differ only in how they get a class object. It's not
1028 # only sensible to do the rest in a common routine, the two routines
1029 # previously diverged and grew different bugs.
1030 # klass is the class to instantiate, and k points to the topmost mark
1031 # object, following which are the arguments for klass.__init__.
1032 def _instantiate(self, klass, k):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001033 args = tuple(self.stack[k+1:])
1034 del self.stack[k:]
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001035 if (args or not isinstance(klass, type) or
1036 hasattr(klass, "__getinitargs__")):
Guido van Rossum743d17e1998-09-15 20:25:57 +00001037 try:
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001038 value = klass(*args)
Guido van Rossumb940e112007-01-10 16:19:56 +00001039 except TypeError as err:
Guido van Rossum26d95c32007-08-27 23:18:54 +00001040 raise TypeError("in constructor for %s: %s" %
1041 (klass.__name__, str(err)), sys.exc_info()[2])
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001042 else:
1043 value = klass.__new__(klass)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001044 self.append(value)
Tim Petersd01c1e92003-01-30 15:41:46 +00001045
1046 def load_inst(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001047 module = self.readline()[:-1].decode("ascii")
1048 name = self.readline()[:-1].decode("ascii")
Tim Petersd01c1e92003-01-30 15:41:46 +00001049 klass = self.find_class(module, name)
1050 self._instantiate(klass, self.marker())
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001051 dispatch[INST[0]] = load_inst
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001052
1053 def load_obj(self):
Tim Petersd01c1e92003-01-30 15:41:46 +00001054 # Stack is ... markobject classobject arg1 arg2 ...
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001055 k = self.marker()
Tim Petersd01c1e92003-01-30 15:41:46 +00001056 klass = self.stack.pop(k+1)
1057 self._instantiate(klass, k)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001058 dispatch[OBJ[0]] = load_obj
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001059
Guido van Rossum3a41c612003-01-28 15:10:22 +00001060 def load_newobj(self):
1061 args = self.stack.pop()
1062 cls = self.stack[-1]
1063 obj = cls.__new__(cls, *args)
Guido van Rossum533dbcf2003-01-28 17:55:05 +00001064 self.stack[-1] = obj
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001065 dispatch[NEWOBJ[0]] = load_newobj
Guido van Rossum3a41c612003-01-28 15:10:22 +00001066
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001067 def load_global(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001068 module = self.readline()[:-1].decode("utf-8")
1069 name = self.readline()[:-1].decode("utf-8")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001070 klass = self.find_class(module, name)
1071 self.append(klass)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001072 dispatch[GLOBAL[0]] = load_global
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001073
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001074 def load_ext1(self):
1075 code = ord(self.read(1))
1076 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001077 dispatch[EXT1[0]] = load_ext1
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001078
1079 def load_ext2(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001080 code = mloads(b'i' + self.read(2) + b'\000\000')
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001081 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001082 dispatch[EXT2[0]] = load_ext2
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001083
1084 def load_ext4(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001085 code = mloads(b'i' + self.read(4))
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001086 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001087 dispatch[EXT4[0]] = load_ext4
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001088
1089 def get_extension(self, code):
1090 nil = []
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001091 obj = _extension_cache.get(code, nil)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001092 if obj is not nil:
1093 self.append(obj)
1094 return
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001095 key = _inverted_registry.get(code)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001096 if not key:
1097 raise ValueError("unregistered extension code %d" % code)
1098 obj = self.find_class(*key)
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001099 _extension_cache[code] = obj
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001100 self.append(obj)
1101
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001102 def find_class(self, module, name):
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001103 # Subclasses may override this.
1104 if self.proto < 3 and self.fix_imports:
1105 if (module, name) in _compat_pickle.NAME_MAPPING:
1106 module, name = _compat_pickle.NAME_MAPPING[(module, name)]
1107 if module in _compat_pickle.IMPORT_MAPPING:
1108 module = _compat_pickle.IMPORT_MAPPING[module]
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001109 __import__(module, level=0)
Barry Warsawbf4d9592001-11-15 23:42:58 +00001110 mod = sys.modules[module]
1111 klass = getattr(mod, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001112 return klass
1113
1114 def load_reduce(self):
1115 stack = self.stack
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001116 args = stack.pop()
1117 func = stack[-1]
Guido van Rossum99603b02007-07-20 00:22:32 +00001118 try:
1119 value = func(*args)
1120 except:
1121 print(sys.exc_info())
1122 print(func, args)
1123 raise
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001124 stack[-1] = value
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001125 dispatch[REDUCE[0]] = load_reduce
Guido van Rossuma48061a1995-01-10 00:31:14 +00001126
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001127 def load_pop(self):
1128 del self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001129 dispatch[POP[0]] = load_pop
Guido van Rossum7b5430f1995-03-04 22:25:21 +00001130
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001131 def load_pop_mark(self):
1132 k = self.marker()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001133 del self.stack[k:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001134 dispatch[POP_MARK[0]] = load_pop_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001135
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001136 def load_dup(self):
Guido van Rossumb1062fc1998-03-31 17:00:46 +00001137 self.append(self.stack[-1])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001138 dispatch[DUP[0]] = load_dup
Guido van Rossuma48061a1995-01-10 00:31:14 +00001139
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001140 def load_get(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001141 i = int(self.readline()[:-1])
1142 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001143 dispatch[GET[0]] = load_get
Guido van Rossum78536471996-04-12 13:36:27 +00001144
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001145 def load_binget(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001146 i = self.read(1)[0]
1147 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001148 dispatch[BINGET[0]] = load_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001149
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001150 def load_long_binget(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001151 i = mloads(b'i' + self.read(4))
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001152 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001153 dispatch[LONG_BINGET[0]] = load_long_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001154
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001155 def load_put(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001156 i = int(self.readline()[:-1])
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001157 if i < 0:
1158 raise ValueError("negative PUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001159 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001160 dispatch[PUT[0]] = load_put
Guido van Rossuma48061a1995-01-10 00:31:14 +00001161
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001162 def load_binput(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001163 i = self.read(1)[0]
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001164 if i < 0:
1165 raise ValueError("negative BINPUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001166 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001167 dispatch[BINPUT[0]] = load_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001168
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001169 def load_long_binput(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001170 i = mloads(b'i' + self.read(4))
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001171 if i < 0:
1172 raise ValueError("negative LONG_BINPUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001173 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001174 dispatch[LONG_BINPUT[0]] = load_long_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001175
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001176 def load_append(self):
1177 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001178 value = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001179 list = stack[-1]
1180 list.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001181 dispatch[APPEND[0]] = load_append
Guido van Rossuma48061a1995-01-10 00:31:14 +00001182
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001183 def load_appends(self):
1184 stack = self.stack
1185 mark = self.marker()
1186 list = stack[mark - 1]
Tim Peters209ad952003-01-28 01:44:45 +00001187 list.extend(stack[mark + 1:])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001188 del stack[mark:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001189 dispatch[APPENDS[0]] = load_appends
Tim Peters2344fae2001-01-15 00:50:52 +00001190
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001191 def load_setitem(self):
1192 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001193 value = stack.pop()
1194 key = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001195 dict = stack[-1]
1196 dict[key] = value
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001197 dispatch[SETITEM[0]] = load_setitem
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001198
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001199 def load_setitems(self):
1200 stack = self.stack
1201 mark = self.marker()
1202 dict = stack[mark - 1]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001203 for i in range(mark + 1, len(stack), 2):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001204 dict[stack[i]] = stack[i + 1]
Guido van Rossuma48061a1995-01-10 00:31:14 +00001205
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001206 del stack[mark:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001207 dispatch[SETITEMS[0]] = load_setitems
Guido van Rossuma48061a1995-01-10 00:31:14 +00001208
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001209 def load_build(self):
1210 stack = self.stack
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001211 state = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001212 inst = stack[-1]
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001213 setstate = getattr(inst, "__setstate__", None)
1214 if setstate:
1215 setstate(state)
1216 return
1217 slotstate = None
1218 if isinstance(state, tuple) and len(state) == 2:
1219 state, slotstate = state
1220 if state:
Alexandre Vassalottiebfecfd2009-05-25 18:50:33 +00001221 inst_dict = inst.__dict__
Antoine Pitroua9f48a02009-05-02 21:41:14 +00001222 intern = sys.intern
Alexandre Vassalottiebfecfd2009-05-25 18:50:33 +00001223 for k, v in state.items():
1224 if type(k) is str:
1225 inst_dict[intern(k)] = v
1226 else:
1227 inst_dict[k] = v
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001228 if slotstate:
1229 for k, v in slotstate.items():
1230 setattr(inst, k, v)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001231 dispatch[BUILD[0]] = load_build
Guido van Rossuma48061a1995-01-10 00:31:14 +00001232
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001233 def load_mark(self):
1234 self.append(self.mark)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001235 dispatch[MARK[0]] = load_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001236
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001237 def load_stop(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001238 value = self.stack.pop()
Guido van Rossumff871742000-12-13 18:11:56 +00001239 raise _Stop(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001240 dispatch[STOP[0]] = load_stop
Guido van Rossuma48061a1995-01-10 00:31:14 +00001241
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001242# Encode/decode longs.
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001243
1244def encode_long(x):
Tim Peters91149822003-01-31 03:43:58 +00001245 r"""Encode a long to a two's complement little-endian binary string.
Guido van Rossume2a383d2007-01-15 16:59:06 +00001246 Note that 0 is a special case, returning an empty string, to save a
Tim Peters4b23f2b2003-01-31 16:43:39 +00001247 byte in the LONG1 pickling context.
1248
Guido van Rossume2a383d2007-01-15 16:59:06 +00001249 >>> encode_long(0)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001250 b''
Guido van Rossume2a383d2007-01-15 16:59:06 +00001251 >>> encode_long(255)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001252 b'\xff\x00'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001253 >>> encode_long(32767)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001254 b'\xff\x7f'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001255 >>> encode_long(-256)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001256 b'\x00\xff'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001257 >>> encode_long(-32768)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001258 b'\x00\x80'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001259 >>> encode_long(-128)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001260 b'\x80'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001261 >>> encode_long(127)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001262 b'\x7f'
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001263 >>>
1264 """
Tim Peters91149822003-01-31 03:43:58 +00001265 if x == 0:
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001266 return b''
Alexandre Vassalottid7a3da82010-01-12 01:49:31 +00001267 nbytes = (x.bit_length() >> 3) + 1
1268 result = x.to_bytes(nbytes, byteorder='little', signed=True)
1269 if x < 0 and nbytes > 1:
1270 if result[-1] == 0xff and (result[-2] & 0x80) != 0:
1271 result = result[:-1]
1272 return result
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001273
1274def decode_long(data):
1275 r"""Decode a long from a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001276
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001277 >>> decode_long(b'')
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001278 0
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001279 >>> decode_long(b"\xff\x00")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001280 255
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001281 >>> decode_long(b"\xff\x7f")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001282 32767
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001283 >>> decode_long(b"\x00\xff")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001284 -256
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001285 >>> decode_long(b"\x00\x80")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001286 -32768
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001287 >>> decode_long(b"\x80")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001288 -128
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001289 >>> decode_long(b"\x7f")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001290 127
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001291 """
Alexandre Vassalottid7a3da82010-01-12 01:49:31 +00001292 return int.from_bytes(data, byteorder='little', signed=True)
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001293
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001294# Shorthands
1295
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001296def dump(obj, file, protocol=None, *, fix_imports=True):
1297 Pickler(file, protocol, fix_imports=fix_imports).dump(obj)
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001298
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001299def dumps(obj, protocol=None, *, fix_imports=True):
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001300 f = io.BytesIO()
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001301 Pickler(f, protocol, fix_imports=fix_imports).dump(obj)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001302 res = f.getvalue()
Guido van Rossum98297ee2007-11-06 21:34:58 +00001303 assert isinstance(res, bytes_types)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001304 return res
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001305
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001306def load(file, *, fix_imports=True, encoding="ASCII", errors="strict"):
1307 return Unpickler(file, fix_imports=fix_imports,
1308 encoding=encoding, errors=errors).load()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001309
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001310def loads(s, *, fix_imports=True, encoding="ASCII", errors="strict"):
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001311 if isinstance(s, str):
1312 raise TypeError("Can't load pickle from unicode string")
1313 file = io.BytesIO(s)
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001314 return Unpickler(file, fix_imports=fix_imports,
1315 encoding=encoding, errors=errors).load()
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001316
Antoine Pitrouea99c5c2010-09-09 18:33:21 +00001317# Use the faster _pickle if possible
1318try:
1319 from _pickle import *
1320except ImportError:
1321 Pickler, Unpickler = _Pickler, _Unpickler
1322
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001323# Doctest
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001324def _test():
1325 import doctest
1326 return doctest.testmod()
1327
1328if __name__ == "__main__":
Florent Xicluna54540ec2011-11-04 08:29:17 +01001329 import argparse
Alexander Belopolsky455f7bd2010-07-27 23:02:38 +00001330 parser = argparse.ArgumentParser(
1331 description='display contents of the pickle files')
1332 parser.add_argument(
1333 'pickle_file', type=argparse.FileType('br'),
1334 nargs='*', help='the pickle file')
1335 parser.add_argument(
1336 '-t', '--test', action='store_true',
1337 help='run self-test suite')
1338 parser.add_argument(
1339 '-v', action='store_true',
1340 help='run verbosely; only affects self-test run')
1341 args = parser.parse_args()
1342 if args.test:
1343 _test()
1344 else:
1345 if not args.pickle_file:
1346 parser.print_help()
1347 else:
1348 import pprint
1349 for f in args.pickle_file:
1350 obj = load(f)
1351 pprint.pprint(obj)