blob: 9ba3ce40d413575b255e21fd06fbdc8277a356b8 [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
154Python values should be obvious given their types:
155
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000156+--------+-------------------------+--------------------+----------------+------------+
157| Format | C Type | Python type | Standard size | Notes |
158+========+=========================+====================+================+============+
159| ``x`` | pad byte | no value | | |
160+--------+-------------------------+--------------------+----------------+------------+
161| ``c`` | :ctype:`char` | bytes of length 1 | 1 | |
162+--------+-------------------------+--------------------+----------------+------------+
163| ``b`` | :ctype:`signed char` | integer | 1 | \(1),\(4) |
164+--------+-------------------------+--------------------+----------------+------------+
165| ``B`` | :ctype:`unsigned char` | integer | 1 | \(4) |
166+--------+-------------------------+--------------------+----------------+------------+
167| ``?`` | :ctype:`_Bool` | bool | 1 | \(2) |
168+--------+-------------------------+--------------------+----------------+------------+
169| ``h`` | :ctype:`short` | integer | 2 | \(4) |
170+--------+-------------------------+--------------------+----------------+------------+
171| ``H`` | :ctype:`unsigned short` | integer | 2 | \(4) |
172+--------+-------------------------+--------------------+----------------+------------+
173| ``i`` | :ctype:`int` | integer | 4 | \(4) |
174+--------+-------------------------+--------------------+----------------+------------+
175| ``I`` | :ctype:`unsigned int` | integer | 4 | \(4) |
176+--------+-------------------------+--------------------+----------------+------------+
177| ``l`` | :ctype:`long` | integer | 4 | \(4) |
178+--------+-------------------------+--------------------+----------------+------------+
179| ``L`` | :ctype:`unsigned long` | integer | 4 | \(4) |
180+--------+-------------------------+--------------------+----------------+------------+
181| ``q`` | :ctype:`long long` | integer | 8 | \(3), \(4) |
182+--------+-------------------------+--------------------+----------------+------------+
183| ``Q`` | :ctype:`unsigned long | integer | 8 | \(3), \(4) |
184| | long` | | | |
185+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000186| ``f`` | :ctype:`float` | float | 4 | \(5) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000187+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000188| ``d`` | :ctype:`double` | float | 8 | \(5) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000189+--------+-------------------------+--------------------+----------------+------------+
190| ``s`` | :ctype:`char[]` | bytes | | \(1) |
191+--------+-------------------------+--------------------+----------------+------------+
192| ``p`` | :ctype:`char[]` | bytes | | \(1) |
193+--------+-------------------------+--------------------+----------------+------------+
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000194| ``P`` | :ctype:`void \*` | integer | | \(6) |
Mark Dickinson7a70b2c2010-06-12 18:20:47 +0000195+--------+-------------------------+--------------------+----------------+------------+
Georg Brandl116aa622007-08-15 14:28:22 +0000196
197Notes:
198
199(1)
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000200 The ``c``, ``s`` and ``p`` conversion codes operate on :class:`bytes`
201 objects, but packing with such codes also supports :class:`str` objects,
202 which are encoded using UTF-8.
203
204(2)
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000205 The ``'?'`` conversion code corresponds to the :ctype:`_Bool` type defined by
Georg Brandl116aa622007-08-15 14:28:22 +0000206 C99. If this type is not available, it is simulated using a :ctype:`char`. In
207 standard mode, it is always represented by one byte.
208
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000209(3)
Georg Brandl116aa622007-08-15 14:28:22 +0000210 The ``'q'`` and ``'Q'`` conversion codes are available in native mode only if
211 the platform C compiler supports C :ctype:`long long`, or, on Windows,
212 :ctype:`__int64`. They are always available in standard modes.
213
Mark Dickinsonc5935772010-04-03 15:54:36 +0000214(4)
215 When attempting to pack a non-integer using any of the integer conversion
216 codes, if the non-integer has a :meth:`__index__` method then that method is
217 called to convert the argument to an integer before packing.
218
219 .. versionchanged:: 3.2
220 Use of the :meth:`__index__` method for non-integers is new in 3.2.
221
Mark Dickinsoncb532f12010-06-15 08:42:37 +0000222(5)
223 For the ``'f'`` and ``'d'`` conversion codes, the packed representation uses
224 the IEEE 754 binary32 (for ``'f'``) or binary64 (for ``'d'``) format,
225 regardless of the floating-point format used by the platform.
226
227(6)
228 The ``'P'`` format character is only available for the native byte ordering
229 (selected as the default or with the ``'@'`` byte order character). The byte
230 order character ``'='`` chooses to use little- or big-endian ordering based
231 on the host system. The struct module does not interpret this as native
232 ordering, so the ``'P'`` format is not available.
233
Mark Dickinsonc5935772010-04-03 15:54:36 +0000234
Georg Brandl116aa622007-08-15 14:28:22 +0000235A format character may be preceded by an integral repeat count. For example,
236the format string ``'4h'`` means exactly the same as ``'hhhh'``.
237
238Whitespace characters between formats are ignored; a count and its format must
239not contain whitespace though.
240
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000241For the ``'s'`` format character, the count is interpreted as the length of the
242bytes, not a repeat count like for the other format characters; for example,
Georg Brandl116aa622007-08-15 14:28:22 +0000243``'10s'`` means a single 10-byte string, while ``'10c'`` means 10 characters.
244For packing, the string is truncated or padded with null bytes as appropriate to
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000245make it fit. For unpacking, the resulting bytes object always has exactly the
Georg Brandl116aa622007-08-15 14:28:22 +0000246specified number of bytes. As a special case, ``'0s'`` means a single, empty
247string (while ``'0c'`` means 0 characters).
248
Mark Dickinsonb40b9472009-03-29 16:58:21 +0000249When packing a value ``x`` using one of the integer formats (``'b'``,
250``'B'``, ``'h'``, ``'H'``, ``'i'``, ``'I'``, ``'l'``, ``'L'``,
251``'q'``, ``'Q'``), if ``x`` is outside the valid range for that format
252then :exc:`struct.error` is raised.
253
254.. versionchanged:: 3.1
255 In 3.0, some of the integer formats wrapped out-of-range values and
256 raised :exc:`DeprecationWarning` instead of :exc:`struct.error`.
257
258
Georg Brandl116aa622007-08-15 14:28:22 +0000259The ``'p'`` format character encodes a "Pascal string", meaning a short
260variable-length string stored in a fixed number of bytes. The count is the total
261number of bytes stored. The first byte stored is the length of the string, or
262255, whichever is smaller. The bytes of the string follow. If the string
263passed in to :func:`pack` is too long (longer than the count minus 1), only the
264leading count-1 bytes of the string are stored. If the string is shorter than
265count-1, it is padded with null bytes so that exactly count bytes in all are
266used. Note that for :func:`unpack`, the ``'p'`` format character consumes count
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000267bytes, but that the string returned can never contain more than 255 bytes.
Georg Brandl116aa622007-08-15 14:28:22 +0000268
Georg Brandl116aa622007-08-15 14:28:22 +0000269
Georg Brandl116aa622007-08-15 14:28:22 +0000270
Christian Heimesdd15f6c2008-03-16 00:07:10 +0000271For the ``'?'`` format character, the return value is either :const:`True` or
Georg Brandl116aa622007-08-15 14:28:22 +0000272:const:`False`. When packing, the truth value of the argument object is used.
273Either 0 or 1 in the native or standard bool representation will be packed, and
274any non-zero value will be True when unpacking.
275
Mark Dickinson6abf1822010-04-12 21:00:59 +0000276
Mark Dickinson6abf1822010-04-12 21:00:59 +0000277
278.. _struct-examples:
279
280Examples
281^^^^^^^^
282
283.. note::
284 All examples assume a native byte order, size, and alignment with a
285 big-endian machine.
286
287A basic example of packing/unpacking three integers::
Georg Brandl116aa622007-08-15 14:28:22 +0000288
289 >>> from struct import *
290 >>> pack('hhl', 1, 2, 3)
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000291 b'\x00\x01\x00\x02\x00\x00\x00\x03'
292 >>> unpack('hhl', b'\x00\x01\x00\x02\x00\x00\x00\x03')
Georg Brandl116aa622007-08-15 14:28:22 +0000293 (1, 2, 3)
294 >>> calcsize('hhl')
295 8
296
Benjamin Peterson2b7411d2008-05-26 17:36:47 +0000297Unpacked fields can be named by assigning them to variables or by wrapping
298the result in a named tuple::
299
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000300 >>> record = b'raymond \x32\x12\x08\x01\x08'
Benjamin Peterson2b7411d2008-05-26 17:36:47 +0000301 >>> name, serialnum, school, gradelevel = unpack('<10sHHb', record)
302
303 >>> from collections import namedtuple
304 >>> Student = namedtuple('Student', 'name serialnum school gradelevel')
Benjamin Peterson4ae19462008-07-31 15:03:40 +0000305 >>> Student._make(unpack('<10sHHb', record))
306 Student(name=b'raymond ', serialnum=4658, school=264, gradelevel=8)
Georg Brandl116aa622007-08-15 14:28:22 +0000307
Mark Dickinson6abf1822010-04-12 21:00:59 +0000308The ordering of format characters may have an impact on size since the padding
309needed to satisfy alignment requirements is different::
310
311 >>> pack('ci', '*', 0x12131415)
312 b'*\x00\x00\x00\x12\x13\x14\x15'
313 >>> pack('ic', 0x12131415, '*')
314 b'\x12\x13\x14\x15*'
315 >>> calcsize('ci')
316 8
317 >>> calcsize('ic')
318 5
319
320The following format ``'llh0l'`` specifies two pad bytes at the end, assuming
321longs are aligned on 4-byte boundaries::
322
323 >>> pack('llh0l', 1, 2, 3)
324 b'\x00\x00\x00\x01\x00\x00\x00\x02\x00\x03\x00\x00'
325
326This only works when native size and alignment are in effect; standard size and
327alignment does not enforce any alignment.
328
329
Georg Brandl116aa622007-08-15 14:28:22 +0000330.. seealso::
331
332 Module :mod:`array`
333 Packed binary storage of homogeneous data.
334
335 Module :mod:`xdrlib`
336 Packing and unpacking of XDR data.
337
338
339.. _struct-objects:
340
Mark Dickinsoncfd56f22010-06-12 18:37:54 +0000341Classes
Mark Dickinson6abf1822010-04-12 21:00:59 +0000342-------
Georg Brandl116aa622007-08-15 14:28:22 +0000343
344The :mod:`struct` module also defines the following type:
345
346
347.. class:: Struct(format)
348
Mark Dickinson6abf1822010-04-12 21:00:59 +0000349 Return a new Struct object which writes and reads binary data according to
350 the format string *format*. Creating a Struct object once and calling its
351 methods is more efficient than calling the :mod:`struct` functions with the
352 same format since the format string only needs to be compiled once.
Georg Brandl116aa622007-08-15 14:28:22 +0000353
Georg Brandl116aa622007-08-15 14:28:22 +0000354
Benjamin Petersone41251e2008-04-25 01:59:09 +0000355 Compiled Struct objects support the following methods and attributes:
Georg Brandl116aa622007-08-15 14:28:22 +0000356
Benjamin Petersone41251e2008-04-25 01:59:09 +0000357 .. method:: pack(v1, v2, ...)
Georg Brandl116aa622007-08-15 14:28:22 +0000358
Benjamin Petersone41251e2008-04-25 01:59:09 +0000359 Identical to the :func:`pack` function, using the compiled format.
360 (``len(result)`` will equal :attr:`self.size`.)
Georg Brandl116aa622007-08-15 14:28:22 +0000361
362
Benjamin Petersone41251e2008-04-25 01:59:09 +0000363 .. method:: pack_into(buffer, offset, v1, v2, ...)
Georg Brandl116aa622007-08-15 14:28:22 +0000364
Benjamin Petersone41251e2008-04-25 01:59:09 +0000365 Identical to the :func:`pack_into` function, using the compiled format.
Georg Brandl116aa622007-08-15 14:28:22 +0000366
367
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000368 .. method:: unpack(buffer)
Georg Brandl116aa622007-08-15 14:28:22 +0000369
Benjamin Petersone41251e2008-04-25 01:59:09 +0000370 Identical to the :func:`unpack` function, using the compiled format.
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000371 (``len(buffer)`` must equal :attr:`self.size`).
Georg Brandl116aa622007-08-15 14:28:22 +0000372
373
Georg Brandl7f01a132009-09-16 15:58:14 +0000374 .. method:: unpack_from(buffer, offset=0)
Georg Brandl116aa622007-08-15 14:28:22 +0000375
Benjamin Petersone41251e2008-04-25 01:59:09 +0000376 Identical to the :func:`unpack_from` function, using the compiled format.
377 (``len(buffer[offset:])`` must be at least :attr:`self.size`).
Georg Brandl116aa622007-08-15 14:28:22 +0000378
379
Benjamin Petersone41251e2008-04-25 01:59:09 +0000380 .. attribute:: format
Georg Brandl116aa622007-08-15 14:28:22 +0000381
Benjamin Petersone41251e2008-04-25 01:59:09 +0000382 The format string used to construct this Struct object.
Georg Brandl116aa622007-08-15 14:28:22 +0000383
Benjamin Petersone41251e2008-04-25 01:59:09 +0000384 .. attribute:: size
Guido van Rossum04110fb2007-08-24 16:32:05 +0000385
Mark Dickinsonfdb99f12010-06-12 16:30:53 +0000386 The calculated size of the struct (and hence of the bytes object produced
387 by the :meth:`pack` method) corresponding to :attr:`format`.
Guido van Rossum04110fb2007-08-24 16:32:05 +0000388