blob: a690ccd8bc5b5c65f15bcd1dac52332091553000 [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 Rossum743d17e1998-09-15 20:25:57 +000026__version__ = "$Revision$" # Code version
Guido van Rossuma48061a1995-01-10 00:31:14 +000027
Guido van Rossum13257902007-06-07 23:15:56 +000028from types import FunctionType, BuiltinFunctionType
Alexandre Vassalottif7fa63d2008-05-11 08:55:36 +000029from copyreg import dispatch_table
30from copyreg import _extension_registry, _inverted_registry, _extension_cache
Guido van Rossumd3703791998-10-22 20:15:36 +000031import marshal
32import sys
33import struct
Skip Montanaro23bafc62001-02-18 03:10:09 +000034import re
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000035import io
Walter Dörwald42748a82007-06-12 16:40:17 +000036import codecs
Antoine Pitroud9dfaa92009-06-04 20:32:06 +000037import _compat_pickle
Guido van Rossuma48061a1995-01-10 00:31:14 +000038
Skip Montanaro352674d2001-02-07 23:14:30 +000039__all__ = ["PickleError", "PicklingError", "UnpicklingError", "Pickler",
40 "Unpickler", "dump", "dumps", "load", "loads"]
41
Guido van Rossum98297ee2007-11-06 21:34:58 +000042# Shortcut for use in isinstance testing
Alexandre Vassalotti8cb02b62008-05-03 01:42:49 +000043bytes_types = (bytes, bytearray)
Guido van Rossum98297ee2007-11-06 21:34:58 +000044
Tim Petersc0c12b52003-01-29 00:56:17 +000045# These are purely informational; no code uses these.
Guido van Rossumf4169812008-03-17 22:56:06 +000046format_version = "3.0" # File format version we write
Guido van Rossumf29d3d62003-01-27 22:47:53 +000047compatible_formats = ["1.0", # Original protocol 0
Guido van Rossumbc64e222003-01-28 16:34:19 +000048 "1.1", # Protocol 0 with INST added
Guido van Rossumf29d3d62003-01-27 22:47:53 +000049 "1.2", # Original protocol 1
50 "1.3", # Protocol 1 with BINFLOAT added
51 "2.0", # Protocol 2
Guido van Rossumf4169812008-03-17 22:56:06 +000052 "3.0", # Protocol 3
Guido van Rossumf29d3d62003-01-27 22:47:53 +000053 ] # Old format versions we can read
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000054
Guido van Rossum99603b02007-07-20 00:22:32 +000055# This is the highest protocol number we know how to read.
Guido van Rossumf4169812008-03-17 22:56:06 +000056HIGHEST_PROTOCOL = 3
Tim Peters8587b3c2003-02-13 15:44:41 +000057
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000058# The protocol we write by default. May be less than HIGHEST_PROTOCOL.
Guido van Rossumf4169812008-03-17 22:56:06 +000059# We intentionally write a protocol that Python 2.x cannot read;
60# there are too many issues with that.
61DEFAULT_PROTOCOL = 3
Guido van Rossum2e6a4b32007-05-04 19:56:22 +000062
Guido van Rossume0b90422003-01-28 03:17:21 +000063# Why use struct.pack() for pickling but marshal.loads() for
Tim Petersc0c12b52003-01-29 00:56:17 +000064# unpickling? struct.pack() is 40% faster than marshal.dumps(), but
Guido van Rossume0b90422003-01-28 03:17:21 +000065# marshal.loads() is twice as fast as struct.unpack()!
Guido van Rossumb72cf2d1997-04-09 17:32:51 +000066mloads = marshal.loads
Guido van Rossum0c891ce1995-03-14 15:09:05 +000067
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000068class PickleError(Exception):
Neal Norwitzefbb67b2002-05-30 12:12:04 +000069 """A common base class for the other pickling exceptions."""
Raymond Hettingeraef22fb2002-05-29 16:18:42 +000070 pass
71
72class PicklingError(PickleError):
73 """This exception is raised when an unpicklable object is passed to the
74 dump() method.
75
76 """
77 pass
78
79class UnpicklingError(PickleError):
80 """This exception is raised when there is a problem unpickling an object,
81 such as a security violation.
82
83 Note that other exceptions may also be raised during unpickling, including
84 (but not necessarily limited to) AttributeError, EOFError, ImportError,
85 and IndexError.
86
87 """
88 pass
Guido van Rossum7849da81995-03-09 14:08:35 +000089
Tim Petersc0c12b52003-01-29 00:56:17 +000090# An instance of _Stop is raised by Unpickler.load_stop() in response to
91# the STOP opcode, passing the object that is the result of unpickling.
Guido van Rossumff871742000-12-13 18:11:56 +000092class _Stop(Exception):
93 def __init__(self, value):
94 self.value = value
95
Guido van Rossum533dbcf2003-01-28 17:55:05 +000096# Jython has PyStringMap; it's a dict subclass with string keys
Jeremy Hylton2b9d0291998-05-27 22:38:22 +000097try:
98 from org.python.core import PyStringMap
99except ImportError:
100 PyStringMap = None
101
Tim Peters22a449a2003-01-27 20:16:36 +0000102# Pickle opcodes. See pickletools.py for extensive docs. The listing
103# here is in kind-of alphabetical order of 1-character pickle code.
104# pickletools groups them by purpose.
Guido van Rossumdbb718f2001-09-21 19:22:34 +0000105
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000106MARK = b'(' # push special markobject on stack
107STOP = b'.' # every pickle ends with STOP
108POP = b'0' # discard topmost stack item
109POP_MARK = b'1' # discard stack top through topmost markobject
110DUP = b'2' # duplicate top stack item
111FLOAT = b'F' # push float object; decimal string argument
112INT = b'I' # push integer or bool; decimal string argument
113BININT = b'J' # push four-byte signed int
114BININT1 = b'K' # push 1-byte unsigned int
115LONG = b'L' # push long; decimal string argument
116BININT2 = b'M' # push 2-byte unsigned int
117NONE = b'N' # push None
118PERSID = b'P' # push persistent object; id is taken from string arg
119BINPERSID = b'Q' # " " " ; " " " " stack
120REDUCE = b'R' # apply callable to argtuple, both on stack
121STRING = b'S' # push string; NL-terminated string argument
122BINSTRING = b'T' # push string; counted binary string argument
123SHORT_BINSTRING= b'U' # " " ; " " " " < 256 bytes
124UNICODE = b'V' # push Unicode string; raw-unicode-escaped'd argument
125BINUNICODE = b'X' # " " " ; counted UTF-8 string argument
126APPEND = b'a' # append stack top to list below it
127BUILD = b'b' # call __setstate__ or __dict__.update()
128GLOBAL = b'c' # push self.find_class(modname, name); 2 string args
129DICT = b'd' # build a dict from stack items
130EMPTY_DICT = b'}' # push empty dict
131APPENDS = b'e' # extend list on stack by topmost stack slice
132GET = b'g' # push item from memo on stack; index is string arg
133BINGET = b'h' # " " " " " " ; " " 1-byte arg
134INST = b'i' # build & push class instance
135LONG_BINGET = b'j' # push item from memo on stack; index is 4-byte arg
136LIST = b'l' # build list from topmost stack items
137EMPTY_LIST = b']' # push empty list
138OBJ = b'o' # build & push class instance
139PUT = b'p' # store stack top in memo; index is string arg
140BINPUT = b'q' # " " " " " ; " " 1-byte arg
141LONG_BINPUT = b'r' # " " " " " ; " " 4-byte arg
142SETITEM = b's' # add key+value pair to dict
143TUPLE = b't' # build tuple from topmost stack items
144EMPTY_TUPLE = b')' # push empty tuple
145SETITEMS = b'u' # modify dict by adding topmost key+value pairs
146BINFLOAT = b'G' # push float; arg is 8-byte float encoding
Tim Peters22a449a2003-01-27 20:16:36 +0000147
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000148TRUE = b'I01\n' # not an opcode; see INT docs in pickletools.py
149FALSE = b'I00\n' # not an opcode; see INT docs in pickletools.py
Guido van Rossum77f6a652002-04-03 22:41:51 +0000150
Guido van Rossum586c9e82003-01-29 06:16:12 +0000151# Protocol 2
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000152
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000153PROTO = b'\x80' # identify pickle protocol
154NEWOBJ = b'\x81' # build object by applying cls.__new__ to argtuple
155EXT1 = b'\x82' # push object from extension registry; 1-byte index
156EXT2 = b'\x83' # ditto, but 2-byte index
157EXT4 = b'\x84' # ditto, but 4-byte index
158TUPLE1 = b'\x85' # build 1-tuple from stack top
159TUPLE2 = b'\x86' # build 2-tuple from two topmost stack items
160TUPLE3 = b'\x87' # build 3-tuple from three topmost stack items
161NEWTRUE = b'\x88' # push True
162NEWFALSE = b'\x89' # push False
163LONG1 = b'\x8a' # push long from < 256 bytes
164LONG4 = b'\x8b' # push really big long
Guido van Rossum5a2d8f52003-01-27 21:44:25 +0000165
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000166_tuplesize2code = [EMPTY_TUPLE, TUPLE1, TUPLE2, TUPLE3]
167
Guido van Rossumf4169812008-03-17 22:56:06 +0000168# Protocol 3 (Python 3.x)
169
170BINBYTES = b'B' # push bytes; counted binary string argument
171SHORT_BINBYTES = b'C' # " " ; " " " " < 256 bytes
Guido van Rossuma48061a1995-01-10 00:31:14 +0000172
Skip Montanaro23bafc62001-02-18 03:10:09 +0000173__all__.extend([x for x in dir() if re.match("[A-Z][A-Z0-9_]+$",x)])
174
Guido van Rossum1be31752003-01-28 15:19:53 +0000175# Pickling machinery
176
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000177class _Pickler:
Guido van Rossuma48061a1995-01-10 00:31:14 +0000178
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000179 def __init__(self, file, protocol=None, *, fix_imports=True):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000180 """This takes a binary file for writing a pickle data stream.
181
Guido van Rossumcf117b02003-02-09 17:19:41 +0000182 The optional protocol argument tells the pickler to use the
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000183 given protocol; supported protocols are 0, 1, 2, 3. The default
184 protocol is 3; a backward-incompatible protocol designed for
185 Python 3.0.
Guido van Rossumf29d3d62003-01-27 22:47:53 +0000186
Guido van Rossum7eff63a2003-01-31 19:42:31 +0000187 Specifying a negative protocol version selects the highest
Tim Peters5bd2a792003-02-01 16:45:06 +0000188 protocol version supported. The higher the protocol used, the
189 more recent the version of Python needed to read the pickle
190 produced.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000191
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000192 The file argument must have a write() method that accepts a single
193 bytes argument. It can thus be a file object opened for binary
194 writing, a io.BytesIO instance, or any other custom object that
195 meets this interface.
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000196
197 If fix_imports is True and protocol is less than 3, pickle will try to
198 map the new Python 3.x names to the old module names used in Python
199 2.x, so that the pickle data stream is readable with Python 2.x.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000200 """
Guido van Rossumcf117b02003-02-09 17:19:41 +0000201 if protocol is None:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000202 protocol = DEFAULT_PROTOCOL
Guido van Rossumcf117b02003-02-09 17:19:41 +0000203 if protocol < 0:
Tim Peters8587b3c2003-02-13 15:44:41 +0000204 protocol = HIGHEST_PROTOCOL
205 elif not 0 <= protocol <= HIGHEST_PROTOCOL:
206 raise ValueError("pickle protocol must be <= %d" % HIGHEST_PROTOCOL)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000207 try:
208 self.write = file.write
209 except AttributeError:
210 raise TypeError("file must have a 'write' attribute")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000211 self.memo = {}
Guido van Rossumcf117b02003-02-09 17:19:41 +0000212 self.proto = int(protocol)
213 self.bin = protocol >= 1
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000214 self.fast = 0
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000215 self.fix_imports = fix_imports and protocol < 3
Guido van Rossuma48061a1995-01-10 00:31:14 +0000216
Fred Drake7f781c92002-05-01 20:33:53 +0000217 def clear_memo(self):
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000218 """Clears the pickler's "memo".
219
220 The memo is the data structure that remembers which objects the
Tim Petersb377f8a2003-01-28 00:23:36 +0000221 pickler has already seen, so that shared or recursive objects are
222 pickled by reference and not by value. This method is useful when
223 re-using picklers.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000224
225 """
Fred Drake7f781c92002-05-01 20:33:53 +0000226 self.memo.clear()
227
Guido van Rossum3a41c612003-01-28 15:10:22 +0000228 def dump(self, obj):
Tim Peters5bd2a792003-02-01 16:45:06 +0000229 """Write a pickled representation of obj to the open file."""
Alexandre Vassalotti3cfcab92008-12-27 09:30:39 +0000230 # Check whether Pickler was initialized correctly. This is
231 # only needed to mimic the behavior of _pickle.Pickler.dump().
232 if not hasattr(self, "write"):
233 raise PicklingError("Pickler.__init__() was not called by "
234 "%s.__init__()" % (self.__class__.__name__,))
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000235 if self.proto >= 2:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000236 self.write(PROTO + bytes([self.proto]))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000237 self.save(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000238 self.write(STOP)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000239
Jeremy Hylton3422c992003-01-24 19:29:52 +0000240 def memoize(self, obj):
241 """Store an object in the memo."""
242
Tim Peterse46b73f2003-01-27 21:22:10 +0000243 # The Pickler memo is a dictionary mapping object ids to 2-tuples
244 # that contain the Unpickler memo key and the object being memoized.
245 # The memo key is written to the pickle and will become
Jeremy Hylton3422c992003-01-24 19:29:52 +0000246 # the key in the Unpickler's memo. The object is stored in the
Tim Peterse46b73f2003-01-27 21:22:10 +0000247 # Pickler memo so that transient objects are kept alive during
248 # pickling.
Jeremy Hylton3422c992003-01-24 19:29:52 +0000249
Tim Peterse46b73f2003-01-27 21:22:10 +0000250 # The use of the Unpickler memo length as the memo key is just a
251 # convention. The only requirement is that the memo values be unique.
252 # But there appears no advantage to any other scheme, and this
Tim Peterscbd0a322003-01-28 00:24:43 +0000253 # scheme allows the Unpickler memo to be implemented as a plain (but
Tim Peterse46b73f2003-01-27 21:22:10 +0000254 # growable) array, indexed by memo key.
Guido van Rossum5d9113d2003-01-29 17:58:45 +0000255 if self.fast:
256 return
Guido van Rossum9b40e802003-01-30 06:37:41 +0000257 assert id(obj) not in self.memo
Jeremy Hylton3422c992003-01-24 19:29:52 +0000258 memo_len = len(self.memo)
259 self.write(self.put(memo_len))
Tim Peters518df0d2003-01-28 01:00:38 +0000260 self.memo[id(obj)] = memo_len, obj
Jeremy Hylton3422c992003-01-24 19:29:52 +0000261
Tim Petersbb38e302003-01-27 21:25:41 +0000262 # Return a PUT (BINPUT, LONG_BINPUT) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000263 def put(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000264 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000265 if i < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000266 return BINPUT + bytes([i])
Guido van Rossum5c938d02003-01-28 03:03:08 +0000267 else:
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100268 return LONG_BINPUT + pack("<I", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000269
Guido van Rossum39478e82007-08-27 17:23:59 +0000270 return PUT + repr(i).encode("ascii") + b'\n'
Guido van Rossuma48061a1995-01-10 00:31:14 +0000271
Tim Petersbb38e302003-01-27 21:25:41 +0000272 # Return a GET (BINGET, LONG_BINGET) opcode string, with argument i.
Guido van Rossum5c938d02003-01-28 03:03:08 +0000273 def get(self, i, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000274 if self.bin:
Tim Petersc32d8242001-04-10 02:48:53 +0000275 if i < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000276 return BINGET + bytes([i])
Guido van Rossum5c938d02003-01-28 03:03:08 +0000277 else:
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100278 return LONG_BINGET + pack("<I", i)
Guido van Rossuma48061a1995-01-10 00:31:14 +0000279
Guido van Rossum39478e82007-08-27 17:23:59 +0000280 return GET + repr(i).encode("ascii") + b'\n'
Tim Peters2344fae2001-01-15 00:50:52 +0000281
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000282 def save(self, obj, save_persistent_id=True):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000283 # Check for persistent id (defined by a subclass)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000284 pid = self.persistent_id(obj)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000285 if pid is not None and save_persistent_id:
Jeremy Hylton5e0f4e72002-11-13 22:01:27 +0000286 self.save_pers(pid)
287 return
Guido van Rossuma48061a1995-01-10 00:31:14 +0000288
Guido van Rossumbc64e222003-01-28 16:34:19 +0000289 # Check the memo
290 x = self.memo.get(id(obj))
291 if x:
292 self.write(self.get(x[0]))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000293 return
294
Guido van Rossumbc64e222003-01-28 16:34:19 +0000295 # Check the type dispatch table
Guido van Rossum3a41c612003-01-28 15:10:22 +0000296 t = type(obj)
Guido van Rossumbc64e222003-01-28 16:34:19 +0000297 f = self.dispatch.get(t)
298 if f:
299 f(self, obj) # Call unbound method with explicit self
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000300 return
301
Alexandre Vassalottif7fa63d2008-05-11 08:55:36 +0000302 # Check copyreg.dispatch_table
Guido van Rossumbc64e222003-01-28 16:34:19 +0000303 reduce = dispatch_table.get(t)
Guido van Rossumc53f0092003-02-18 22:05:12 +0000304 if reduce:
305 rv = reduce(obj)
306 else:
Antoine Pitrouffd41d92011-10-04 09:23:04 +0200307 # Check for a class with a custom metaclass; treat as regular class
308 try:
309 issc = issubclass(t, type)
310 except TypeError: # t is not a class (old Boost; see SF #502085)
311 issc = False
312 if issc:
313 self.save_global(obj)
314 return
315
Guido van Rossumc53f0092003-02-18 22:05:12 +0000316 # Check for a __reduce_ex__ method, fall back to __reduce__
317 reduce = getattr(obj, "__reduce_ex__", None)
318 if reduce:
319 rv = reduce(self.proto)
320 else:
321 reduce = getattr(obj, "__reduce__", None)
322 if reduce:
323 rv = reduce()
324 else:
325 raise PicklingError("Can't pickle %r object: %r" %
326 (t.__name__, obj))
Tim Petersb32a8312003-01-28 00:48:09 +0000327
Guido van Rossumbc64e222003-01-28 16:34:19 +0000328 # Check for string returned by reduce(), meaning "save as global"
Guido van Rossum3172c5d2007-10-16 18:12:55 +0000329 if isinstance(rv, str):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000330 self.save_global(obj, rv)
Tim Petersb32a8312003-01-28 00:48:09 +0000331 return
332
Guido van Rossumbc64e222003-01-28 16:34:19 +0000333 # Assert that reduce() returned a tuple
Guido van Rossum13257902007-06-07 23:15:56 +0000334 if not isinstance(rv, tuple):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000335 raise PicklingError("%s must return string or tuple" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000336
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000337 # Assert that it returned an appropriately sized tuple
Guido van Rossumbc64e222003-01-28 16:34:19 +0000338 l = len(rv)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000339 if not (2 <= l <= 5):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000340 raise PicklingError("Tuple returned by %s must have "
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000341 "two to five elements" % reduce)
Tim Petersb32a8312003-01-28 00:48:09 +0000342
Guido van Rossumbc64e222003-01-28 16:34:19 +0000343 # Save the reduce() output and finally memoize the object
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000344 self.save_reduce(obj=obj, *rv)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000345
Guido van Rossum3a41c612003-01-28 15:10:22 +0000346 def persistent_id(self, obj):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000347 # This exists so a subclass can override it
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000348 return None
349
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000350 def save_pers(self, pid):
Guido van Rossumbc64e222003-01-28 16:34:19 +0000351 # Save a persistent id reference
Tim Petersbd1cdb92003-01-28 01:03:10 +0000352 if self.bin:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000353 self.save(pid, save_persistent_id=False)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000354 self.write(BINPERSID)
Tim Petersbd1cdb92003-01-28 01:03:10 +0000355 else:
Guido van Rossum39478e82007-08-27 17:23:59 +0000356 self.write(PERSID + str(pid).encode("ascii") + b'\n')
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000357
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000358 def save_reduce(self, func, args, state=None,
359 listitems=None, dictitems=None, obj=None):
Jeremy Hyltone3a565e2003-06-29 16:59:59 +0000360 # This API is called by some subclasses
Guido van Rossumbc64e222003-01-28 16:34:19 +0000361
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000362 # Assert that args is a tuple
Guido van Rossum13257902007-06-07 23:15:56 +0000363 if not isinstance(args, tuple):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000364 raise PicklingError("args from save_reduce() should be a tuple")
Guido van Rossumbc64e222003-01-28 16:34:19 +0000365
366 # Assert that func is callable
Florent Xicluna5d1155c2011-10-28 14:45:05 +0200367 if not callable(func):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000368 raise PicklingError("func from save_reduce() should be callable")
Guido van Rossumbc64e222003-01-28 16:34:19 +0000369
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000370 save = self.save
Guido van Rossumbc64e222003-01-28 16:34:19 +0000371 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000372
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000373 # Protocol 2 special case: if func's name is __newobj__, use NEWOBJ
374 if self.proto >= 2 and getattr(func, "__name__", "") == "__newobj__":
375 # A __reduce__ implementation can direct protocol 2 to
376 # use the more efficient NEWOBJ opcode, while still
377 # allowing protocol 0 and 1 to work normally. For this to
378 # work, the function returned by __reduce__ should be
379 # called __newobj__, and its first argument should be a
380 # new-style class. The implementation for __newobj__
381 # should be as follows, although pickle has no way to
382 # verify this:
383 #
384 # def __newobj__(cls, *args):
385 # return cls.__new__(cls, *args)
386 #
387 # Protocols 0 and 1 will pickle a reference to __newobj__,
388 # while protocol 2 (and above) will pickle a reference to
389 # cls, the remaining args tuple, and the NEWOBJ code,
390 # which calls cls.__new__(cls, *args) at unpickling time
391 # (see load_newobj below). If __reduce__ returns a
392 # three-tuple, the state from the third tuple item will be
393 # pickled regardless of the protocol, calling __setstate__
394 # at unpickling time (see load_build below).
395 #
396 # Note that no standard __newobj__ implementation exists;
397 # you have to provide your own. This is to enforce
398 # compatibility with Python 2.2 (pickles written using
399 # protocol 0 or 1 in Python 2.3 should be unpicklable by
400 # Python 2.2).
401 cls = args[0]
402 if not hasattr(cls, "__new__"):
403 raise PicklingError(
404 "args[0] from __newobj__ args has no __new__")
Guido van Rossumf7f45172003-01-31 17:17:49 +0000405 if obj is not None and cls is not obj.__class__:
406 raise PicklingError(
407 "args[0] from __newobj__ args has the wrong class")
Guido van Rossumd053b4b2003-01-31 16:51:45 +0000408 args = args[1:]
409 save(cls)
410 save(args)
411 write(NEWOBJ)
412 else:
413 save(func)
414 save(args)
415 write(REDUCE)
Tim Peters2344fae2001-01-15 00:50:52 +0000416
Guido van Rossumf7f45172003-01-31 17:17:49 +0000417 if obj is not None:
418 self.memoize(obj)
419
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000420 # More new special cases (that work with older protocols as
421 # well): when __reduce__ returns a tuple with 4 or 5 items,
422 # the 4th and 5th item should be iterators that provide list
423 # items and dict items (as (key, value) tuples), or None.
424
425 if listitems is not None:
426 self._batch_appends(listitems)
427
428 if dictitems is not None:
429 self._batch_setitems(dictitems)
430
Tim Petersc32d8242001-04-10 02:48:53 +0000431 if state is not None:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000432 save(state)
433 write(BUILD)
434
Guido van Rossumbc64e222003-01-28 16:34:19 +0000435 # Methods below this point are dispatched through the dispatch table
436
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000437 dispatch = {}
438
Guido van Rossum3a41c612003-01-28 15:10:22 +0000439 def save_none(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000440 self.write(NONE)
Guido van Rossum13257902007-06-07 23:15:56 +0000441 dispatch[type(None)] = save_none
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000442
Guido van Rossum3a41c612003-01-28 15:10:22 +0000443 def save_bool(self, obj):
Guido van Rossum7d97d312003-01-28 04:25:27 +0000444 if self.proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000445 self.write(obj and NEWTRUE or NEWFALSE)
Guido van Rossum7d97d312003-01-28 04:25:27 +0000446 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000447 self.write(obj and TRUE or FALSE)
Guido van Rossum77f6a652002-04-03 22:41:51 +0000448 dispatch[bool] = save_bool
449
Guido van Rossum3a41c612003-01-28 15:10:22 +0000450 def save_long(self, obj, pack=struct.pack):
Guido van Rossumddefaf32007-01-14 03:31:43 +0000451 if self.bin:
452 # If the int is small enough to fit in a signed 4-byte 2's-comp
453 # format, we can store it more efficiently than the general
454 # case.
455 # First one- and two-byte unsigned ints:
456 if obj >= 0:
457 if obj <= 0xff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000458 self.write(BININT1 + bytes([obj]))
Guido van Rossumddefaf32007-01-14 03:31:43 +0000459 return
460 if obj <= 0xffff:
Guido van Rossumcfe5f202007-05-08 21:26:54 +0000461 self.write(BININT2 + bytes([obj&0xff, obj>>8]))
Guido van Rossumddefaf32007-01-14 03:31:43 +0000462 return
463 # Next check for 4-byte signed ints:
464 high_bits = obj >> 31 # note that Python shift sign-extends
465 if high_bits == 0 or high_bits == -1:
466 # All high bits are copies of bit 2**31, so the value
467 # fits in a 4-byte signed int.
468 self.write(BININT + pack("<i", obj))
469 return
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000470 if self.proto >= 2:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000471 encoded = encode_long(obj)
472 n = len(encoded)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000473 if n < 256:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000474 self.write(LONG1 + bytes([n]) + encoded)
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000475 else:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000476 self.write(LONG4 + pack("<i", n) + encoded)
Tim Petersee1a53c2003-02-02 02:57:53 +0000477 return
Mark Dickinson8dd05142009-01-20 20:43:58 +0000478 self.write(LONG + repr(obj).encode("ascii") + b'L\n')
Guido van Rossum13257902007-06-07 23:15:56 +0000479 dispatch[int] = save_long
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000480
Guido van Rossum3a41c612003-01-28 15:10:22 +0000481 def save_float(self, obj, pack=struct.pack):
Guido van Rossumd3703791998-10-22 20:15:36 +0000482 if self.bin:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000483 self.write(BINFLOAT + pack('>d', obj))
Guido van Rossumd3703791998-10-22 20:15:36 +0000484 else:
Guido van Rossum39478e82007-08-27 17:23:59 +0000485 self.write(FLOAT + repr(obj).encode("ascii") + b'\n')
Guido van Rossum13257902007-06-07 23:15:56 +0000486 dispatch[float] = save_float
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000487
Guido van Rossumf4169812008-03-17 22:56:06 +0000488 def save_bytes(self, obj, pack=struct.pack):
489 if self.proto < 3:
Alexandre Vassalotti3bfc65a2011-12-13 13:08:09 -0500490 if len(obj) == 0:
491 self.save_reduce(bytes, (), obj=obj)
492 else:
493 self.save_reduce(codecs.encode,
494 (str(obj, 'latin1'), 'latin1'), obj=obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000495 return
496 n = len(obj)
497 if n < 256:
498 self.write(SHORT_BINBYTES + bytes([n]) + bytes(obj))
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000499 else:
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100500 self.write(BINBYTES + pack("<I", n) + bytes(obj))
Guido van Rossum3a41c612003-01-28 15:10:22 +0000501 self.memoize(obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000502 dispatch[bytes] = save_bytes
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000503
Guido van Rossumf4169812008-03-17 22:56:06 +0000504 def save_str(self, obj, pack=struct.pack):
Tim Petersc32d8242001-04-10 02:48:53 +0000505 if self.bin:
Victor Stinner485fb562010-04-13 11:07:24 +0000506 encoded = obj.encode('utf-8', 'surrogatepass')
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000507 n = len(encoded)
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100508 self.write(BINUNICODE + pack("<I", n) + encoded)
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000509 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000510 obj = obj.replace("\\", "\\u005c")
511 obj = obj.replace("\n", "\\u000a")
Guido van Rossum1255ed62007-05-04 20:30:19 +0000512 self.write(UNICODE + bytes(obj.encode('raw-unicode-escape')) +
513 b'\n')
Guido van Rossum3a41c612003-01-28 15:10:22 +0000514 self.memoize(obj)
Guido van Rossumf4169812008-03-17 22:56:06 +0000515 dispatch[str] = save_str
Tim Peters658cba62001-02-09 20:06:00 +0000516
Guido van Rossum3a41c612003-01-28 15:10:22 +0000517 def save_tuple(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000518 write = self.write
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000519 proto = self.proto
520
Guido van Rossum3a41c612003-01-28 15:10:22 +0000521 n = len(obj)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000522 if n == 0:
523 if proto:
524 write(EMPTY_TUPLE)
525 else:
526 write(MARK + TUPLE)
Tim Petersd97da802003-01-28 05:48:29 +0000527 return
528
529 save = self.save
530 memo = self.memo
531 if n <= 3 and proto >= 2:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000532 for element in obj:
Tim Petersd97da802003-01-28 05:48:29 +0000533 save(element)
534 # Subtle. Same as in the big comment below.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000535 if id(obj) in memo:
536 get = self.get(memo[id(obj)][0])
Tim Petersd97da802003-01-28 05:48:29 +0000537 write(POP * n + get)
538 else:
539 write(_tuplesize2code[n])
Guido van Rossum3a41c612003-01-28 15:10:22 +0000540 self.memoize(obj)
Tim Petersd97da802003-01-28 05:48:29 +0000541 return
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000542
Tim Peters1d63c9f2003-02-02 20:29:39 +0000543 # proto 0 or proto 1 and tuple isn't empty, or proto > 1 and tuple
Tim Petersff57bff2003-01-28 05:34:53 +0000544 # has more than 3 elements.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000545 write(MARK)
Guido van Rossum3a41c612003-01-28 15:10:22 +0000546 for element in obj:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000547 save(element)
548
Tim Peters1d63c9f2003-02-02 20:29:39 +0000549 if id(obj) in memo:
Tim Petersf558da02003-01-28 02:09:55 +0000550 # Subtle. d was not in memo when we entered save_tuple(), so
551 # the process of saving the tuple's elements must have saved
552 # the tuple itself: the tuple is recursive. The proper action
553 # now is to throw away everything we put on the stack, and
554 # simply GET the tuple (it's already constructed). This check
555 # could have been done in the "for element" loop instead, but
556 # recursive tuples are a rare thing.
Guido van Rossum3a41c612003-01-28 15:10:22 +0000557 get = self.get(memo[id(obj)][0])
Guido van Rossum44f0ea52003-01-28 04:14:51 +0000558 if proto:
Tim Petersf558da02003-01-28 02:09:55 +0000559 write(POP_MARK + get)
560 else: # proto 0 -- POP_MARK not available
Tim Petersd97da802003-01-28 05:48:29 +0000561 write(POP * (n+1) + get)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000562 return
563
Tim Peters1d63c9f2003-02-02 20:29:39 +0000564 # No recursion.
Tim Peters518df0d2003-01-28 01:00:38 +0000565 self.write(TUPLE)
Tim Peters1d63c9f2003-02-02 20:29:39 +0000566 self.memoize(obj)
Jeremy Hylton3422c992003-01-24 19:29:52 +0000567
Guido van Rossum13257902007-06-07 23:15:56 +0000568 dispatch[tuple] = save_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000569
Guido van Rossum3a41c612003-01-28 15:10:22 +0000570 def save_list(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000571 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000572
Tim Petersc32d8242001-04-10 02:48:53 +0000573 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000574 write(EMPTY_LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000575 else: # proto 0 -- can't use EMPTY_LIST
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000576 write(MARK + LIST)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000577
578 self.memoize(obj)
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000579 self._batch_appends(obj)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000580
Guido van Rossum13257902007-06-07 23:15:56 +0000581 dispatch[list] = save_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000582
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000583 _BATCHSIZE = 1000
584
585 def _batch_appends(self, items):
586 # Helper to batch up APPENDS sequences
587 save = self.save
588 write = self.write
589
590 if not self.bin:
591 for x in items:
592 save(x)
593 write(APPEND)
594 return
595
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000596 items = iter(items)
Guido van Rossum805365e2007-05-07 22:24:25 +0000597 r = range(self._BATCHSIZE)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000598 while items is not None:
599 tmp = []
600 for i in r:
601 try:
Georg Brandla18af4e2007-04-21 15:47:16 +0000602 x = next(items)
Guido van Rossum5aac4e62003-02-06 22:57:00 +0000603 tmp.append(x)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000604 except StopIteration:
605 items = None
606 break
607 n = len(tmp)
608 if n > 1:
609 write(MARK)
610 for x in tmp:
611 save(x)
612 write(APPENDS)
613 elif n:
614 save(tmp[0])
615 write(APPEND)
616 # else tmp is empty, and we're done
617
Guido van Rossum3a41c612003-01-28 15:10:22 +0000618 def save_dict(self, obj):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000619 write = self.write
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000620
Tim Petersc32d8242001-04-10 02:48:53 +0000621 if self.bin:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000622 write(EMPTY_DICT)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000623 else: # proto 0 -- can't use EMPTY_DICT
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000624 write(MARK + DICT)
625
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000626 self.memoize(obj)
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000627 self._batch_setitems(obj.items())
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000628
Guido van Rossum13257902007-06-07 23:15:56 +0000629 dispatch[dict] = save_dict
630 if PyStringMap is not None:
Jeremy Hylton2b9d0291998-05-27 22:38:22 +0000631 dispatch[PyStringMap] = save_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000632
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000633 def _batch_setitems(self, items):
634 # Helper to batch up SETITEMS sequences; proto >= 1 only
635 save = self.save
636 write = self.write
637
638 if not self.bin:
639 for k, v in items:
640 save(k)
641 save(v)
642 write(SETITEM)
643 return
644
Alexandre Vassalottic7db1d62008-05-14 21:57:18 +0000645 items = iter(items)
Guido van Rossum805365e2007-05-07 22:24:25 +0000646 r = range(self._BATCHSIZE)
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000647 while items is not None:
648 tmp = []
649 for i in r:
650 try:
Georg Brandla18af4e2007-04-21 15:47:16 +0000651 tmp.append(next(items))
Guido van Rossum25cb7df2003-01-31 18:53:21 +0000652 except StopIteration:
653 items = None
654 break
655 n = len(tmp)
656 if n > 1:
657 write(MARK)
658 for k, v in tmp:
659 save(k)
660 save(v)
661 write(SETITEMS)
662 elif n:
663 k, v = tmp[0]
664 save(k)
665 save(v)
666 write(SETITEM)
667 # else tmp is empty, and we're done
668
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000669 def save_global(self, obj, name=None, pack=struct.pack):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000670 write = self.write
671 memo = self.memo
672
Tim Petersc32d8242001-04-10 02:48:53 +0000673 if name is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000674 name = obj.__name__
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000675
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000676 module = getattr(obj, "__module__", None)
677 if module is None:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000678 module = whichmodule(obj, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000679
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000680 try:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000681 __import__(module, level=0)
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000682 mod = sys.modules[module]
683 klass = getattr(mod, name)
684 except (ImportError, KeyError, AttributeError):
685 raise PicklingError(
686 "Can't pickle %r: it's not found as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000687 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000688 else:
Guido van Rossum3a41c612003-01-28 15:10:22 +0000689 if klass is not obj:
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000690 raise PicklingError(
691 "Can't pickle %r: it's not the same object as %s.%s" %
Guido van Rossum3a41c612003-01-28 15:10:22 +0000692 (obj, module, name))
Guido van Rossumb0a98e92001-08-17 18:49:52 +0000693
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000694 if self.proto >= 2:
Guido van Rossumd4b920c2003-02-04 01:54:49 +0000695 code = _extension_registry.get((module, name))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000696 if code:
697 assert code > 0
698 if code <= 0xff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000699 write(EXT1 + bytes([code]))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000700 elif code <= 0xffff:
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000701 write(EXT2 + bytes([code&0xff, code>>8]))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000702 else:
703 write(EXT4 + pack("<i", code))
704 return
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000705 # Non-ASCII identifiers are supported only with protocols >= 3.
706 if self.proto >= 3:
707 write(GLOBAL + bytes(module, "utf-8") + b'\n' +
708 bytes(name, "utf-8") + b'\n')
709 else:
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000710 if self.fix_imports:
711 if (module, name) in _compat_pickle.REVERSE_NAME_MAPPING:
712 module, name = _compat_pickle.REVERSE_NAME_MAPPING[(module, name)]
713 if module in _compat_pickle.REVERSE_IMPORT_MAPPING:
714 module = _compat_pickle.REVERSE_IMPORT_MAPPING[module]
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000715 try:
716 write(GLOBAL + bytes(module, "ascii") + b'\n' +
717 bytes(name, "ascii") + b'\n')
718 except UnicodeEncodeError:
719 raise PicklingError(
720 "can't pickle global identifier '%s.%s' using "
721 "pickle protocol %i" % (module, name, self.proto))
Guido van Rossum255f3ee2003-01-29 06:14:11 +0000722
Guido van Rossum3a41c612003-01-28 15:10:22 +0000723 self.memoize(obj)
Tim Peters3b769832003-01-28 03:51:36 +0000724
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000725 dispatch[FunctionType] = save_global
726 dispatch[BuiltinFunctionType] = save_global
Guido van Rossum13257902007-06-07 23:15:56 +0000727 dispatch[type] = save_global
Guido van Rossum0c891ce1995-03-14 15:09:05 +0000728
Guido van Rossum1be31752003-01-28 15:19:53 +0000729# Pickling helpers
Guido van Rossuma48061a1995-01-10 00:31:14 +0000730
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000731def _keep_alive(x, memo):
732 """Keeps a reference to the object x in the memo.
733
734 Because we remember objects by their id, we have
735 to assure that possibly temporary objects are kept
736 alive by referencing them.
737 We store a reference at the id of the memo, which should
738 normally not be used unless someone tries to deepcopy
739 the memo itself...
740 """
741 try:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000742 memo[id(memo)].append(x)
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000743 except KeyError:
Guido van Rossum45e2fbc1998-03-26 21:13:24 +0000744 # aha, this is the first one :-)
745 memo[id(memo)]=[x]
Guido van Rossum5ed5c4c1997-09-03 00:23:54 +0000746
747
Tim Petersc0c12b52003-01-29 00:56:17 +0000748# A cache for whichmodule(), mapping a function object to the name of
749# the module in which the function was found.
750
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000751classmap = {} # called classmap for backwards compatibility
Guido van Rossuma48061a1995-01-10 00:31:14 +0000752
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000753def whichmodule(func, funcname):
754 """Figure out the module in which a function occurs.
Guido van Rossuma48061a1995-01-10 00:31:14 +0000755
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000756 Search sys.modules for the module.
757 Cache in classmap.
758 Return a module name.
Tim Petersc0c12b52003-01-29 00:56:17 +0000759 If the function cannot be found, return "__main__".
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000760 """
Jeremy Hylton4f0dcc92003-01-31 18:33:18 +0000761 # Python functions should always get an __module__ from their globals.
762 mod = getattr(func, "__module__", None)
763 if mod is not None:
764 return mod
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000765 if func in classmap:
766 return classmap[func]
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000767
Guido van Rossum634e53f2007-02-26 07:07:02 +0000768 for name, module in list(sys.modules.items()):
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000769 if module is None:
Jeremy Hylton065a5ab2002-09-19 22:57:26 +0000770 continue # skip dummy package entries
Jeremy Hyltoncc1fccb2003-02-06 16:23:01 +0000771 if name != '__main__' and getattr(module, funcname, None) is func:
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000772 break
773 else:
774 name = '__main__'
Jeremy Hyltonf0cfdf72002-09-19 23:00:12 +0000775 classmap[func] = name
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000776 return name
Guido van Rossuma48061a1995-01-10 00:31:14 +0000777
778
Guido van Rossum1be31752003-01-28 15:19:53 +0000779# Unpickling machinery
780
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000781class _Unpickler:
Guido van Rossuma48061a1995-01-10 00:31:14 +0000782
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000783 def __init__(self, file, *, fix_imports=True,
784 encoding="ASCII", errors="strict"):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000785 """This takes a binary file for reading a pickle data stream.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000786
Tim Peters5bd2a792003-02-01 16:45:06 +0000787 The protocol version of the pickle is detected automatically, so no
788 proto argument is needed.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000789
Guido van Rossumfeea0782007-10-10 18:00:50 +0000790 The file-like object must have two methods, a read() method
791 that takes an integer argument, and a readline() method that
792 requires no arguments. Both methods should return bytes.
793 Thus file-like object can be a binary file object opened for
794 reading, a BytesIO object, or any other custom object that
795 meets this interface.
Guido van Rossumf4169812008-03-17 22:56:06 +0000796
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000797 Optional keyword arguments are *fix_imports*, *encoding* and *errors*,
798 which are used to control compatiblity support for pickle stream
799 generated by Python 2.x. If *fix_imports* is True, pickle will try to
800 map the old Python 2.x names to the new names used in Python 3.x. The
801 *encoding* and *errors* tell pickle how to decode 8-bit string
802 instances pickled by Python 2.x; these default to 'ASCII' and
803 'strict', respectively.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000804 """
Guido van Rossumfeea0782007-10-10 18:00:50 +0000805 self.readline = file.readline
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000806 self.read = file.read
807 self.memo = {}
Guido van Rossumf4169812008-03-17 22:56:06 +0000808 self.encoding = encoding
809 self.errors = errors
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000810 self.proto = 0
811 self.fix_imports = fix_imports
Guido van Rossuma48061a1995-01-10 00:31:14 +0000812
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000813 def load(self):
Guido van Rossum3a41c612003-01-28 15:10:22 +0000814 """Read a pickled object representation from the open file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000815
Guido van Rossum3a41c612003-01-28 15:10:22 +0000816 Return the reconstituted object hierarchy specified in the file.
Raymond Hettingeraef22fb2002-05-29 16:18:42 +0000817 """
Alexandre Vassalotti3cfcab92008-12-27 09:30:39 +0000818 # Check whether Unpickler was initialized correctly. This is
819 # only needed to mimic the behavior of _pickle.Unpickler.dump().
820 if not hasattr(self, "read"):
821 raise UnpicklingError("Unpickler.__init__() was not called by "
822 "%s.__init__()" % (self.__class__.__name__,))
Jeremy Hylton20747fa2001-11-09 16:15:04 +0000823 self.mark = object() # any new unique object
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000824 self.stack = []
825 self.append = self.stack.append
826 read = self.read
827 dispatch = self.dispatch
828 try:
829 while 1:
830 key = read(1)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000831 if not key:
832 raise EOFError
Guido van Rossum98297ee2007-11-06 21:34:58 +0000833 assert isinstance(key, bytes_types)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000834 dispatch[key[0]](self)
Guido van Rossumb940e112007-01-10 16:19:56 +0000835 except _Stop as stopinst:
Guido van Rossumff871742000-12-13 18:11:56 +0000836 return stopinst.value
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000837
Tim Petersc23d18a2003-01-28 01:41:51 +0000838 # Return largest index k such that self.stack[k] is self.mark.
839 # If the stack doesn't contain a mark, eventually raises IndexError.
840 # This could be sped by maintaining another stack, of indices at which
841 # the mark appears. For that matter, the latter stack would suffice,
842 # and we wouldn't need to push mark objects on self.stack at all.
843 # Doing so is probably a good thing, though, since if the pickle is
844 # corrupt (or hostile) we may get a clue from finding self.mark embedded
845 # in unpickled objects.
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000846 def marker(self):
847 stack = self.stack
848 mark = self.mark
849 k = len(stack)-1
850 while stack[k] is not mark: k = k-1
851 return k
852
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000853 def persistent_load(self, pid):
Benjamin Peterson49956b22009-01-10 17:05:44 +0000854 raise UnpicklingError("unsupported persistent id encountered")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000855
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000856 dispatch = {}
857
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000858 def load_proto(self):
859 proto = ord(self.read(1))
Guido van Rossumf4169812008-03-17 22:56:06 +0000860 if not 0 <= proto <= HIGHEST_PROTOCOL:
Guido van Rossum26d95c32007-08-27 23:18:54 +0000861 raise ValueError("unsupported pickle protocol: %d" % proto)
Antoine Pitroud9dfaa92009-06-04 20:32:06 +0000862 self.proto = proto
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000863 dispatch[PROTO[0]] = load_proto
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000864
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000865 def load_persid(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000866 pid = self.readline()[:-1].decode("ascii")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000867 self.append(self.persistent_load(pid))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000868 dispatch[PERSID[0]] = load_persid
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000869
870 def load_binpersid(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +0000871 pid = self.stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000872 self.append(self.persistent_load(pid))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000873 dispatch[BINPERSID[0]] = load_binpersid
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000874
875 def load_none(self):
876 self.append(None)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000877 dispatch[NONE[0]] = load_none
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000878
Guido van Rossum7d97d312003-01-28 04:25:27 +0000879 def load_false(self):
880 self.append(False)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000881 dispatch[NEWFALSE[0]] = load_false
Guido van Rossum7d97d312003-01-28 04:25:27 +0000882
883 def load_true(self):
884 self.append(True)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000885 dispatch[NEWTRUE[0]] = load_true
Guido van Rossum7d97d312003-01-28 04:25:27 +0000886
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000887 def load_int(self):
Tim Peters19ef62d2001-08-28 22:21:18 +0000888 data = self.readline()
Guido van Rossume2763392002-04-05 19:30:08 +0000889 if data == FALSE[1:]:
890 val = False
891 elif data == TRUE[1:]:
892 val = True
893 else:
894 try:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000895 val = int(data, 0)
Guido van Rossume2763392002-04-05 19:30:08 +0000896 except ValueError:
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000897 val = int(data, 0)
Guido van Rossume2763392002-04-05 19:30:08 +0000898 self.append(val)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000899 dispatch[INT[0]] = load_int
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000900
901 def load_binint(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000902 self.append(mloads(b'i' + self.read(4)))
903 dispatch[BININT[0]] = load_binint
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000904
905 def load_binint1(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000906 self.append(ord(self.read(1)))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000907 dispatch[BININT1[0]] = load_binint1
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000908
909 def load_binint2(self):
Guido van Rossumcfe5f202007-05-08 21:26:54 +0000910 self.append(mloads(b'i' + self.read(2) + b'\000\000'))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000911 dispatch[BININT2[0]] = load_binint2
Tim Peters2344fae2001-01-15 00:50:52 +0000912
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000913 def load_long(self):
Guido van Rossumfeea0782007-10-10 18:00:50 +0000914 val = self.readline()[:-1].decode("ascii")
Mark Dickinson8dd05142009-01-20 20:43:58 +0000915 if val and val[-1] == 'L':
916 val = val[:-1]
Guido van Rossumfeea0782007-10-10 18:00:50 +0000917 self.append(int(val, 0))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000918 dispatch[LONG[0]] = load_long
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000919
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000920 def load_long1(self):
921 n = ord(self.read(1))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000922 data = self.read(n)
923 self.append(decode_long(data))
924 dispatch[LONG1[0]] = load_long1
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000925
926 def load_long4(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000927 n = mloads(b'i' + self.read(4))
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100928 if n < 0:
929 # Corrupt or hostile pickle -- we never write one like this
930 raise UnpicklingError("LONG pickle has negative byte count");
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000931 data = self.read(n)
932 self.append(decode_long(data))
933 dispatch[LONG4[0]] = load_long4
Guido van Rossumd6c9e632003-01-28 03:49:52 +0000934
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000935 def load_float(self):
Guido van Rossumff871742000-12-13 18:11:56 +0000936 self.append(float(self.readline()[:-1]))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000937 dispatch[FLOAT[0]] = load_float
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000938
Guido van Rossumd3703791998-10-22 20:15:36 +0000939 def load_binfloat(self, unpack=struct.unpack):
940 self.append(unpack('>d', self.read(8))[0])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000941 dispatch[BINFLOAT[0]] = load_binfloat
Guido van Rossumd3703791998-10-22 20:15:36 +0000942
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000943 def load_string(self):
Guido van Rossum98297ee2007-11-06 21:34:58 +0000944 orig = self.readline()
945 rep = orig[:-1]
Guido van Rossum26d95c32007-08-27 23:18:54 +0000946 for q in (b'"', b"'"): # double or single quote
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000947 if rep.startswith(q):
948 if not rep.endswith(q):
Guido van Rossum26d95c32007-08-27 23:18:54 +0000949 raise ValueError("insecure string pickle")
Martin v. Löwis8a8da792002-08-14 07:46:28 +0000950 rep = rep[len(q):-len(q)]
951 break
952 else:
Guido van Rossum98297ee2007-11-06 21:34:58 +0000953 raise ValueError("insecure string pickle: %r" % orig)
Alexandre Vassalottica2d6102008-06-12 18:26:05 +0000954 self.append(codecs.escape_decode(rep)[0]
955 .decode(self.encoding, self.errors))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000956 dispatch[STRING[0]] = load_string
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000957
958 def load_binstring(self):
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100959 # Deprecated BINSTRING uses signed 32-bit length
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000960 len = mloads(b'i' + self.read(4))
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100961 if len < 0:
962 raise UnpicklingError("BINSTRING pickle has negative byte count");
Guido van Rossumf4169812008-03-17 22:56:06 +0000963 data = self.read(len)
964 value = str(data, self.encoding, self.errors)
965 self.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000966 dispatch[BINSTRING[0]] = load_binstring
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000967
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100968 def load_binbytes(self, unpack=struct.unpack, maxsize=sys.maxsize):
969 len, = unpack('<I', self.read(4))
970 if len > maxsize:
971 raise UnpicklingError("BINBYTES exceeds system's maximum size of %d bytes" % maxsize);
Guido van Rossumf4169812008-03-17 22:56:06 +0000972 self.append(self.read(len))
973 dispatch[BINBYTES[0]] = load_binbytes
974
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000975 def load_unicode(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000976 self.append(str(self.readline()[:-1], 'raw-unicode-escape'))
977 dispatch[UNICODE[0]] = load_unicode
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000978
Antoine Pitroubf6ecf92012-11-24 20:40:21 +0100979 def load_binunicode(self, unpack=struct.unpack, maxsize=sys.maxsize):
980 len, = unpack('<I', self.read(4))
981 if len > maxsize:
982 raise UnpicklingError("BINUNICODE exceeds system's maximum size of %d bytes" % maxsize);
Victor Stinner485fb562010-04-13 11:07:24 +0000983 self.append(str(self.read(len), 'utf-8', 'surrogatepass'))
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000984 dispatch[BINUNICODE[0]] = load_binunicode
Guido van Rossumb5f2f1b2000-03-10 23:20:09 +0000985
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000986 def load_short_binstring(self):
Tim Petersbbf63cd2003-01-27 21:15:36 +0000987 len = ord(self.read(1))
Guido van Rossumf4169812008-03-17 22:56:06 +0000988 data = bytes(self.read(len))
989 value = str(data, self.encoding, self.errors)
990 self.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +0000991 dispatch[SHORT_BINSTRING[0]] = load_short_binstring
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000992
Guido van Rossumf4169812008-03-17 22:56:06 +0000993 def load_short_binbytes(self):
994 len = ord(self.read(1))
995 self.append(bytes(self.read(len)))
996 dispatch[SHORT_BINBYTES[0]] = load_short_binbytes
997
Guido van Rossumb72cf2d1997-04-09 17:32:51 +0000998 def load_tuple(self):
999 k = self.marker()
1000 self.stack[k:] = [tuple(self.stack[k+1:])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001001 dispatch[TUPLE[0]] = load_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001002
1003 def load_empty_tuple(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001004 self.append(())
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001005 dispatch[EMPTY_TUPLE[0]] = load_empty_tuple
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001006
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001007 def load_tuple1(self):
1008 self.stack[-1] = (self.stack[-1],)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001009 dispatch[TUPLE1[0]] = load_tuple1
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001010
1011 def load_tuple2(self):
1012 self.stack[-2:] = [(self.stack[-2], self.stack[-1])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001013 dispatch[TUPLE2[0]] = load_tuple2
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001014
1015 def load_tuple3(self):
1016 self.stack[-3:] = [(self.stack[-3], self.stack[-2], self.stack[-1])]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001017 dispatch[TUPLE3[0]] = load_tuple3
Guido van Rossum44f0ea52003-01-28 04:14:51 +00001018
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001019 def load_empty_list(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001020 self.append([])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001021 dispatch[EMPTY_LIST[0]] = load_empty_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001022
1023 def load_empty_dictionary(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001024 self.append({})
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001025 dispatch[EMPTY_DICT[0]] = load_empty_dictionary
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001026
1027 def load_list(self):
1028 k = self.marker()
1029 self.stack[k:] = [self.stack[k+1:]]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001030 dispatch[LIST[0]] = load_list
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001031
1032 def load_dict(self):
1033 k = self.marker()
1034 d = {}
1035 items = self.stack[k+1:]
1036 for i in range(0, len(items), 2):
1037 key = items[i]
1038 value = items[i+1]
1039 d[key] = value
1040 self.stack[k:] = [d]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001041 dispatch[DICT[0]] = load_dict
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001042
Tim Petersd01c1e92003-01-30 15:41:46 +00001043 # INST and OBJ differ only in how they get a class object. It's not
1044 # only sensible to do the rest in a common routine, the two routines
1045 # previously diverged and grew different bugs.
1046 # klass is the class to instantiate, and k points to the topmost mark
1047 # object, following which are the arguments for klass.__init__.
1048 def _instantiate(self, klass, k):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001049 args = tuple(self.stack[k+1:])
1050 del self.stack[k:]
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001051 if (args or not isinstance(klass, type) or
1052 hasattr(klass, "__getinitargs__")):
Guido van Rossum743d17e1998-09-15 20:25:57 +00001053 try:
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001054 value = klass(*args)
Guido van Rossumb940e112007-01-10 16:19:56 +00001055 except TypeError as err:
Guido van Rossum26d95c32007-08-27 23:18:54 +00001056 raise TypeError("in constructor for %s: %s" %
1057 (klass.__name__, str(err)), sys.exc_info()[2])
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001058 else:
1059 value = klass.__new__(klass)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001060 self.append(value)
Tim Petersd01c1e92003-01-30 15:41:46 +00001061
1062 def load_inst(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001063 module = self.readline()[:-1].decode("ascii")
1064 name = self.readline()[:-1].decode("ascii")
Tim Petersd01c1e92003-01-30 15:41:46 +00001065 klass = self.find_class(module, name)
1066 self._instantiate(klass, self.marker())
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001067 dispatch[INST[0]] = load_inst
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001068
1069 def load_obj(self):
Tim Petersd01c1e92003-01-30 15:41:46 +00001070 # Stack is ... markobject classobject arg1 arg2 ...
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001071 k = self.marker()
Tim Petersd01c1e92003-01-30 15:41:46 +00001072 klass = self.stack.pop(k+1)
1073 self._instantiate(klass, k)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001074 dispatch[OBJ[0]] = load_obj
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001075
Guido van Rossum3a41c612003-01-28 15:10:22 +00001076 def load_newobj(self):
1077 args = self.stack.pop()
1078 cls = self.stack[-1]
1079 obj = cls.__new__(cls, *args)
Guido van Rossum533dbcf2003-01-28 17:55:05 +00001080 self.stack[-1] = obj
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001081 dispatch[NEWOBJ[0]] = load_newobj
Guido van Rossum3a41c612003-01-28 15:10:22 +00001082
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001083 def load_global(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001084 module = self.readline()[:-1].decode("utf-8")
1085 name = self.readline()[:-1].decode("utf-8")
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001086 klass = self.find_class(module, name)
1087 self.append(klass)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001088 dispatch[GLOBAL[0]] = load_global
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001089
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001090 def load_ext1(self):
1091 code = ord(self.read(1))
1092 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001093 dispatch[EXT1[0]] = load_ext1
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001094
1095 def load_ext2(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001096 code = mloads(b'i' + self.read(2) + b'\000\000')
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001097 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001098 dispatch[EXT2[0]] = load_ext2
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001099
1100 def load_ext4(self):
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001101 code = mloads(b'i' + self.read(4))
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001102 self.get_extension(code)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001103 dispatch[EXT4[0]] = load_ext4
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001104
1105 def get_extension(self, code):
1106 nil = []
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001107 obj = _extension_cache.get(code, nil)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001108 if obj is not nil:
1109 self.append(obj)
1110 return
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001111 key = _inverted_registry.get(code)
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001112 if not key:
Antoine Pitroubf6ecf92012-11-24 20:40:21 +01001113 if code <= 0: # note that 0 is forbidden
1114 # Corrupt or hostile pickle.
1115 raise UnpicklingError("EXT specifies code <= 0");
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001116 raise ValueError("unregistered extension code %d" % code)
1117 obj = self.find_class(*key)
Guido van Rossumd4b920c2003-02-04 01:54:49 +00001118 _extension_cache[code] = obj
Guido van Rossum255f3ee2003-01-29 06:14:11 +00001119 self.append(obj)
1120
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001121 def find_class(self, module, name):
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001122 # Subclasses may override this.
1123 if self.proto < 3 and self.fix_imports:
1124 if (module, name) in _compat_pickle.NAME_MAPPING:
1125 module, name = _compat_pickle.NAME_MAPPING[(module, name)]
1126 if module in _compat_pickle.IMPORT_MAPPING:
1127 module = _compat_pickle.IMPORT_MAPPING[module]
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001128 __import__(module, level=0)
Barry Warsawbf4d9592001-11-15 23:42:58 +00001129 mod = sys.modules[module]
1130 klass = getattr(mod, name)
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001131 return klass
1132
1133 def load_reduce(self):
1134 stack = self.stack
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001135 args = stack.pop()
1136 func = stack[-1]
Guido van Rossum99603b02007-07-20 00:22:32 +00001137 try:
1138 value = func(*args)
1139 except:
1140 print(sys.exc_info())
1141 print(func, args)
1142 raise
Guido van Rossumb26a97a2003-01-28 22:29:13 +00001143 stack[-1] = value
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001144 dispatch[REDUCE[0]] = load_reduce
Guido van Rossuma48061a1995-01-10 00:31:14 +00001145
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001146 def load_pop(self):
1147 del self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001148 dispatch[POP[0]] = load_pop
Guido van Rossum7b5430f1995-03-04 22:25:21 +00001149
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001150 def load_pop_mark(self):
1151 k = self.marker()
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001152 del self.stack[k:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001153 dispatch[POP_MARK[0]] = load_pop_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001154
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001155 def load_dup(self):
Guido van Rossumb1062fc1998-03-31 17:00:46 +00001156 self.append(self.stack[-1])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001157 dispatch[DUP[0]] = load_dup
Guido van Rossuma48061a1995-01-10 00:31:14 +00001158
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001159 def load_get(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001160 i = int(self.readline()[:-1])
1161 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001162 dispatch[GET[0]] = load_get
Guido van Rossum78536471996-04-12 13:36:27 +00001163
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001164 def load_binget(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001165 i = self.read(1)[0]
1166 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001167 dispatch[BINGET[0]] = load_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001168
Antoine Pitroubf6ecf92012-11-24 20:40:21 +01001169 def load_long_binget(self, unpack=struct.unpack):
1170 i, = unpack('<I', self.read(4))
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001171 self.append(self.memo[i])
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001172 dispatch[LONG_BINGET[0]] = load_long_binget
Guido van Rossum78536471996-04-12 13:36:27 +00001173
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001174 def load_put(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001175 i = int(self.readline()[:-1])
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001176 if i < 0:
1177 raise ValueError("negative PUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001178 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001179 dispatch[PUT[0]] = load_put
Guido van Rossuma48061a1995-01-10 00:31:14 +00001180
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001181 def load_binput(self):
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001182 i = self.read(1)[0]
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001183 if i < 0:
1184 raise ValueError("negative BINPUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001185 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001186 dispatch[BINPUT[0]] = load_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001187
Antoine Pitroubf6ecf92012-11-24 20:40:21 +01001188 def load_long_binput(self, unpack=struct.unpack, maxsize=sys.maxsize):
1189 i, = unpack('<I', self.read(4))
1190 if i > maxsize:
Antoine Pitrou55549ec2011-08-30 00:27:10 +02001191 raise ValueError("negative LONG_BINPUT argument")
Alexandre Vassalottica2d6102008-06-12 18:26:05 +00001192 self.memo[i] = self.stack[-1]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001193 dispatch[LONG_BINPUT[0]] = load_long_binput
Guido van Rossuma48061a1995-01-10 00:31:14 +00001194
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001195 def load_append(self):
1196 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001197 value = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001198 list = stack[-1]
1199 list.append(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001200 dispatch[APPEND[0]] = load_append
Guido van Rossuma48061a1995-01-10 00:31:14 +00001201
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001202 def load_appends(self):
1203 stack = self.stack
1204 mark = self.marker()
1205 list = stack[mark - 1]
Tim Peters209ad952003-01-28 01:44:45 +00001206 list.extend(stack[mark + 1:])
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001207 del stack[mark:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001208 dispatch[APPENDS[0]] = load_appends
Tim Peters2344fae2001-01-15 00:50:52 +00001209
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001210 def load_setitem(self):
1211 stack = self.stack
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001212 value = stack.pop()
1213 key = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001214 dict = stack[-1]
1215 dict[key] = value
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001216 dispatch[SETITEM[0]] = load_setitem
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001217
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001218 def load_setitems(self):
1219 stack = self.stack
1220 mark = self.marker()
1221 dict = stack[mark - 1]
Guido van Rossum45e2fbc1998-03-26 21:13:24 +00001222 for i in range(mark + 1, len(stack), 2):
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001223 dict[stack[i]] = stack[i + 1]
Guido van Rossuma48061a1995-01-10 00:31:14 +00001224
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001225 del stack[mark:]
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001226 dispatch[SETITEMS[0]] = load_setitems
Guido van Rossuma48061a1995-01-10 00:31:14 +00001227
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001228 def load_build(self):
1229 stack = self.stack
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001230 state = stack.pop()
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001231 inst = stack[-1]
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001232 setstate = getattr(inst, "__setstate__", None)
1233 if setstate:
1234 setstate(state)
1235 return
1236 slotstate = None
1237 if isinstance(state, tuple) and len(state) == 2:
1238 state, slotstate = state
1239 if state:
Alexandre Vassalottiebfecfd2009-05-25 18:50:33 +00001240 inst_dict = inst.__dict__
Antoine Pitroua9f48a02009-05-02 21:41:14 +00001241 intern = sys.intern
Alexandre Vassalottiebfecfd2009-05-25 18:50:33 +00001242 for k, v in state.items():
1243 if type(k) is str:
1244 inst_dict[intern(k)] = v
1245 else:
1246 inst_dict[k] = v
Guido van Rossumac5b5d22003-01-28 22:01:16 +00001247 if slotstate:
1248 for k, v in slotstate.items():
1249 setattr(inst, k, v)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001250 dispatch[BUILD[0]] = load_build
Guido van Rossuma48061a1995-01-10 00:31:14 +00001251
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001252 def load_mark(self):
1253 self.append(self.mark)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001254 dispatch[MARK[0]] = load_mark
Guido van Rossuma48061a1995-01-10 00:31:14 +00001255
Guido van Rossumb72cf2d1997-04-09 17:32:51 +00001256 def load_stop(self):
Raymond Hettinger46ac8eb2002-06-30 03:39:14 +00001257 value = self.stack.pop()
Guido van Rossumff871742000-12-13 18:11:56 +00001258 raise _Stop(value)
Guido van Rossum2e6a4b32007-05-04 19:56:22 +00001259 dispatch[STOP[0]] = load_stop
Guido van Rossuma48061a1995-01-10 00:31:14 +00001260
Alexander Belopolskyd92f0402010-07-17 22:50:45 +00001261# Encode/decode longs.
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001262
1263def encode_long(x):
Tim Peters91149822003-01-31 03:43:58 +00001264 r"""Encode a long to a two's complement little-endian binary string.
Guido van Rossume2a383d2007-01-15 16:59:06 +00001265 Note that 0 is a special case, returning an empty string, to save a
Tim Peters4b23f2b2003-01-31 16:43:39 +00001266 byte in the LONG1 pickling context.
1267
Guido van Rossume2a383d2007-01-15 16:59:06 +00001268 >>> encode_long(0)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001269 b''
Guido van Rossume2a383d2007-01-15 16:59:06 +00001270 >>> encode_long(255)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001271 b'\xff\x00'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001272 >>> encode_long(32767)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001273 b'\xff\x7f'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001274 >>> encode_long(-256)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001275 b'\x00\xff'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001276 >>> encode_long(-32768)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001277 b'\x00\x80'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001278 >>> encode_long(-128)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001279 b'\x80'
Guido van Rossume2a383d2007-01-15 16:59:06 +00001280 >>> encode_long(127)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001281 b'\x7f'
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001282 >>>
1283 """
Tim Peters91149822003-01-31 03:43:58 +00001284 if x == 0:
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001285 return b''
Alexandre Vassalottid7a3da82010-01-12 01:49:31 +00001286 nbytes = (x.bit_length() >> 3) + 1
1287 result = x.to_bytes(nbytes, byteorder='little', signed=True)
1288 if x < 0 and nbytes > 1:
1289 if result[-1] == 0xff and (result[-2] & 0x80) != 0:
1290 result = result[:-1]
1291 return result
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001292
1293def decode_long(data):
1294 r"""Decode a long from a two's complement little-endian binary string.
Tim Peters4b23f2b2003-01-31 16:43:39 +00001295
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001296 >>> decode_long(b'')
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001297 0
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001298 >>> decode_long(b"\xff\x00")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001299 255
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001300 >>> decode_long(b"\xff\x7f")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001301 32767
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001302 >>> decode_long(b"\x00\xff")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001303 -256
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001304 >>> decode_long(b"\x00\x80")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001305 -32768
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001306 >>> decode_long(b"\x80")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001307 -128
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001308 >>> decode_long(b"\x7f")
Guido van Rossume2b70bc2006-08-18 22:13:04 +00001309 127
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001310 """
Alexandre Vassalottid7a3da82010-01-12 01:49:31 +00001311 return int.from_bytes(data, byteorder='little', signed=True)
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001312
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001313# Shorthands
1314
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001315def dump(obj, file, protocol=None, *, fix_imports=True):
1316 Pickler(file, protocol, fix_imports=fix_imports).dump(obj)
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001317
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001318def dumps(obj, protocol=None, *, fix_imports=True):
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001319 f = io.BytesIO()
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001320 Pickler(f, protocol, fix_imports=fix_imports).dump(obj)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001321 res = f.getvalue()
Guido van Rossum98297ee2007-11-06 21:34:58 +00001322 assert isinstance(res, bytes_types)
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001323 return res
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001324
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001325def load(file, *, fix_imports=True, encoding="ASCII", errors="strict"):
1326 return Unpickler(file, fix_imports=fix_imports,
1327 encoding=encoding, errors=errors).load()
Guido van Rossum0c891ce1995-03-14 15:09:05 +00001328
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001329def loads(s, *, fix_imports=True, encoding="ASCII", errors="strict"):
Guido van Rossumcfe5f202007-05-08 21:26:54 +00001330 if isinstance(s, str):
1331 raise TypeError("Can't load pickle from unicode string")
1332 file = io.BytesIO(s)
Antoine Pitroud9dfaa92009-06-04 20:32:06 +00001333 return Unpickler(file, fix_imports=fix_imports,
1334 encoding=encoding, errors=errors).load()
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001335
Antoine Pitrouea99c5c2010-09-09 18:33:21 +00001336# Use the faster _pickle if possible
1337try:
1338 from _pickle import *
1339except ImportError:
1340 Pickler, Unpickler = _Pickler, _Unpickler
1341
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001342# Doctest
Guido van Rossumd6c9e632003-01-28 03:49:52 +00001343def _test():
1344 import doctest
1345 return doctest.testmod()
1346
1347if __name__ == "__main__":
Alexander Belopolsky455f7bd2010-07-27 23:02:38 +00001348 import sys, argparse
1349 parser = argparse.ArgumentParser(
1350 description='display contents of the pickle files')
1351 parser.add_argument(
1352 'pickle_file', type=argparse.FileType('br'),
1353 nargs='*', help='the pickle file')
1354 parser.add_argument(
1355 '-t', '--test', action='store_true',
1356 help='run self-test suite')
1357 parser.add_argument(
1358 '-v', action='store_true',
1359 help='run verbosely; only affects self-test run')
1360 args = parser.parse_args()
1361 if args.test:
1362 _test()
1363 else:
1364 if not args.pickle_file:
1365 parser.print_help()
1366 else:
1367 import pprint
1368 for f in args.pickle_file:
1369 obj = load(f)
1370 pprint.pprint(obj)