blob: 84f34e7dae80be42757f4f369a4dda8148fc9dd3 [file] [log] [blame]
Stéphane Wirtelcbb64842019-05-17 11:55:34 +02001.. highlight:: c
Georg Brandl54a3faa2008-01-20 09:30:57 +00002
3.. _setobjects:
4
5Set Objects
6-----------
7
8.. sectionauthor:: Raymond D. Hettinger <python@rcn.com>
9
10
11.. index::
12 object: set
13 object: frozenset
14
15This section details the public API for :class:`set` and :class:`frozenset`
16objects. Any functionality not listed below is best accessed using the either
Georg Brandl60203b42010-10-06 10:11:56 +000017the abstract object protocol (including :c:func:`PyObject_CallMethod`,
18:c:func:`PyObject_RichCompareBool`, :c:func:`PyObject_Hash`,
19:c:func:`PyObject_Repr`, :c:func:`PyObject_IsTrue`, :c:func:`PyObject_Print`, and
20:c:func:`PyObject_GetIter`) or the abstract number protocol (including
21:c:func:`PyNumber_And`, :c:func:`PyNumber_Subtract`, :c:func:`PyNumber_Or`,
22:c:func:`PyNumber_Xor`, :c:func:`PyNumber_InPlaceAnd`,
23:c:func:`PyNumber_InPlaceSubtract`, :c:func:`PyNumber_InPlaceOr`, and
24:c:func:`PyNumber_InPlaceXor`).
Georg Brandl54a3faa2008-01-20 09:30:57 +000025
26
Georg Brandl60203b42010-10-06 10:11:56 +000027.. c:type:: PySetObject
Georg Brandl54a3faa2008-01-20 09:30:57 +000028
Georg Brandl60203b42010-10-06 10:11:56 +000029 This subtype of :c:type:`PyObject` is used to hold the internal data for both
30 :class:`set` and :class:`frozenset` objects. It is like a :c:type:`PyDictObject`
Georg Brandl54a3faa2008-01-20 09:30:57 +000031 in that it is a fixed size for small sets (much like tuple storage) and will
32 point to a separate, variable sized block of memory for medium and large sized
33 sets (much like list storage). None of the fields of this structure should be
34 considered public and are subject to change. All access should be done through
35 the documented API rather than by manipulating the values in the structure.
36
37
Georg Brandl60203b42010-10-06 10:11:56 +000038.. c:var:: PyTypeObject PySet_Type
Georg Brandl54a3faa2008-01-20 09:30:57 +000039
Georg Brandl60203b42010-10-06 10:11:56 +000040 This is an instance of :c:type:`PyTypeObject` representing the Python
Georg Brandl54a3faa2008-01-20 09:30:57 +000041 :class:`set` type.
42
43
Georg Brandl60203b42010-10-06 10:11:56 +000044.. c:var:: PyTypeObject PyFrozenSet_Type
Georg Brandl54a3faa2008-01-20 09:30:57 +000045
Georg Brandl60203b42010-10-06 10:11:56 +000046 This is an instance of :c:type:`PyTypeObject` representing the Python
Georg Brandl54a3faa2008-01-20 09:30:57 +000047 :class:`frozenset` type.
48
49The following type check macros work on pointers to any Python object. Likewise,
50the constructor functions work with any iterable Python object.
51
52
Georg Brandl60203b42010-10-06 10:11:56 +000053.. c:function:: int PySet_Check(PyObject *p)
Christian Heimesfd66e512008-01-29 12:18:50 +000054
55 Return true if *p* is a :class:`set` object or an instance of a subtype.
Antonio Cuni315fc522021-01-06 12:38:26 +010056 This function always succeeds.
Christian Heimesfd66e512008-01-29 12:18:50 +000057
Georg Brandl60203b42010-10-06 10:11:56 +000058.. c:function:: int PyFrozenSet_Check(PyObject *p)
Christian Heimes15ebc882008-02-04 18:48:49 +000059
60 Return true if *p* is a :class:`frozenset` object or an instance of a
Antonio Cuni315fc522021-01-06 12:38:26 +010061 subtype. This function always succeeds.
Christian Heimes15ebc882008-02-04 18:48:49 +000062
Georg Brandl60203b42010-10-06 10:11:56 +000063.. c:function:: int PyAnySet_Check(PyObject *p)
Georg Brandl54a3faa2008-01-20 09:30:57 +000064
65 Return true if *p* is a :class:`set` object, a :class:`frozenset` object, or an
Antonio Cuni315fc522021-01-06 12:38:26 +010066 instance of a subtype. This function always succeeds.
Georg Brandl54a3faa2008-01-20 09:30:57 +000067
68
Georg Brandl60203b42010-10-06 10:11:56 +000069.. c:function:: int PyAnySet_CheckExact(PyObject *p)
Georg Brandl54a3faa2008-01-20 09:30:57 +000070
71 Return true if *p* is a :class:`set` object or a :class:`frozenset` object but
Antonio Cuni315fc522021-01-06 12:38:26 +010072 not an instance of a subtype. This function always succeeds.
Georg Brandl54a3faa2008-01-20 09:30:57 +000073
74
Georg Brandl60203b42010-10-06 10:11:56 +000075.. c:function:: int PyFrozenSet_CheckExact(PyObject *p)
Georg Brandl54a3faa2008-01-20 09:30:57 +000076
77 Return true if *p* is a :class:`frozenset` object but not an instance of a
Antonio Cuni315fc522021-01-06 12:38:26 +010078 subtype. This function always succeeds.
Georg Brandl54a3faa2008-01-20 09:30:57 +000079
80
Georg Brandl60203b42010-10-06 10:11:56 +000081.. c:function:: PyObject* PySet_New(PyObject *iterable)
Georg Brandl54a3faa2008-01-20 09:30:57 +000082
83 Return a new :class:`set` containing objects returned by the *iterable*. The
Serhiy Storchaka25fc0882019-10-30 12:03:20 +020084 *iterable* may be ``NULL`` to create a new empty set. Return the new set on
85 success or ``NULL`` on failure. Raise :exc:`TypeError` if *iterable* is not
Georg Brandl54a3faa2008-01-20 09:30:57 +000086 actually iterable. The constructor is also useful for copying a set
87 (``c=set(s)``).
88
89
Georg Brandl60203b42010-10-06 10:11:56 +000090.. c:function:: PyObject* PyFrozenSet_New(PyObject *iterable)
Georg Brandl54a3faa2008-01-20 09:30:57 +000091
92 Return a new :class:`frozenset` containing objects returned by the *iterable*.
Serhiy Storchaka25fc0882019-10-30 12:03:20 +020093 The *iterable* may be ``NULL`` to create a new empty frozenset. Return the new
94 set on success or ``NULL`` on failure. Raise :exc:`TypeError` if *iterable* is
Georg Brandl54a3faa2008-01-20 09:30:57 +000095 not actually iterable.
96
Christian Heimesfd66e512008-01-29 12:18:50 +000097
Georg Brandl54a3faa2008-01-20 09:30:57 +000098The following functions and macros are available for instances of :class:`set`
99or :class:`frozenset` or instances of their subtypes.
100
101
Georg Brandl60203b42010-10-06 10:11:56 +0000102.. c:function:: Py_ssize_t PySet_Size(PyObject *anyset)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000103
104 .. index:: builtin: len
105
106 Return the length of a :class:`set` or :class:`frozenset` object. Equivalent to
107 ``len(anyset)``. Raises a :exc:`PyExc_SystemError` if *anyset* is not a
108 :class:`set`, :class:`frozenset`, or an instance of a subtype.
109
110
Georg Brandl60203b42010-10-06 10:11:56 +0000111.. c:function:: Py_ssize_t PySet_GET_SIZE(PyObject *anyset)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000112
Georg Brandl60203b42010-10-06 10:11:56 +0000113 Macro form of :c:func:`PySet_Size` without error checking.
Georg Brandl54a3faa2008-01-20 09:30:57 +0000114
115
Georg Brandl60203b42010-10-06 10:11:56 +0000116.. c:function:: int PySet_Contains(PyObject *anyset, PyObject *key)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000117
Serhiy Storchaka1ecf7d22016-10-27 21:41:19 +0300118 Return ``1`` if found, ``0`` if not found, and ``-1`` if an error is encountered. Unlike
Georg Brandl54a3faa2008-01-20 09:30:57 +0000119 the Python :meth:`__contains__` method, this function does not automatically
120 convert unhashable sets into temporary frozensets. Raise a :exc:`TypeError` if
121 the *key* is unhashable. Raise :exc:`PyExc_SystemError` if *anyset* is not a
122 :class:`set`, :class:`frozenset`, or an instance of a subtype.
123
Georg Brandl54a3faa2008-01-20 09:30:57 +0000124
Georg Brandl60203b42010-10-06 10:11:56 +0000125.. c:function:: int PySet_Add(PyObject *set, PyObject *key)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000126
Georg Brandle6bcc912008-05-12 18:05:20 +0000127 Add *key* to a :class:`set` instance. Also works with :class:`frozenset`
Georg Brandl60203b42010-10-06 10:11:56 +0000128 instances (like :c:func:`PyTuple_SetItem` it can be used to fill-in the values
Serhiy Storchaka1ecf7d22016-10-27 21:41:19 +0300129 of brand new frozensets before they are exposed to other code). Return ``0`` on
130 success or ``-1`` on failure. Raise a :exc:`TypeError` if the *key* is
Georg Brandle6bcc912008-05-12 18:05:20 +0000131 unhashable. Raise a :exc:`MemoryError` if there is no room to grow. Raise a
Serhiy Storchaka6a7b3a72016-04-17 08:32:47 +0300132 :exc:`SystemError` if *set* is not an instance of :class:`set` or its
Georg Brandl54a3faa2008-01-20 09:30:57 +0000133 subtype.
134
Christian Heimesfd66e512008-01-29 12:18:50 +0000135
136The following functions are available for instances of :class:`set` or its
137subtypes but not for instances of :class:`frozenset` or its subtypes.
138
Georg Brandl54a3faa2008-01-20 09:30:57 +0000139
Georg Brandl60203b42010-10-06 10:11:56 +0000140.. c:function:: int PySet_Discard(PyObject *set, PyObject *key)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000141
Serhiy Storchaka1ecf7d22016-10-27 21:41:19 +0300142 Return ``1`` if found and removed, ``0`` if not found (no action taken), and ``-1`` if an
Georg Brandl54a3faa2008-01-20 09:30:57 +0000143 error is encountered. Does not raise :exc:`KeyError` for missing keys. Raise a
Serhiy Storchaka0b68a2d2013-10-09 13:26:17 +0300144 :exc:`TypeError` if the *key* is unhashable. Unlike the Python :meth:`~set.discard`
Georg Brandl54a3faa2008-01-20 09:30:57 +0000145 method, this function does not automatically convert unhashable sets into
Serhiy Storchaka6a7b3a72016-04-17 08:32:47 +0300146 temporary frozensets. Raise :exc:`PyExc_SystemError` if *set* is not an
Georg Brandl54a3faa2008-01-20 09:30:57 +0000147 instance of :class:`set` or its subtype.
148
149
Georg Brandl60203b42010-10-06 10:11:56 +0000150.. c:function:: PyObject* PySet_Pop(PyObject *set)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000151
152 Return a new reference to an arbitrary object in the *set*, and removes the
Serhiy Storchaka25fc0882019-10-30 12:03:20 +0200153 object from the *set*. Return ``NULL`` on failure. Raise :exc:`KeyError` if the
Serhiy Storchaka6a7b3a72016-04-17 08:32:47 +0300154 set is empty. Raise a :exc:`SystemError` if *set* is not an instance of
Georg Brandl54a3faa2008-01-20 09:30:57 +0000155 :class:`set` or its subtype.
156
157
Georg Brandl60203b42010-10-06 10:11:56 +0000158.. c:function:: int PySet_Clear(PyObject *set)
Georg Brandl54a3faa2008-01-20 09:30:57 +0000159
160 Empty an existing set of all elements.