blob: 7878a54e2ad99ec8e510d5427da9f193116dbd7f [file] [log] [blame]
Benjamin Peterson4ae19462008-07-31 15:03:40 +00001:mod:`struct` --- Interpret bytes as packed binary data
Georg Brandl7f01a132009-09-16 15:58:14 +00002=======================================================
Georg Brandl116aa622007-08-15 14:28:22 +00003
4.. module:: struct
Benjamin Peterson4ae19462008-07-31 15:03:40 +00005 :synopsis: Interpret bytes as packed binary data.
Georg Brandl116aa622007-08-15 14:28:22 +00006
7.. index::
8 pair: C; structures
9 triple: packing; binary; data
10
11This module performs conversions between Python values and C structs represented
Mark Dickinson6abf1822010-04-12 21:00:59 +000012as Python :class:`bytes` objects. This can be used in handling binary data
13stored in files or from network connections, among other sources. It uses
14:ref:`struct-format-strings` as compact descriptions of the layout of the C
15structs and the intended conversion to/from Python values.
16
17.. note::
18
19 By default, the result of packing a given C struct includes pad bytes in
20 order to maintain proper alignment for the C types involved; similarly,
21 alignment is taken into account when unpacking. This behavior is chosen so
22 that the bytes of a packed struct correspond exactly to the layout in memory
Mark Dickinsoncb532f12010-06-15 08:42:37 +000023 of the corresponding C struct. To handle platform-independent data formats
24 or omit implicit pad bytes, use `standard` size and alignment instead of
25 `native` size and alignment: see :ref:`struct-alignment` for details.
Mark Dickinson6abf1822010-04-12 21:00:59 +000026
27Functions and Exceptions
28------------------------
Georg Brandl116aa622007-08-15 14:28:22 +000029
30The module defines the following exception and functions:
31
32
33.. exception:: error
34
Mark Dickinson6abf1822010-04-12 21:00:59 +000035 Exception raised on various occasions; argument is a string describing what
36 is wrong.
Georg Brandl116aa622007-08-15 14:28:22 +000037
38
39.. function:: pack(fmt, v1, v2, ...)
40
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000041 Return a bytes object containing the values *v1*, *v2*, ... packed according
42 to the format string *fmt*. The arguments must match the values required by
43 the format exactly.
Georg Brandl116aa622007-08-15 14:28:22 +000044
45
46.. function:: pack_into(fmt, buffer, offset, v1, v2, ...)
47
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000048 Pack the values *v1*, *v2*, ... according to the format string *fmt* and
49 write the packed bytes into the writable buffer *buffer* starting at
50 position *offset*. Note that *offset* is a required argument.
Georg Brandl116aa622007-08-15 14:28:22 +000051
Georg Brandl116aa622007-08-15 14:28:22 +000052
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000053.. function:: unpack(fmt, buffer)
Georg Brandl116aa622007-08-15 14:28:22 +000054
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000055 Unpack from the buffer *buffer* (presumably packed by ``pack(fmt, ...)``)
56 according to the format string *fmt*. The result is a tuple even if it
57 contains exactly one item. The buffer must contain exactly the amount of
58 data required by the format (``len(bytes)`` must equal ``calcsize(fmt)``).
Georg Brandl116aa622007-08-15 14:28:22 +000059
60
Georg Brandl7f01a132009-09-16 15:58:14 +000061.. function:: unpack_from(fmt, buffer, offset=0)
Georg Brandl116aa622007-08-15 14:28:22 +000062
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000063 Unpack from *buffer* starting at position *offset*, according to the format
64 string *fmt*. The result is a tuple even if it contains exactly one
65 item. *buffer* must contain at least the amount of data required by the
66 format (``len(buffer[offset:])`` must be at least ``calcsize(fmt)``).
Georg Brandl116aa622007-08-15 14:28:22 +000067
Georg Brandl116aa622007-08-15 14:28:22 +000068
69.. function:: calcsize(fmt)
70
Mark Dickinsonfdb99f12010-06-12 16:30:53 +000071 Return the size of the struct (and hence of the bytes object produced by
72 ``pack(fmt, ...)``) corresponding to the format string *fmt*.
Georg Brandl116aa622007-08-15 14:28:22 +000073
Mark Dickinson6abf1822010-04-12 21:00:59 +000074.. _struct-format-strings:
75
76Format Strings
77--------------
78
79Format strings are the mechanism used to specify the expected layout when
Mark Dickinsoncfd56f22010-06-12 18:37:54 +000080packing and unpacking data. They are built up from :ref:`format-characters`,
81which specify the type of data being packed/unpacked. In addition, there are
82special characters for controlling the :ref:`struct-alignment`.
83
84
85.. _struct-alignment:
86
87Byte Order, Size, and Alignment
88^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
89
90By default, C types are represented in the machine's native format and byte
91order, and properly aligned by skipping pad bytes if necessary (according to the
92rules used by the C compiler).
93
94Alternatively, the first character of the format string can be used to indicate
95the byte order, size and alignment of the packed data, according to the
96following table:
97
Mark Dickinsoncb532f12010-06-15 08:42:37 +000098+-----------+------------------------+----------+-----------+
99| Character | Byte order | Size | Alignment |
100+===========+========================+==========+===========+
101| ``@`` | native | native | native |
102+-----------+------------------------+----------+-----------+
103| ``=`` | native | standard | none |
104+-----------+------------------------+----------+-----------+
105| ``<`` | little-endian | standard | none |
106+-----------+------------------------+----------+-----------+
107| ``>`` | big-endian | standard | none |
108+-----------+------------------------+----------+-----------+
109| ``!`` | network (= big-endian) | standard | none |
110+-----------+------------------------+----------+-----------+
Mark Dickinsoncfd56f22010-06-12 18:37:54 +0000111
112If the first character is not one of these, ``'@'`` is assumed.
113
114Native byte order is big-endian or little-endian, depending on the host
115system. For example, Intel x86 and AMD64 (x86-64) are little-endian;
116Motorola 68000 and PowerPC G5 are big-endian; ARM and Intel Itanium feature
117switchable endianness (bi-endian). Use ``sys.byteorder`` to check the
118endianness of your system.
119
120Native size and alignment are determined using the C compiler's
121``sizeof`` expression. This is always combined with native byte order.
122
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000123Standard size depends only on the format character; see the table in
124the :ref:`format-characters` section.
Mark Dickinsoncfd56f22010-06-12 18:37:54 +0000125
126Note the difference between ``'@'`` and ``'='``: both use native byte order, but
127the size and alignment of the latter is standardized.
128
129The form ``'!'`` is available for those poor souls who claim they can't remember
130whether network byte order is big-endian or little-endian.
131
132There is no way to indicate non-native byte order (force byte-swapping); use the
133appropriate choice of ``'<'`` or ``'>'``.
134
Mark Dickinsoncfd56f22010-06-12 18:37:54 +0000135Notes:
136
137(1) Padding is only automatically added between successive structure members.
138 No padding is added at the beginning or the end of the encoded struct.
139
140(2) No padding is added when using non-native size and alignment, e.g.
141 with '<', '>', '=', and '!'.
142
143(3) To align the end of a structure to the alignment requirement of a
144 particular type, end the format with the code for that type with a repeat
145 count of zero. See :ref:`struct-examples`.
146
147
148.. _format-characters:
Mark Dickinson6abf1822010-04-12 21:00:59 +0000149
150Format Characters
151^^^^^^^^^^^^^^^^^
152
Georg Brandl116aa622007-08-15 14:28:22 +0000153Format characters have the following meaning; the conversion between C and
Mark Dickinson719e4e32010-06-29 20:10:42 +0000154Python values should be obvious given their types. The 'Standard size' column
155refers to the size of the packed value in bytes when using standard size; that
156is, when the format string starts with one of ``'<'``, ``'>'``, ``'!'`` or
157``'='``. When using native size, the size of the packed value is
158platform-dependent.
Georg Brandl116aa622007-08-15 14:28:22 +0000159
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000160+--------+-------------------------+--------------------+----------------+------------+
161| Format | C Type | Python type | Standard size | Notes |
162+========+=========================+====================+================+============+
163| ``x`` | pad byte | no value | | |
164+--------+-------------------------+--------------------+----------------+------------+
165| ``c`` | :ctype:`char` | bytes of length 1 | 1 | |
166+--------+-------------------------+--------------------+----------------+------------+
167| ``b`` | :ctype:`signed char` | integer | 1 | \(1),\(4) |
168+--------+-------------------------+--------------------+----------------+------------+
169| ``B`` | :ctype:`unsigned char` | integer | 1 | \(4) |
170+--------+-------------------------+--------------------+----------------+------------+
171| ``?`` | :ctype:`_Bool` | bool | 1 | \(2) |
172+--------+-------------------------+--------------------+----------------+------------+
173| ``h`` | :ctype:`short` | integer | 2 | \(4) |
174+--------+-------------------------+--------------------+----------------+------------+
175| ``H`` | :ctype:`unsigned short` | integer | 2 | \(4) |
176+--------+-------------------------+--------------------+----------------+------------+
177| ``i`` | :ctype:`int` | integer | 4 | \(4) |
178+--------+-------------------------+--------------------+----------------+------------+
179| ``I`` | :ctype:`unsigned int` | integer | 4 | \(4) |
180+--------+-------------------------+--------------------+----------------+------------+
181| ``l`` | :ctype:`long` | integer | 4 | \(4) |
182+--------+-------------------------+--------------------+----------------+------------+
183| ``L`` | :ctype:`unsigned long` | integer | 4 | \(4) |
184+--------+-------------------------+--------------------+----------------+------------+
185| ``q`` | :ctype:`long long` | integer | 8 | \(3), \(4) |
186+--------+-------------------------+--------------------+----------------+------------+
187| ``Q`` | :ctype:`unsigned long | integer | 8 | \(3), \(4) |
188| | long` | | | |
189+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000190| ``f`` | :ctype:`float` | float | 4 | \(5) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000191+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000192| ``d`` | :ctype:`double` | float | 8 | \(5) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000193+--------+-------------------------+--------------------+----------------+------------+
194| ``s`` | :ctype:`char[]` | bytes | | \(1) |
195+--------+-------------------------+--------------------+----------------+------------+
196| ``p`` | :ctype:`char[]` | bytes | | \(1) |
197+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000198| ``P`` | :ctype:`void \*` | integer | | \(6) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000199+--------+-------------------------+--------------------+----------------+------------+
Georg Brandl116aa622007-08-15 14:28:22 +0000200
201Notes:
202
203(1)
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000204 The ``c``, ``s`` and ``p`` conversion codes operate on :class:`bytes`
205 objects, but packing with such codes also supports :class:`str` objects,
206 which are encoded using UTF-8.
207
208(2)
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000209 The ``'?'`` conversion code corresponds to the :ctype:`_Bool` type defined by
Georg Brandl116aa622007-08-15 14:28:22 +0000210 C99. If this type is not available, it is simulated using a :ctype:`char`. In
211 standard mode, it is always represented by one byte.
212
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000213(3)
Georg Brandl116aa622007-08-15 14:28:22 +0000214 The ``'q'`` and ``'Q'`` conversion codes are available in native mode only if
215 the platform C compiler supports C :ctype:`long long`, or, on Windows,
216 :ctype:`__int64`. They are always available in standard modes.
217
Mark Dickinsonc5935772010-04-03 15:54:36 +0000218(4)
219 When attempting to pack a non-integer using any of the integer conversion
220 codes, if the non-integer has a :meth:`__index__` method then that method is
221 called to convert the argument to an integer before packing.
222
223 .. versionchanged:: 3.2
224 Use of the :meth:`__index__` method for non-integers is new in 3.2.
225
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000226(5)
227 For the ``'f'`` and ``'d'`` conversion codes, the packed representation uses
228 the IEEE 754 binary32 (for ``'f'``) or binary64 (for ``'d'``) format,
229 regardless of the floating-point format used by the platform.
230
231(6)
232 The ``'P'`` format character is only available for the native byte ordering
233 (selected as the default or with the ``'@'`` byte order character). The byte
234 order character ``'='`` chooses to use little- or big-endian ordering based
235 on the host system. The struct module does not interpret this as native
236 ordering, so the ``'P'`` format is not available.
237
Mark Dickinsonc5935772010-04-03 15:54:36 +0000238
Georg Brandl116aa622007-08-15 14:28:22 +0000239A format character may be preceded by an integral repeat count. For example,
240the format string ``'4h'`` means exactly the same as ``'hhhh'``.
241
242Whitespace characters between formats are ignored; a count and its format must
243not contain whitespace though.
244
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000245For the ``'s'`` format character, the count is interpreted as the length of the
246bytes, not a repeat count like for the other format characters; for example,
Georg Brandl116aa622007-08-15 14:28:22 +0000247``'10s'`` means a single 10-byte string, while ``'10c'`` means 10 characters.
248For packing, the string is truncated or padded with null bytes as appropriate to
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000249make it fit. For unpacking, the resulting bytes object always has exactly the
Georg Brandl116aa622007-08-15 14:28:22 +0000250specified number of bytes. As a special case, ``'0s'`` means a single, empty
251string (while ``'0c'`` means 0 characters).
252
Mark Dickinsonb40b9472009-03-29 16:58:21 +0000253When packing a value ``x`` using one of the integer formats (``'b'``,
254``'B'``, ``'h'``, ``'H'``, ``'i'``, ``'I'``, ``'l'``, ``'L'``,
255``'q'``, ``'Q'``), if ``x`` is outside the valid range for that format
256then :exc:`struct.error` is raised.
257
258.. versionchanged:: 3.1
259 In 3.0, some of the integer formats wrapped out-of-range values and
260 raised :exc:`DeprecationWarning` instead of :exc:`struct.error`.
261
Georg Brandl116aa622007-08-15 14:28:22 +0000262The ``'p'`` format character encodes a "Pascal string", meaning a short
Georg Brandl93eb42e2010-07-10 10:23:40 +0000263variable-length string stored in a *fixed number of bytes*, given by the count.
264The first byte stored is the length of the string, or 255, whichever is
265smaller. The bytes of the string follow. If the string passed in to
266:func:`pack` is too long (longer than the count minus 1), only the leading
267``count-1`` bytes of the string are stored. If the string is shorter than
268``count-1``, it is padded with null bytes so that exactly count bytes in all
269are used. Note that for :func:`unpack`, the ``'p'`` format character consumes
270``count`` bytes, but that the string returned can never contain more than 255
271bytes.
Georg Brandl116aa622007-08-15 14:28:22 +0000272
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000273For the ``'?'`` format character, the return value is either :const:`True` or
Georg Brandl116aa622007-08-15 14:28:22 +0000274:const:`False`. When packing, the truth value of the argument object is used.
275Either 0 or 1 in the native or standard bool representation will be packed, and
276any non-zero value will be True when unpacking.
277
Mark Dickinson6abf1822010-04-12 21:00:59 +0000278
Mark Dickinson6abf1822010-04-12 21:00:59 +0000279
280.. _struct-examples:
281
282Examples
283^^^^^^^^
284
285.. note::
286 All examples assume a native byte order, size, and alignment with a
287 big-endian machine.
288
289A basic example of packing/unpacking three integers::
Georg Brandl116aa622007-08-15 14:28:22 +0000290
291 >>> from struct import *
292 >>> pack('hhl', 1, 2, 3)
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000293 b'\x00\x01\x00\x02\x00\x00\x00\x03'
294 >>> unpack('hhl', b'\x00\x01\x00\x02\x00\x00\x00\x03')
Georg Brandl116aa622007-08-15 14:28:22 +0000295 (1, 2, 3)
296 >>> calcsize('hhl')
297 8
298
Benjamin Peterson2b7411d2008-05-26 17:36:47 +0000299Unpacked fields can be named by assigning them to variables or by wrapping
300the result in a named tuple::
301
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000302 >>> record = b'raymond \x32\x12\x08\x01\x08'
Benjamin Peterson2b7411d2008-05-26 17:36:47 +0000303 >>> name, serialnum, school, gradelevel = unpack('<10sHHb', record)
304
305 >>> from collections import namedtuple
306 >>> Student = namedtuple('Student', 'name serialnum school gradelevel')
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000307 >>> Student._make(unpack('<10sHHb', record))
308 Student(name=b'raymond ', serialnum=4658, school=264, gradelevel=8)
Georg Brandl116aa622007-08-15 14:28:22 +0000309
Mark Dickinson6abf1822010-04-12 21:00:59 +0000310The ordering of format characters may have an impact on size since the padding
311needed to satisfy alignment requirements is different::
312
313 >>> pack('ci', '*', 0x12131415)
314 b'*\x00\x00\x00\x12\x13\x14\x15'
315 >>> pack('ic', 0x12131415, '*')
316 b'\x12\x13\x14\x15*'
317 >>> calcsize('ci')
318 8
319 >>> calcsize('ic')
320 5
321
322The following format ``'llh0l'`` specifies two pad bytes at the end, assuming
323longs are aligned on 4-byte boundaries::
324
325 >>> pack('llh0l', 1, 2, 3)
326 b'\x00\x00\x00\x01\x00\x00\x00\x02\x00\x03\x00\x00'
327
328This only works when native size and alignment are in effect; standard size and
329alignment does not enforce any alignment.
330
331
Georg Brandl116aa622007-08-15 14:28:22 +0000332.. seealso::
333
334 Module :mod:`array`
335 Packed binary storage of homogeneous data.
336
337 Module :mod:`xdrlib`
338 Packing and unpacking of XDR data.
339
340
341.. _struct-objects:
342
Mark Dickinsoncfd56f22010-06-12 18:37:54 +0000343Classes
Mark Dickinson6abf1822010-04-12 21:00:59 +0000344-------
Georg Brandl116aa622007-08-15 14:28:22 +0000345
346The :mod:`struct` module also defines the following type:
347
348
349.. class:: Struct(format)
350
Mark Dickinson6abf1822010-04-12 21:00:59 +0000351 Return a new Struct object which writes and reads binary data according to
352 the format string *format*. Creating a Struct object once and calling its
353 methods is more efficient than calling the :mod:`struct` functions with the
354 same format since the format string only needs to be compiled once.
Georg Brandl116aa622007-08-15 14:28:22 +0000355
Georg Brandl116aa622007-08-15 14:28:22 +0000356
Benjamin Petersone41251e2008-04-25 01:59:09 +0000357 Compiled Struct objects support the following methods and attributes:
Georg Brandl116aa622007-08-15 14:28:22 +0000358
Benjamin Petersone41251e2008-04-25 01:59:09 +0000359 .. method:: pack(v1, v2, ...)
Georg Brandl116aa622007-08-15 14:28:22 +0000360
Benjamin Petersone41251e2008-04-25 01:59:09 +0000361 Identical to the :func:`pack` function, using the compiled format.
362 (``len(result)`` will equal :attr:`self.size`.)
Georg Brandl116aa622007-08-15 14:28:22 +0000363
364
Benjamin Petersone41251e2008-04-25 01:59:09 +0000365 .. method:: pack_into(buffer, offset, v1, v2, ...)
Georg Brandl116aa622007-08-15 14:28:22 +0000366
Benjamin Petersone41251e2008-04-25 01:59:09 +0000367 Identical to the :func:`pack_into` function, using the compiled format.
Georg Brandl116aa622007-08-15 14:28:22 +0000368
369
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000370 .. method:: unpack(buffer)
Georg Brandl116aa622007-08-15 14:28:22 +0000371
Benjamin Petersone41251e2008-04-25 01:59:09 +0000372 Identical to the :func:`unpack` function, using the compiled format.
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000373 (``len(buffer)`` must equal :attr:`self.size`).
Georg Brandl116aa622007-08-15 14:28:22 +0000374
375
Georg Brandl7f01a132009-09-16 15:58:14 +0000376 .. method:: unpack_from(buffer, offset=0)
Georg Brandl116aa622007-08-15 14:28:22 +0000377
Benjamin Petersone41251e2008-04-25 01:59:09 +0000378 Identical to the :func:`unpack_from` function, using the compiled format.
379 (``len(buffer[offset:])`` must be at least :attr:`self.size`).
Georg Brandl116aa622007-08-15 14:28:22 +0000380
381
Benjamin Petersone41251e2008-04-25 01:59:09 +0000382 .. attribute:: format
Georg Brandl116aa622007-08-15 14:28:22 +0000383
Benjamin Petersone41251e2008-04-25 01:59:09 +0000384 The format string used to construct this Struct object.
Georg Brandl116aa622007-08-15 14:28:22 +0000385
Benjamin Petersone41251e2008-04-25 01:59:09 +0000386 .. attribute:: size
Guido van Rossum04110fb2007-08-24 16:32:05 +0000387
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000388 The calculated size of the struct (and hence of the bytes object produced
389 by the :meth:`pack` method) corresponding to :attr:`format`.
Guido van Rossum04110fb2007-08-24 16:32:05 +0000390