`typeobj.md`

945 строк · 102.2 КБ · обычная страница · сырой текст · скачать
1> **Источник:** https://python-all.ru/3.5/c-api/typeobj.html2>3> «Документация Python на русском» – неофициальный перевод официальной документации Python: версии от 2.6 до 3.16, полнотекстовый поиск, английский оригинал рядом с переводом. Эта Markdown-версия страницы предназначена для работы с LLM: вставьте её в ChatGPT, Claude или Cursor.45---67# Объекты типов89Пожалуй, одна из самых важных структур объектной системы Python – это структура, определяющая новый тип: структура [`PyTypeObject`](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject). Объекты типа можно обрабатывать с помощью любой из функций `PyObject_*()` или `PyType_*()`, но для большинства приложений Python они не представляют большого интереса. Эти объекты являются основой поведения объектов, поэтому они очень важны как для самого интерпретатора, так и для любых модулей расширения, реализующих новые типы.1011Объекты типа довольно велики по сравнению с большинством стандартных типов. Причина такого размера в том, что каждый объект типа хранит большое количество значений, в основном указателей на функции C, каждый из которых реализует небольшую часть функциональности типа. Поля объекта типа подробно рассматриваются в этом разделе. Поля будут описаны в порядке их появления в структуре.1213Определения типов: unaryfunc, binaryfunc, ternaryfunc, inquiry, intargfunc, intintargfunc, intobjargproc, intintobjargproc, objobjargproc, destructor, freefunc, printfunc, getattrfunc, getattrofunc, setattrfunc, setattrofunc, reprfunc, hashfunc1415Определение структуры для [`PyTypeObject`](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject) можно найти в `Include/object.h`. Для удобства здесь повторяется определение, приведённое там:1617```c18typedef struct _typeobject {19    PyObject_VAR_HEAD20    const char *tp_name; /* Для вывода в формате "<module>.<name>" */21    Py_ssize_t tp_basicsize, tp_itemsize; /* Для выделения памяти */2223    /* Методы для реализации стандартных операций */2425    destructor tp_dealloc;26    printfunc tp_print;27    getattrfunc tp_getattr;28    setattrfunc tp_setattr;29    PyAsyncMethods *tp_as_async; /* ранее известный как tp_compare (Python 2)30                                    или tp_reserved (Python 3) */31    reprfunc tp_repr;3233    /* Наборы методов для стандартных классов */3435    PyNumberMethods *tp_as_number;36    PySequenceMethods *tp_as_sequence;37    PyMappingMethods *tp_as_mapping;3839    /* Дополнительные стандартные операции (здесь для двоичной совместимости) */4041    hashfunc tp_hash;42    ternaryfunc tp_call;43    reprfunc tp_str;44    getattrofunc tp_getattro;45    setattrofunc tp_setattro;4647    /* Функции для доступа к объекту как к буферу ввода/вывода */48    PyBufferProcs *tp_as_buffer;4950    /* Флаги для определения наличия опциональных/расширенных возможностей */51    unsigned long tp_flags;5253    const char *tp_doc; /* Строка документации */5455    /* вызов функции для всех доступных объектов */56    traverseproc tp_traverse;5758    /* удаление ссылок на содержащиеся объекты */59    inquiry tp_clear;6061    /* расширенные сравнения */62    richcmpfunc tp_richcompare;6364    /* включение слабых ссылок */65    Py_ssize_t tp_weaklistoffset;6667    /* Итераторы */68    getiterfunc tp_iter;69    iternextfunc tp_iternext;7071    /* Дескриптор атрибутов и механизмы подклассов */72    struct PyMethodDef *tp_methods;73    struct PyMemberDef *tp_members;74    struct PyGetSetDef *tp_getset;75    struct _typeobject *tp_base;76    PyObject *tp_dict;77    descrgetfunc tp_descr_get;78    descrsetfunc tp_descr_set;79    Py_ssize_t tp_dictoffset;80    initproc tp_init;81    allocfunc tp_alloc;82    newfunc tp_new;83    freefunc tp_free; /* Низкоуровневая процедура освобождения памяти */84    inquiry tp_is_gc; /* Для PyObject_IS_GC */85    PyObject *tp_bases;86    PyObject *tp_mro; /* порядок разрешения методов */87    PyObject *tp_cache;88    PyObject *tp_subclasses;89    PyObject *tp_weaklist;90    destructor tp_del;9192    /* Метка версии кэша атрибутов типа. Добавлено в версии 2.6. */93    unsigned int tp_version_tag;9495    destructor tp_finalize;9697} PyTypeObject;98```99100Структура объекта-типа расширяет структуру [`PyVarObject`](https://python-all.ru/3.5/c-api/structures.html#c.PyVarObject). Поле `ob_size` используется для динамических типов (создаваемых с помощью `type_new()`, обычно вызываемого из объявления класса). Обратите внимание, что [`PyType_Type`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Type) (метатип) инициализирует [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize), что означает, что его экземпляры (т.е. объекты-типы) *должны* иметь поле `ob_size`.101102**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyObject._ob_next`**103104**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyObject._ob_prev`**105106Эти поля присутствуют только тогда, когда определён макрос `Py_TRACE_REFS`. Их инициализация значением *NULL* выполняется макросом `PyObject_HEAD_INIT`. Для статически выделенных объектов эти поля всегда остаются *NULL*. Для динамически выделенных объектов эти два поля используются для включения объекта в двусвязный список *всех* живых объектов в куче. Это может быть использовано для различных целей отладки; в настоящее время единственное применение – вывод объектов, которые всё ещё живы в конце выполнения, когда установлена переменная окружения [`PYTHONDUMPREFS`](https://python-all.ru/3.5/using/cmdline.html#envvar-PYTHONDUMPREFS).107108Эти поля не наследуются подтипами.109110**Py\_ssize\_t `PyObject.ob_refcnt`**111112Это счётчик ссылок объекта-типа, инициализируемый значением `1` макросом `PyObject_HEAD_INIT`. Обратите внимание: для статически выделенных объектов-типов экземпляры типа (объекты, у которых `ob_type` указывает обратно на тип) *не* считаются ссылками. Но для динамически выделенных объектов-типов экземпляры *считаются* ссылками.113114Это поле не наследуется подтипами.115116**[PyTypeObject](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject)\* `PyObject.ob_type`**117118Это тип типа, то есть его метатип. Он инициализируется аргументом макроса `PyObject_HEAD_INIT`, и его значением обычно должно быть `&PyType_Type`. Однако для динамически загружаемых модулей расширения, которые должны работать на Windows (по крайней мере), компилятор сообщает, что это недопустимый инициализатор. Поэтому принято передавать *NULL* макросу `PyObject_HEAD_INIT` и инициализировать это поле явно в начале функции инициализации модуля, до выполнения каких-либо других действий. Обычно это делается так:119120```c121Foo_Type.ob_type = &PyType_Type;122```123124Это следует делать до создания любых экземпляров типа. [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready) проверяет, равен ли `ob_type` *NULL*, и если да, инициализирует его полем `ob_type` базового класса. [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready) не будет изменять это поле, если оно не равно нулю.125126Это поле наследуется подтипами.127128**Py\_ssize\_t `PyVarObject.ob_size`**129130Для статически выделенных объектов-типов это поле должно быть инициализировано нулём. Для динамически выделенных объектов-типов это поле имеет особый внутренний смысл.131132Это поле не наследуется подтипами.133134**const char\* `PyTypeObject.tp_name`**135136Указатель на строку, завершающуюся NUL, содержащую имя типа. Для типов, доступных как глобальные переменные модуля, строка должна содержать полное имя модуля, за которым следует точка, а затем имя типа; для встроенных типов это должно быть просто имя типа. Если модуль является подмодулем пакета, полное имя пакета является частью полного имени модуля. Например, тип с именем `T`, определённый в модуле `M` в подпакете `Q` пакета `P`, должен иметь инициализатор [`tp_name`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_name) со значением `"P.Q.M.T"`.137138Для динамически выделенных объектов-типов это должно быть просто имя типа, а имя модуля явно хранится в словаре типа как значение для ключа `'__module__'`.139140Для статически выделенных объектов-типов поле tp\_name должно содержать точку. Всё до последней точки становится доступным как атрибут `__module__`, а всё после последней точки – как атрибут [`__name__`](https://python-all.ru/3.5/library/stdtypes.html#definition.__name__).141142Если точка отсутствует, всё поле [`tp_name`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_name) становится доступным как атрибут [`__name__`](https://python-all.ru/3.5/library/stdtypes.html#definition.__name__), а атрибут `__module__` не определён (если только не задан явно в словаре, как описано выше). Это означает, что ваш тип невозможно будет сериализовать с помощью pickle. Кроме того, он не будет отображаться в документации модуля, создаваемой pydoc.143144Это поле не наследуется подтипами.145146**Py\_ssize\_t `PyTypeObject.tp_basicsize`**147148**Py\_ssize\_t `PyTypeObject.tp_itemsize`**149150Эти поля позволяют вычислить размер экземпляров типа в байтах.151152Существует два вида типов: типы с экземплярами фиксированной длины имеют нулевое [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) поле, типы с экземплярами переменной длины имеют ненулевое [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) поле. Для типа с экземплярами фиксированной длины все экземпляры имеют одинаковый размер, указанный в [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize).153154Для типа с экземплярами переменной длины экземпляры должны иметь `ob_size` поле, а размер экземпляра равен [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize) плюс N умножить на [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize), где N – «длина» объекта. Значение N обычно хранится в поле `ob_size` экземпляра. Есть исключения: например, int использует отрицательное `ob_size` для обозначения отрицательного числа, и N равно `abs(ob_size)`. Кроме того, наличие поля `ob_size` в структуре экземпляра не означает, что структура экземпляра имеет переменную длину (например, структура для типа списка имеет экземпляры фиксированной длины, но при этом у этих экземпляров есть значимое поле `ob_size`).155156Базовый размер включает поля того экземпляра, которые объявлены макросом [`PyObject_HEAD`](https://python-all.ru/3.5/c-api/structures.html#c.PyObject_HEAD) или [`PyObject_VAR_HEAD`](https://python-all.ru/3.5/c-api/structures.html#c.PyObject_VAR_HEAD) (в зависимости от того, какой из них используется для объявления структуры экземпляра), и он, в свою очередь, включает поля `_ob_prev` и `_ob_next`, если они присутствуют. Это означает, что единственный правильный способ получить инициализатор для [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize) – это использовать оператор `sizeof` для структуры, используемой для объявления макета экземпляра. Базовый размер не включает размер заголовка GC.157158Эти поля наследуются подтипами независимо друг от друга. Если базовый тип имеет ненулевое [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize), обычно небезопасно устанавливать [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) в другое ненулевое значение в подтипе (хотя это зависит от реализации базового типа).159160Замечание о выравнивании: если переменные элементы требуют определённого выравнивания, это должно быть обеспечено значением [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize). Пример: предположим, тип реализует массив `double`. [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) равно `sizeof(double)`. Программист должен гарантировать, что [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize) кратно `sizeof(double)` (при условии, что это и есть требование выравнивания для `double`).161162**destructor `PyTypeObject.tp_dealloc`**163164Указатель на функцию деструктора экземпляра. Эта функция должна быть определена, если только тип не гарантирует, что его экземпляры никогда не будут освобождены (как в случае с синглтонами `None` и `Ellipsis`).165166Функция деструктора вызывается макросами [`Py_DECREF()`](https://python-all.ru/3.5/c-api/refcounting.html#c.Py_DECREF) и [`Py_XDECREF()`](https://python-all.ru/3.5/c-api/refcounting.html#c.Py_XDECREF), когда счётчик ссылок становится равным нулю. На этом этапе экземпляр всё ещё существует, но на него нет ссылок. Функция деструктора должна освободить все ссылки, которыми владеет экземпляр, освободить все буферы памяти, принадлежащие экземпляру (используя функцию освобождения, соответствующую функции выделения, которая использовалась для выделения буфера), и, наконец (в качестве последнего действия), вызвать функцию [`tp_free`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_free) типа. Если тип не является подтипируемым (не имеет установленного флага [`Py_TPFLAGS_BASETYPE`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_BASETYPE)), допускается вызывать деаллокатор объекта напрямую, а не через [`tp_free`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_free). Деаллокатором объекта должен быть тот, который использовался для выделения экземпляра; обычно это [`PyObject_Del()`](https://python-all.ru/3.5/c-api/allocation.html#c.PyObject_Del), если экземпляр был выделен с помощью [`PyObject_New()`](https://python-all.ru/3.5/c-api/allocation.html#c.PyObject_New) или `PyObject_VarNew()`, или [`PyObject_GC_Del()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.PyObject_GC_Del), если экземпляр был выделен с помощью [`PyObject_GC_New()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.PyObject_GC_New) или [`PyObject_GC_NewVar()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.PyObject_GC_NewVar).167168Это поле наследуется подтипами.169170**printfunc `PyTypeObject.tp_print`**171172Зарезервированный слот, ранее использовавшийся для форматирования вывода в Python 2.x.173174**getattrfunc `PyTypeObject.tp_getattr`**175176Необязательный указатель на функцию получения строки атрибута.177178Это поле устарело. Если оно определено, оно должно указывать на функцию, которая действует так же, как функция [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro), но принимает C-строку вместо объекта строки Python для указания имени атрибута. Сигнатура:179180```c181PyObject * tp_getattr(PyObject *o, char *attr_name);182```183184Это поле наследуется подтипами вместе с [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro): подтип наследует как [`tp_getattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattr), так и [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro) от своего базового типа, когда [`tp_getattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattr) и [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro) подтипа оба равны *NULL*.185186**setattrfunc `PyTypeObject.tp_setattr`**187188Необязательный указатель на функцию для установки и удаления атрибутов.189190Это поле устарело. Если оно определено, оно должно указывать на функцию, которая действует так же, как функция [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro), но принимает C-строку вместо объекта строки Python для указания имени атрибута. Сигнатура:191192```c193PyObject * tp_setattr(PyObject *o, char *attr_name, PyObject *v);194```195196Аргумент *v* устанавливается в *NULL* для удаления атрибута. Это поле наследуется подтипами вместе с [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro): подтип наследует как [`tp_setattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattr), так и [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro) от своего базового типа, когда оба поля [`tp_setattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattr) и [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro) подтипа равны *NULL*.197198**[PyAsyncMethods](https://python-all.ru/3.5/c-api/typeobj.html#c.PyAsyncMethods)\* `tp_as_async`**199200Указатель на дополнительную структуру, содержащую поля, значимые только для объектов, реализующих протоколы [ожидаемого объекта](https://python-all.ru/3.5/glossary.html#term-awaitable) и [асинхронного итератора](https://python-all.ru/3.5/glossary.html#term-asynchronous-iterator) на уровне C. Подробнее см. в [Структуры асинхронных объектов](https://python-all.ru/3.5/c-api/typeobj.html#async-structs).201202Новое в версии 3.5: Ранее было известно как `tp_compare` и `tp_reserved`.203204**reprfunc `PyTypeObject.tp_repr`**205206Необязательный указатель на функцию, реализующую встроенную функцию [`repr()`](https://python-all.ru/3.5/library/functions.html#repr).207208Сигнатура такая же, как для [`PyObject_Repr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Repr); она должна возвращать строку или объект Unicode. В идеале эта функция должна возвращать строку, которая при передаче в [`eval()`](https://python-all.ru/3.5/library/functions.html#eval) в подходящем окружении возвращает объект с тем же значением. Если это невозможно, она должна возвращать строку, начинающуюся с `'<'` и заканчивающуюся `'>'`, из которой можно вывести как тип, так и значение объекта.209210Если это поле не задано, возвращается строка вида `<%s object at %p>`, где `%s` заменяется именем типа, а `%p` – адресом памяти объекта.211212Это поле наследуется подтипами.213214**[PyNumberMethods](https://python-all.ru/3.5/c-api/typeobj.html#c.PyNumberMethods)\* `tp_as_number`**215216Указатель на дополнительную структуру, содержащую поля, значимые только для объектов, реализующих числовой протокол. Эти поля описаны в [Структуры числовых объектов](https://python-all.ru/3.5/c-api/typeobj.html#number-structs).217218Поле `tp_as_number` не наследуется, но содержащиеся в нём поля наследуются по отдельности.219220**[PySequenceMethods](https://python-all.ru/3.5/c-api/typeobj.html#c.PySequenceMethods)\* `tp_as_sequence`**221222Указатель на дополнительную структуру, содержащую поля, значимые только для объектов, реализующих протокол последовательности. Эти поля описаны в [Структуры объектов-последовательностей](https://python-all.ru/3.5/c-api/typeobj.html#sequence-structs).223224Поле `tp_as_sequence` не наследуется, но содержащиеся в нём поля наследуются по отдельности.225226**[PyMappingMethods](https://python-all.ru/3.5/c-api/typeobj.html#c.PyMappingMethods)\* `tp_as_mapping`**227228Указатель на дополнительную структуру, содержащую поля, значимые только для объектов, реализующих протокол отображения. Эти поля описаны в [Структуры объектов-отображений](https://python-all.ru/3.5/c-api/typeobj.html#mapping-structs).229230Поле `tp_as_mapping` не наследуется, но содержащиеся в нём поля наследуются по отдельности.231232**hashfunc `PyTypeObject.tp_hash`**233234Необязательный указатель на функцию, реализующую встроенную функцию [`hash()`](https://python-all.ru/3.5/library/functions.html#hash).235236Сигнатура такая же, как для [`PyObject_Hash()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Hash); она должна возвращать значение типа Py\_hash\_t. Значение `-1` не должно возвращаться как обычное возвращаемое значение; при возникновении ошибки во время вычисления хеша функция должна установить исключение и вернуть `-1`.237238Это поле можно явно установить в [`PyObject_HashNotImplemented()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_HashNotImplemented), чтобы заблокировать наследование хеш-метода от родительского типа. Это интерпретируется как эквивалент `__hash__ = None` на уровне Python, в результате чего `isinstance(o, collections.Hashable)` корректно возвращает `False`. Обратите внимание, что верно и обратное: установка `__hash__ = None` в классе на уровне Python приведет к тому, что слот `tp_hash` будет установлен в [`PyObject_HashNotImplemented()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_HashNotImplemented).239240Когда это поле не установлено, попытка получить хеш объекта вызывает [`TypeError`](https://python-all.ru/3.5/library/exceptions.html#TypeError).241242Это поле наследуется подтипами вместе с [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare): подтип наследует как [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare), так и [`tp_hash`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_hash), когда оба поля [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare) и [`tp_hash`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_hash) подтипа равны *NULL*.243244**ternaryfunc `PyTypeObject.tp_call`**245246Необязательный указатель на функцию, которая реализует вызов объекта. Это должен быть *NULL*, если объект не является вызываемым. Сигнатура такая же, как у [`PyObject_Call()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Call).247248Это поле наследуется подтипами.249250**reprfunc `PyTypeObject.tp_str`**251252Необязательный указатель на функцию, реализующую встроенную операцию [`str()`](https://python-all.ru/3.5/library/stdtypes.html#str). (Обратите внимание, что [`str`](https://python-all.ru/3.5/library/stdtypes.html#str) теперь является типом, а [`str()`](https://python-all.ru/3.5/library/stdtypes.html#str) вызывает конструктор этого типа. Этот конструктор вызывает [`PyObject_Str()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Str) для выполнения фактической работы, и [`PyObject_Str()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Str) будет вызывать этот обработчик.)253254Сигнатура такая же, как у [`PyObject_Str()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Str); она должна возвращать строку или объект Unicode. Эта функция должна возвращать «дружественное» строковое представление объекта, поскольку именно это представление будет использоваться, в частности, функцией [`print()`](https://python-all.ru/3.5/library/functions.html#print).255256Если это поле не задано, вызывается [`PyObject_Repr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Repr) для возврата строкового представления.257258Это поле наследуется подтипами.259260**getattrofunc `PyTypeObject.tp_getattro`**261262Необязательный указатель на функцию получения атрибута.263264Сигнатура такая же, как у [`PyObject_GetAttr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GetAttr). Обычно удобно устанавливать это поле в [`PyObject_GenericGetAttr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GenericGetAttr), которое реализует обычный способ поиска атрибутов объекта.265266Это поле наследуется подтипами вместе с [`tp_getattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattr): подтип наследует как [`tp_getattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattr), так и [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro) от своего базового типа, когда [`tp_getattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattr) и [`tp_getattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_getattro) подтипа оба равны *NULL*.267268**setattrofunc `PyTypeObject.tp_setattro`**269270Необязательный указатель на функцию для установки и удаления атрибутов.271272Сигнатура такая же, как у [`PyObject_SetAttr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_SetAttr), но необходимо поддерживать установку *v* в *NULL* для удаления атрибута. Обычно удобно установить это поле в [`PyObject_GenericSetAttr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GenericSetAttr), которое реализует обычный способ установки атрибутов объектов.273274Это поле наследуется подтипами вместе с [`tp_setattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattr): подтип наследует как [`tp_setattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattr), так и [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro) от своего базового типа, когда [`tp_setattr`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattr) и [`tp_setattro`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_setattro) подтипа оба равны *NULL*.275276**[PyBufferProcs](https://python-all.ru/3.5/c-api/typeobj.html#c.PyBufferProcs)\* `PyTypeObject.tp_as_buffer`**277278Указатель на дополнительную структуру, содержащую поля, значимые только для объектов, реализующих буферный интерфейс. Эти поля описаны в [Buffer Object Structures](https://python-all.ru/3.5/c-api/typeobj.html#buffer-structs).279280Поле [`tp_as_buffer`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_as_buffer) не наследуется, но содержащиеся в нём поля наследуются по отдельности.281282**unsigned long `PyTypeObject.tp_flags`**283284Это поле представляет собой битовую маску различных флагов. Некоторые флаги указывают на вариантную семантику для определённых ситуаций; другие используются для обозначения того, что определённые поля в объекте типа (или в структурах расширения, на которые ссылаются через `tp_as_number`, `tp_as_sequence`, `tp_as_mapping` и [`tp_as_buffer`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_as_buffer)), которые исторически присутствовали не всегда, являются корректными; если такой бит флага сброшен, то поля типа, которые он защищает, нельзя использовать, и они считаются имеющими нулевое значение или *NULL*.285286Наследование этого поля устроено сложно. Большинство битов флагов наследуются по отдельности: если у базового типа установлен бит флага, подтип наследует этот бит. Биты флагов, относящиеся к структурам расширения, наследуются строго в том случае, если наследуется сама структура расширения – то есть значение бита флага базового типа копируется в подтип вместе с указателем на структуру расширения. Бит флага [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC) наследуется вместе с полями [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear): если бит [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC) сброшен в подтипе, а поля [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) в подтипе существуют и имеют значение *NULL*.287288В настоящее время определены следующие битовые маски; их можно объединять с помощью оператора `|` для получения значения поля [`tp_flags`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_flags). Макрос [`PyType_HasFeature()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_HasFeature) принимает тип и значение флагов, *tp* и *f*, и проверяет, является ли `tp->tp_flags & f` ненулевым.289290#### `Py_TPFLAGS_HEAPTYPE`291292Этот бит устанавливается, когда сам объект типа выделяется в куче. В таком случае поле `ob_type` его экземпляров считается ссылкой на тип, и счётчик ссылок объекта типа увеличивается (INCREF) при создании нового экземпляра и уменьшается (DECREF) при уничтожении экземпляра (это не относится к экземплярам подтипов; только тип, на который ссылается ob\_type экземпляра, получает INCREF или DECREF).293294#### `Py_TPFLAGS_BASETYPE`295296Этот бит устанавливается, когда тип может использоваться как базовый тип другого типа. Если этот бит сброшен, тип не может быть унаследован (аналогично «финальному» классу в Java).297298#### `Py_TPFLAGS_READY`299300Этот бит устанавливается, когда объект типа был полностью инициализирован функцией [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready).301302#### `Py_TPFLAGS_READYING`303304Этот бит устанавливается, пока [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready) находится в процессе инициализации объекта типа.305306#### `Py_TPFLAGS_HAVE_GC`307308Этот бит устанавливается, когда объект поддерживает сборку мусора. Если бит установлен, экземпляры должны создаваться с помощью [`PyObject_GC_New()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.PyObject_GC_New) и уничтожаться с помощью [`PyObject_GC_Del()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.PyObject_GC_Del). Дополнительная информация – в разделе [Поддержка циклической сборки мусора](https://python-all.ru/3.5/c-api/gcsupport.html#supporting-cycle-detection). Этот бит также означает, что связанные со сборкой мусора поля [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) присутствуют в объекте типа.309310#### `Py_TPFLAGS_DEFAULT`311312Это битовая маска всех битов, относящихся к наличию определённых полей в объекте типа и его структурах расширения. В настоящее время она включает следующие биты: `Py_TPFLAGS_HAVE_STACKLESS_EXTENSION`, `Py_TPFLAGS_HAVE_VERSION_TAG`.313314#### `Py_TPFLAGS_LONG_SUBCLASS`315316#### `Py_TPFLAGS_LIST_SUBCLASS`317318#### `Py_TPFLAGS_TUPLE_SUBCLASS`319320#### `Py_TPFLAGS_BYTES_SUBCLASS`321322#### `Py_TPFLAGS_UNICODE_SUBCLASS`323324#### `Py_TPFLAGS_DICT_SUBCLASS`325326#### `Py_TPFLAGS_BASE_EXC_SUBCLASS`327328#### `Py_TPFLAGS_TYPE_SUBCLASS`329330Эти флаги используются такими функциями, как [`PyLong_Check()`](https://python-all.ru/3.5/c-api/long.html#c.PyLong_Check), для быстрого определения, является ли тип подклассом встроенного типа; такие конкретные проверки выполняются быстрее, чем общая проверка, например [`PyObject_IsInstance()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_IsInstance). Пользовательские типы, наследующие от встроенных, должны иметь соответствующий [`tp_flags`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_flags) установленным, иначе код, взаимодействующий с такими типами, будет вести себя по-разному в зависимости от того, какая проверка используется.331332#### `Py_TPFLAGS_HAVE_FINALIZE`333334Этот бит устанавливается, когда слот [`tp_finalize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_finalize) присутствует в структуре типа.335336Новое в версии 3.4.337338**const char\* `PyTypeObject.tp_doc`**339340Необязательный указатель на C-строку, завершающуюся нулевым символом, содержащую строку документации для этого объекта типа. Это отображается как атрибут `__doc__` у типа и его экземпляров.341342Это поле *не* наследуется подтипами.343344**[traverseproc](https://python-all.ru/3.5/c-api/gcsupport.html#c.traverseproc) `PyTypeObject.tp_traverse`**345346Необязательный указатель на функцию обхода для сборщика мусора. Используется только если установлен флаг [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC). Дополнительную информацию о схеме сборки мусора Python можно найти в разделе [Поддержка циклической сборки мусора](https://python-all.ru/3.5/c-api/gcsupport.html#supporting-cycle-detection).347348Указатель [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) используется сборщиком мусора для обнаружения циклических ссылок. Типичная реализация функции [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) просто вызывает [`Py_VISIT()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.Py_VISIT) для каждого из членов экземпляра, являющегося объектом Python. Например, такова функция `local_traverse()` из модуля расширения [`_thread`](https://python-all.ru/3.5/library/_thread.html#module-_thread):349350```c351static int352local_traverse(localobject *self, visitproc visit, void *arg)353{354    Py_VISIT(self->args);355    Py_VISIT(self->kw);356    Py_VISIT(self->dict);357    return 0;358}359```360361Обратите внимание, что [`Py_VISIT()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.Py_VISIT) вызывается только для тех членов, которые могут участвовать в циклических ссылках. Хотя существует и член `self->key`, он может быть только *NULL* или строкой Python, а потому не может быть частью циклической ссылки.362363С другой стороны, даже если известно, что член никогда не может быть частью цикла, в качестве средства отладки его всё равно можно обойти, чтобы функция [`get_referents()`](https://python-all.ru/3.5/library/gc.html#gc.get_referents) модуля [`gc`](https://python-all.ru/3.5/library/gc.html#module-gc) включила его.364365Обратите внимание, что [`Py_VISIT()`](https://python-all.ru/3.5/c-api/gcsupport.html#c.Py_VISIT) требует, чтобы параметры *visit* и *arg* для `local_traverse()` имели именно такие имена; не следует называть их как попало.366367Это поле наследуется подтипами вместе с [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) и флагом [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC): флаг, [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) наследуются от базового типа, если они равны нулю в подтипе.368369**[inquiry](https://python-all.ru/3.5/c-api/gcsupport.html#c.inquiry) `PyTypeObject.tp_clear`**370371Необязательный указатель на функцию очистки для сборщика мусора. Используется только если установлен флаг [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC).372373Функция-член [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) используется для разрыва циклических ссылок в циклическом мусоре, обнаруженном сборщиком мусора. В совокупности все функции [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) в системе должны совместно разрывать все циклические ссылки. Это тонкий момент, и при любых сомнениях следует предоставить функцию [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear). Например, тип tuple не реализует функцию [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear), поскольку можно доказать, что ни одна циклическая ссылка не может состоять исключительно из кортежей. Поэтому функции [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) других типов должны быть достаточны для разрыва любой циклической ссылки, содержащей кортеж. Это не очевидно, и редко есть веская причина избегать реализации [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear).374375Реализации [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) должны освобождать ссылки экземпляра на те его члены, которые могут быть объектами Python, и устанавливать указатели на эти члены в *NULL*, как в следующем примере:376377```c378static int379local_clear(localobject *self)380{381    Py_CLEAR(self->key);382    Py_CLEAR(self->args);383    Py_CLEAR(self->kw);384    Py_CLEAR(self->dict);385    return 0;386}387```388389Следует использовать макрос [`Py_CLEAR()`](https://python-all.ru/3.5/c-api/refcounting.html#c.Py_CLEAR), потому что очистка ссылок – дело тонкое: счётчик ссылок на содержащийся объект не должен уменьшаться до тех пор, пока указатель на этот объект не будет установлен в *NULL*. Это связано с тем, что уменьшение счётчика ссылок может привести к тому, что содержащийся объект станет мусором, что вызовет цепочку действий по его освобождению, которая может включать выполнение произвольного кода Python (из-за финализаторов или колбэков слабых ссылок, связанных с содержащимся объектом). Если такой код может снова обратиться к *self*, важно, чтобы указатель на содержащийся объект в этот момент был *NULL*, чтобы *self* знал, что содержащийся объект больше нельзя использовать. Макрос [`Py_CLEAR()`](https://python-all.ru/3.5/c-api/refcounting.html#c.Py_CLEAR) выполняет операции в безопасном порядке.390391Поскольку цель функций [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) – разрывать циклические ссылки, нет необходимости очищать содержащиеся объекты, такие как строки Python или целые числа Python, которые не могут участвовать в циклических ссылках. С другой стороны, может быть удобно очистить все содержащиеся объекты Python и написать функцию [`tp_dealloc`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dealloc) типа так, чтобы она вызывала [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear).392393Дополнительную информацию о схеме сборки мусора Python можно найти в разделе [Поддержка циклической сборки мусора](https://python-all.ru/3.5/c-api/gcsupport.html#supporting-cycle-detection).394395Это поле наследуется подтипами вместе с [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и флагом [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC): флаг, [`tp_traverse`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_traverse) и [`tp_clear`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_clear) наследуются от базового типа, если они равны нулю в подтипе.396397**richcmpfunc `PyTypeObject.tp_richcompare`**398399Необязательный указатель на функцию расширенного сравнения, сигнатура которой `PyObject *tp_richcompare(PyObject *a, PyObject *b, int op)`. Первый параметр гарантированно является экземпляром типа, определённого [`PyTypeObject`](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject).400401Функция должна возвращать результат сравнения (обычно `Py_True` или `Py_False`). Если сравнение не определено, она должна вернуть `Py_NotImplemented`; если произошла другая ошибка, она должна вернуть `NULL` и установить условие исключения.402403> **Примечание**404>405> Если требуется реализовать тип, для которого имеет смысл только ограниченный набор сравнений (например, `==` и `!=`, но не `<` и др.), следует напрямую возбуждать [`TypeError`](https://python-all.ru/3.5/library/exceptions.html#TypeError) в функции расширенного сравнения.406407Это поле наследуется подтипами вместе с [`tp_hash`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_hash): подтип наследует [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare) и [`tp_hash`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_hash), когда [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare) и [`tp_hash`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_hash) подтипа оба равны *NULL*.408409Следующие константы определены для использования в качестве третьего аргумента для [`tp_richcompare`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_richcompare) и для [`PyObject_RichCompare()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_RichCompare):410411| Константа | Сравнение |412| --- | --- |413| `Py_LT` | `<` |414| `Py_LE` | `<=` |415| `Py_EQ` | `==` |416| `Py_NE` | `!=` |417| `Py_GT` | `>` |418| `Py_GE` | `>=` |419420**Py\_ssize\_t `PyTypeObject.tp_weaklistoffset`**421422Если экземпляры этого типа могут использоваться в слабых ссылках, это поле больше нуля и содержит смещение в структуре экземпляра до головы списка слабых ссылок (игнорируя заголовок GC, если он присутствует); это смещение используется функциями `PyObject_ClearWeakRefs()` и `PyWeakref_*()`. Структура экземпляра должна содержать поле типа [`PyObject*`](https://python-all.ru/3.5/c-api/structures.html#c.PyObject), инициализированное значением *NULL*.423424Не путайте это поле с [`tp_weaklist`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_weaklist); это голова списка для слабых ссылок на сам объект типа.425426Это поле наследуется подтипами, но см. правила ниже. Подтип может переопределить это смещение; это означает, что подтип использует другую голову списка слабых ссылок, нежели базовый тип. Поскольку голова списка всегда находится через [`tp_weaklistoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_weaklistoffset), это не должно быть проблемой.427428Если тип, определённый с помощью оператора class, не содержит объявления [`__slots__`](https://python-all.ru/3.5/reference/datamodel.html#object.__slots__), и ни один из его базовых типов не поддерживает слабые ссылки, тип делается доступным для слабых ссылок: в компоновку экземпляра добавляется слот заголовка списка слабых ссылок, и [`tp_weaklistoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_weaklistoffset) устанавливается на смещение этого слота.429430Если объявление `__slots__` типа содержит слот с именем `__weakref__`, этот слот становится заголовком списка слабых ссылок для экземпляров типа, а его смещение сохраняется в поле [`tp_weaklistoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_weaklistoffset) типа.431432Если объявление `__slots__` типа не содержит слота с именем `__weakref__`, тип наследует значение [`tp_weaklistoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_weaklistoffset) от своего базового типа.433434**getiterfunc `PyTypeObject.tp_iter`**435436Необязательный указатель на функцию, возвращающую итератор для объекта. Его наличие обычно указывает на то, что экземпляры этого типа являются итерируемыми (хотя последовательности могут быть итерируемыми и без этой функции).437438Эта функция имеет ту же сигнатуру, что и [`PyObject_GetIter()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GetIter).439440Это поле наследуется подтипами.441442**iternextfunc `PyTypeObject.tp_iternext`**443444Необязательный указатель на функцию, возвращающую следующий элемент итератора. Когда итератор исчерпан, она должна вернуть *NULL*; при этом исключение [`StopIteration`](https://python-all.ru/3.5/library/exceptions.html#StopIteration) может быть установлено, а может и не быть. При возникновении другой ошибки она также должна вернуть *NULL*. Наличие этого указателя означает, что экземпляры этого типа являются итераторами.445446Типы-итераторы также должны определять функцию [`tp_iter`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_iter), и эта функция должна возвращать сам экземпляр итератора (не новый экземпляр итератора).447448Эта функция имеет ту же сигнатуру, что и [`PyIter_Next()`](https://python-all.ru/3.5/c-api/iter.html#c.PyIter_Next).449450Это поле наследуется подтипами.451452**struct [PyMethodDef](https://python-all.ru/3.5/c-api/structures.html#c.PyMethodDef)\* `PyTypeObject.tp_methods`**453454Необязательный указатель на статический массив структур [`PyMethodDef`](https://python-all.ru/3.5/c-api/structures.html#c.PyMethodDef), завершающийся *NULL*, объявляющий обычные методы этого типа.455456Для каждой записи в массиве в словарь типа добавляется запись (см. [`tp_dict`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dict) ниже), содержащая дескриптор метода.457458Это поле не наследуется подтипами (методы наследуются через другой механизм).459460**struct [PyMemberDef](https://python-all.ru/3.5/c-api/structures.html#c.PyMemberDef)\* `PyTypeObject.tp_members`**461462Необязательный указатель на статический массив структур [`PyMemberDef`](https://python-all.ru/3.5/c-api/structures.html#c.PyMemberDef), завершающийся *NULL*, объявляющий обычные элементы данных (поля или слоты) экземпляров этого типа.463464Для каждой записи в массиве в словарь типа добавляется запись, содержащая дескриптор члена (см. [`tp_dict`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dict) ниже).465466Это поле не наследуется подтипами (члены наследуются через другой механизм).467468**struct PyGetSetDef\* `PyTypeObject.tp_getset`**469470Необязательный указатель на статический массив структур `PyGetSetDef`, завершающийся *NULL*, объявляющий вычисляемые атрибуты экземпляров этого типа.471472Для каждой записи в массиве в словарь типа добавляется запись, содержащая дескриптор getset (см. [`tp_dict`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dict) ниже).473474Это поле не наследуется подтипами (вычисляемые атрибуты наследуются через другой механизм).475476Документация для PyGetSetDef:477478```c479typedef PyObject *(*getter)(PyObject *, void *);480typedef int (*setter)(PyObject *, PyObject *, void *);481482typedef struct PyGetSetDef {483    char *name;    /* имя атрибута */484    getter get;    /* C-функция для получения атрибута */485    setter set;    /* C-функция для установки или удаления атрибута */486    char *doc;     /* необязательная строка документации */487    void *closure; /* необязательные дополнительные данные для геттера и сеттера */488} PyGetSetDef;489```490491**[PyTypeObject](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject)\* `PyTypeObject.tp_base`**492493Необязательный указатель на базовый тип, от которого наследуются свойства типа. На этом уровне поддерживается только одиночное наследование; множественное наследование требует динамического создания объекта типа вызовом метатипа.494495Это поле не наследуется подтипами (очевидно), но по умолчанию оно равно `&PyBaseObject_Type` (которое программистам Python известно как тип [`object`](https://python-all.ru/3.5/library/functions.html#object)).496497**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_dict`**498499Словарь типа сохраняется здесь с помощью [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready).500501Обычно это поле следует инициализировать значением *NULL* до вызова PyType\_Ready; его также можно инициализировать словарём, содержащим начальные атрибуты типа. После того как [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready) инициализирует тип, в этот словарь можно добавлять дополнительные атрибуты типа только в том случае, если они не соответствуют перегруженным операциям (например, [`__add__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__add__)).502503Это поле не наследуется подтипами (хотя определённые здесь атрибуты наследуются через другой механизм).504505> **Предупреждение**506>507> Небезопасно использовать [`PyDict_SetItem()`](https://python-all.ru/3.5/c-api/dict.html#c.PyDict_SetItem) на или иным образом изменять [`tp_dict`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dict) с помощью C-API словаря.508509**descrgetfunc `PyTypeObject.tp_descr_get`**510511Необязательный указатель на функцию «descriptor get».512513Сигнатура функции:514515```c516PyObject * tp_descr_get(PyObject *self, PyObject *obj, PyObject *type);517```518519Это поле наследуется подтипами.520521**descrsetfunc `PyTypeObject.tp_descr_set`**522523Необязательный указатель на функцию для установки и удаления значения дескриптора.524525Сигнатура функции:526527```c528int tp_descr_set(PyObject *self, PyObject *obj, PyObject *value);529```530531Аргумент *value* устанавливается в *NULL* для удаления значения. Это поле наследуется подтипами.532533**Py\_ssize\_t `PyTypeObject.tp_dictoffset`**534535Если экземпляры этого типа имеют словарь, содержащий переменные экземпляра, это поле не равно нулю и содержит смещение в структуре экземпляра для словаря переменных экземпляра; это смещение используется [`PyObject_GenericGetAttr()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GenericGetAttr).536537Не путайте это поле с [`tp_dict`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dict); это словарь для атрибутов самого объекта типа.538539Если значение этого поля больше нуля, оно задаёт смещение от начала структуры экземпляра. Если значение меньше нуля, оно задаёт смещение от *конца* структуры экземпляра. Использование отрицательного смещения обходится дороже, и его следует применять только в тех случаях, когда структура экземпляра содержит часть переменной длины. Это используется, например, для добавления словаря переменных экземпляра в подтипы [`str`](https://python-all.ru/3.5/library/stdtypes.html#str) или [`tuple`](https://python-all.ru/3.5/library/stdtypes.html#tuple). Обратите внимание, что поле [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize) должно учитывать словарь, добавленный в конец в этом случае, даже если словарь не входит в базовую компоновку объекта. В системе с размером указателя 4 байта [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset) должно быть установлено в `-4`, чтобы указать, что словарь находится в самом конце структуры.540541Реальное смещение словаря в экземпляре можно вычислить из отрицательного [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset) следующим образом:542543```c544dictoffset = tp_basicsize + abs(ob_size)*tp_itemsize + tp_dictoffset545if dictoffset is not aligned on sizeof(void*):546    round up to sizeof(void*)547```548549где [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize), [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) и [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset) берутся из объекта типа, а `ob_size` берётся из экземпляра. Абсолютное значение берётся, потому что целые числа используют знак `ob_size` для хранения знака числа. (Никогда не требуется выполнять это вычисление самостоятельно; оно делается за вас функцией `_PyObject_GetDictPtr()`.)550551Это поле наследуется подтипами, но см. правила ниже. Подтип может переопределить это смещение; это означает, что экземпляры подтипа хранят словарь по другому смещению, нежели базовый тип. Поскольку словарь всегда находится через [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset), это не должно вызывать проблем.552553Если тип, определённый с помощью оператора class, не содержит объявления [`__slots__`](https://python-all.ru/3.5/reference/datamodel.html#object.__slots__), и ни один из его базовых типов не имеет словаря переменных экземпляра, в компоновку экземпляра добавляется слот словаря, а [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset) устанавливается на смещение этого слота.554555Если тип, определённый с помощью оператора class, содержит объявление `__slots__`, тот тип наследует значение [`tp_dictoffset`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_dictoffset) от своего базового типа.556557(Добавление слота с именем [`__dict__`](https://python-all.ru/3.5/library/stdtypes.html#object.__dict__) в объявление `__slots__` не даёт ожидаемого эффекта, а только вызывает путаницу. Возможно, эту возможность стоит добавить как отдельную функцию, подобно `__weakref__`.)558559**initproc `PyTypeObject.tp_init`**560561Необязательный указатель на функцию инициализации экземпляра.562563Эта функция соответствует методу [`__init__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__init__) классов. Как и [`__init__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__init__), можно создать экземпляр без вызова [`__init__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__init__), и можно переинициализировать экземпляр, вызвав его метод [`__init__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__init__) ещё раз.564565Сигнатура функции:566567```c568int tp_init(PyObject *self, PyObject *args, PyObject *kwds)569```570571Аргумент self – это инициализируемый экземпляр; аргументы *args* и *kwds* представляют позиционные и именованные аргументы вызова [`__init__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__init__).572573Функция [`tp_init`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_init), если она не равна *NULL*, вызывается при обычном создании экземпляра через вызов его типа, после того как функция [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new) вернула экземпляр типа. Если функция [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new) возвращает экземпляр некоторого другого типа, не являющегося подтипом исходного типа, [`tp_init`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_init) не вызывается; если [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new) возвращает экземпляр подтипа исходного типа, вызывается функция [`tp_init`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_init) подтипа.574575Это поле наследуется подтипами.576577**allocfunc `PyTypeObject.tp_alloc`**578579Необязательный указатель на функцию выделения экземпляра.580581Сигнатура функции:582583```c584PyObject *tp_alloc(PyTypeObject *self, Py_ssize_t nitems)585```586587Назначение этой функции – разделить выделение памяти и её инициализацию. Она должна возвращать указатель на блок памяти достаточной длины для экземпляра, с подходящим выравниванием и обнулённый, но с `ob_refcnt`, установленным в `1`, и `ob_type`, установленным в аргумент типа. Если [`tp_itemsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_itemsize) типа не равно нулю, поле `ob_size` объекта должно быть инициализировано значением *nitems*, а длина выделенного блока памяти должна быть `tp_basicsize + nitems*tp_itemsize`, округлённой до кратного `sizeof(void*)`; в противном случае *nitems* не используется, и длина блока должна быть [`tp_basicsize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_basicsize).588589Эту функцию не следует использовать для какой-либо другой инициализации экземпляра, в том числе для выделения дополнительной памяти; это должно выполняться с помощью [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new).590591Это поле наследуется статическими подтипами, но не динамическими подтипами (подтипами, созданными выражением class); в последних это поле всегда устанавливается в [`PyType_GenericAlloc()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_GenericAlloc), чтобы принудительно использовать стандартную стратегию выделения в куче. Это также рекомендуемое значение для статически определённых типов.592593**newfunc `PyTypeObject.tp_new`**594595Необязательный указатель на функцию создания экземпляра.596597Если для данного типа эта функция равна *NULL*, то этот тип нельзя вызвать для создания новых экземпляров; предполагается, что существует другой способ создания экземпляров, например, фабричная функция.598599Сигнатура функции:600601```c602PyObject *tp_new(PyTypeObject *subtype, PyObject *args, PyObject *kwds)603```604605Аргумент subtype – это тип создаваемого объекта; аргументы *args* и *kwds* представляют позиционные и именованные аргументы вызова типа. Обратите внимание, что subtype не обязан совпадать с типом, для которого вызывается функция [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new); это может быть подтип этого типа (но не произвольный тип).606607Функция [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new) должна вызывать `subtype->tp_alloc(subtype, nitems)` для выделения памяти под объект, а затем выполнять лишь минимально необходимую инициализацию. Инициализацию, которую можно безопасно пропустить или повторить, следует помещать в обработчик [`tp_init`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_init). Хорошее эмпирическое правило: для неизменяемых типов вся инициализация должна выполняться в [`tp_new`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_new), а для изменяемых типов большую часть инициализации лучше отложить до [`tp_init`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_init).608609Это поле наследуется подтипами, за исключением статических типов, у которых [`tp_base`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_base) равно *NULL* или `&PyBaseObject_Type`.610611**destructor `PyTypeObject.tp_free`**612613Необязательный указатель на функцию освобождения экземпляра. Её сигнатура: `freefunc`:614615```c616void tp_free(void *)617```618619Инициализатор, совместимый с этой сигнатурой: `PyObject_Free()`.620621Это поле наследуется статическими подтипами, но не динамическими подтипами (подтипами, созданными выражением class); в последних это поле устанавливается в освободитель, подходящий для [`PyType_GenericAlloc()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_GenericAlloc) и значения бита флага [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC).622623**[inquiry](https://python-all.ru/3.5/c-api/gcsupport.html#c.inquiry) `PyTypeObject.tp_is_gc`**624625Необязательный указатель на функцию, вызываемую сборщиком мусора.626627Сборщику мусора необходимо знать, подлежит ли данный объект сборке или нет. Обычно достаточно посмотреть на поле [`tp_flags`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_flags) типа объекта и проверить бит флага [`Py_TPFLAGS_HAVE_GC`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_GC). Но некоторые типы имеют смесь статически и динамически выделенных экземпляров, причём статически выделенные экземпляры не подлежат сборке. Таким типам следует определить эту функцию; она должна возвращать `1` для собираемого экземпляра и `0` для несобираемого. Сигнатура:628629```c630int tp_is_gc(PyObject *self)631```632633(Единственный пример этого – сами типы. Метатип, [`PyType_Type`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Type), определяет эту функцию, чтобы различать статически и динамически выделенные типы.)634635Это поле наследуется подтипами.636637**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_bases`**638639Кортеж базовых типов.640641Это устанавливается для типов, созданных с помощью оператора class. Для статически определённых типов оно должно быть равно *NULL*.642643Это поле не наследуется.644645**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_mro`**646647Кортеж, содержащий расширенный набор базовых типов, начиная с самого типа и заканчивая [`object`](https://python-all.ru/3.5/library/functions.html#object), в порядке разрешения методов (MRO).648649Это поле не наследуется; оно вычисляется заново с помощью [`PyType_Ready()`](https://python-all.ru/3.5/c-api/type.html#c.PyType_Ready).650651**destructor `PyTypeObject.tp_finalize`**652653Необязательный указатель на функцию финализации экземпляра. Её сигнатура: `destructor`:654655```c656void tp_finalize(PyObject *)657```658659Если [`tp_finalize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_finalize) установлен, интерпретатор вызывает его один раз при финализации экземпляра. Он вызывается либо сборщиком мусора (если экземпляр является частью изолированного цикла ссылок), либо непосредственно перед освобождением объекта. В любом случае гарантируется, что он будет вызван до попытки разорвать циклы ссылок, что обеспечивает нахождение объекта в корректном состоянии.660661[`tp_finalize`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_finalize) не должен изменять текущий статус исключения; поэтому рекомендуемый способ написания нетривиального финализатора:662663```c664static void665local_finalize(PyObject *self)666{667    PyObject *error_type, *error_value, *error_traceback;668669    /* Сохранить текущее исключение, если оно есть. */670    PyErr_Fetch(&error_type, &error_value, &error_traceback);671672    /* ... */673674    /* Восстановить сохранённое исключение. */675    PyErr_Restore(error_type, error_value, error_traceback);676}677```678679Чтобы это поле учитывалось (даже при наследовании), необходимо также установить бит флагов [`Py_TPFLAGS_HAVE_FINALIZE`](https://python-all.ru/3.5/c-api/typeobj.html#Py_TPFLAGS_HAVE_FINALIZE).680681Это поле наследуется подтипами.682683Новое в версии 3.4.684685> **См. также**686>687> «Безопасная финализация объектов» ([**PEP 442**](https://python-all.ru/3.5/c-api/typeobj.html))688689**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_cache`**690691Не используется. Не наследуется. Только для внутреннего использования.692693**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_subclasses`**694695Список слабых ссылок на подклассы. Не наследуется. Только для внутреннего использования.696697**[PyObject](https://python-all.ru/3.5/c-api/structures.html#c.PyObject)\* `PyTypeObject.tp_weaklist`**698699Голова списка слабых ссылок для слабых ссылок на этот объект типа. Не наследуется. Только для внутреннего использования.700701Остальные поля определены только в том случае, если определён макрос проверки функциональности `COUNT_ALLOCS`, и предназначены исключительно для внутреннего использования. Они описаны здесь для полноты. Ни одно из этих полей не наследуется подтипами.702703**Py\_ssize\_t `PyTypeObject.tp_allocs`**704705Количество выделений памяти.706707**Py\_ssize\_t `PyTypeObject.tp_frees`**708709Количество освобождений.710711**Py\_ssize\_t `PyTypeObject.tp_maxalloc`**712713Максимальное количество одновременно выделенных объектов.714715**[PyTypeObject](https://python-all.ru/3.5/c-api/type.html#c.PyTypeObject)\* `PyTypeObject.tp_next`**716717Указатель на следующий объект типа с ненулевым полем [`tp_allocs`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyTypeObject.tp_allocs).718719Также следует отметить, что в Python со сборкой мусора tp\_dealloc может вызываться из любого потока Python, а не только из того, который создал объект (если объект становится частью цикла подсчёта ссылок, этот цикл может быть собран сборщиком мусора в любом потоке). Это не проблема для вызовов Python API, поскольку поток, в котором вызывается tp\_dealloc, будет владеть глобальной блокировкой интерпретатора (GIL). Однако, если уничтожаемый объект, в свою очередь, уничтожает объекты из какой-либо другой библиотеки C или C++, следует соблюдать осторожность, чтобы убедиться, что уничтожение этих объектов в потоке, вызвавшем tp\_dealloc, не нарушит никаких предположений библиотеки.720721# Структуры числовых объектов722723**`PyNumberMethods`**724725Эта структура содержит указатели на функции, которые объект использует для реализации числового протокола. Каждая функция используется одноимённой функцией, описанной в разделе [Числовой протокол](https://python-all.ru/3.5/c-api/number.html#number).726727Вот определение структуры:728729```c730typedef struct {731     binaryfunc nb_add;732     binaryfunc nb_subtract;733     binaryfunc nb_multiply;734     binaryfunc nb_remainder;735     binaryfunc nb_divmod;736     ternaryfunc nb_power;737     unaryfunc nb_negative;738     unaryfunc nb_positive;739     unaryfunc nb_absolute;740     inquiry nb_bool;741     unaryfunc nb_invert;742     binaryfunc nb_lshift;743     binaryfunc nb_rshift;744     binaryfunc nb_and;745     binaryfunc nb_xor;746     binaryfunc nb_or;747     unaryfunc nb_int;748     void *nb_reserved;749     unaryfunc nb_float;750751     binaryfunc nb_inplace_add;752     binaryfunc nb_inplace_subtract;753     binaryfunc nb_inplace_multiply;754     binaryfunc nb_inplace_remainder;755     ternaryfunc nb_inplace_power;756     binaryfunc nb_inplace_lshift;757     binaryfunc nb_inplace_rshift;758     binaryfunc nb_inplace_and;759     binaryfunc nb_inplace_xor;760     binaryfunc nb_inplace_or;761762     binaryfunc nb_floor_divide;763     binaryfunc nb_true_divide;764     binaryfunc nb_inplace_floor_divide;765     binaryfunc nb_inplace_true_divide;766767     unaryfunc nb_index;768769     binaryfunc nb_matrix_multiply;770     binaryfunc nb_inplace_matrix_multiply;771} PyNumberMethods;772```773774> **Примечание**775>776> Бинарные и тернарные функции должны проверять тип всех своих операндов и выполнять необходимые преобразования (хотя бы один из операндов должен быть экземпляром определяемого типа). Если операция не определена для данных операндов, бинарные и тернарные функции должны вернуть `Py_NotImplemented`; если произошла другая ошибка, они должны вернуть `NULL` и установить исключение.777778> **Примечание**779>780> Поле `nb_reserved` всегда должно быть `NULL`. Ранее оно называлось `nb_long` и было переименовано в Python 3.0.1.781782# Структуры объектов отображения783784**`PyMappingMethods`**785786Эта структура хранит указатели на функции, которые объект использует для реализации протокола отображения. Она содержит три члена:787788**lenfunc `PyMappingMethods.mp_length`**789790Эта функция используется [`PyMapping_Length()`](https://python-all.ru/3.5/c-api/mapping.html#c.PyMapping_Length) и [`PyObject_Size()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Size) и имеет ту же сигнатуру. Этот слот может быть установлен в *NULL*, если у объекта нет определённой длины.791792**binaryfunc `PyMappingMethods.mp_subscript`**793794Эта функция используется [`PyObject_GetItem()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_GetItem) и имеет ту же сигнатуру. Этот слот должен быть определён для [`PyMapping_Check()`](https://python-all.ru/3.5/c-api/mapping.html#c.PyMapping_Check) чтобы она возвращала `1`; в противном случае он может быть *NULL*.795796**objobjargproc `PyMappingMethods.mp_ass_subscript`**797798Эта функция используется [`PyObject_SetItem()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_SetItem) и [`PyObject_DelItem()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_DelItem). Она имеет ту же сигнатуру, что и [`PyObject_SetItem()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_SetItem), но *v* также может быть установлено в *NULL* для удаления элемента. Если этот слот равен *NULL*, объект не поддерживает присваивание и удаление элементов.799800# Структуры объектов последовательностей801802**`PySequenceMethods`**803804Эта структура содержит указатели на функции, которые объект использует для реализации протокола последовательности.805806**lenfunc `PySequenceMethods.sq_length`**807808Эта функция используется [`PySequence_Size()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Size) и [`PyObject_Size()`](https://python-all.ru/3.5/c-api/object.html#c.PyObject_Size), и имеет ту же сигнатуру.809810**binaryfunc `PySequenceMethods.sq_concat`**811812Эта функция используется [`PySequence_Concat()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Concat) и имеет ту же сигнатуру. Она также используется оператором `+` после попытки численного сложения через слот `nb_add`.813814**ssizeargfunc `PySequenceMethods.sq_repeat`**815816Эта функция используется [`PySequence_Repeat()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Repeat) и имеет ту же сигнатуру. Она также используется оператором `*` после попытки числового умножения через `nb_multiply` слот.817818**ssizeargfunc `PySequenceMethods.sq_item`**819820Эта функция используется [`PySequence_GetItem()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_GetItem) и имеет ту же сигнатуру. Этот слот должен быть заполнен, чтобы функция [`PySequence_Check()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Check) возвращала `1`; в противном случае он может быть *NULL*.821822Отрицательные индексы обрабатываются следующим образом: если слот `sq_length` заполнен, он вызывается, и длина последовательности используется для вычисления положительного индекса, который передаётся в `sq_item`. Если `sq_length` равно *NULL*, индекс передаётся функции как есть.823824**ssizeobjargproc `PySequenceMethods.sq_ass_item`**825826Эта функция используется [`PySequence_SetItem()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_SetItem) и имеет ту же сигнатуру. Этот слот может оставаться *NULL*, если объект не поддерживает присваивание и удаление элементов.827828**objobjproc `PySequenceMethods.sq_contains`**829830Эта функция может использоваться [`PySequence_Contains()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Contains) и имеет ту же сигнатуру. Этот слот может оставаться *NULL*; в этом случае [`PySequence_Contains()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_Contains) просто проходит по последовательности, пока не найдёт совпадение.831832**binaryfunc `PySequenceMethods.sq_inplace_concat`**833834Эта функция используется [`PySequence_InPlaceConcat()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_InPlaceConcat) и имеет ту же сигнатуру. Она должна изменить свой первый операнд и вернуть его.835836**ssizeargfunc `PySequenceMethods.sq_inplace_repeat`**837838Эта функция используется [`PySequence_InPlaceRepeat()`](https://python-all.ru/3.5/c-api/sequence.html#c.PySequence_InPlaceRepeat) и имеет ту же сигнатуру. Она должна изменить свой первый операнд и вернуть его.839840# Структуры объектов буфера841842**`PyBufferProcs`**843844Эта структура содержит указатели на функции, необходимые для [протокола буфера](https://python-all.ru/3.5/c-api/buffer.html#bufferobjects). Протокол определяет, как объект-экспортёр может предоставлять свои внутренние данные объектам-потребителям.845846**getbufferproc `PyBufferProcs.bf_getbuffer`**847848Сигнатура этой функции:849850```c851int (PyObject *exporter, Py_buffer *view, int flags);852```853854Обрабатывает запрос к *экспортёру* на заполнение *представления* в соответствии с *флагами*. За исключением пункта (3), реализация этой функции ОБЯЗАНА выполнить следующие шаги:8558561. Проверить, можно ли выполнить запрос. Если нет, возбудить `PyExc_BufferError`, установить `view->obj` в *NULL* и вернуть `-1`.8572. Заполнить запрошенные поля.8583. Увеличить внутренний счётчик числа экспортов.8594. Установить `view->obj` в *экспортёр* и увеличить `view->obj`.8605. Вернуть `0`.861862Если *экспортёр* является частью цепочки или дерева поставщиков буферов, можно использовать две основные схемы:863864- Повторный экспорт: каждый элемент дерева выступает в роли экспортирующего объекта и устанавливает `view->obj` в новую ссылку на себя.865- Перенаправление: запрос буфера перенаправляется корневому объекту дерева. Здесь `view->obj` будет новой ссылкой на корневой объект.866867Отдельные поля *представления* описаны в разделе [Структура буфера](https://python-all.ru/3.5/c-api/buffer.html#buffer-structure), правила, как экспортёр должен реагировать на конкретные запросы – в разделе [Типы запросов буфера](https://python-all.ru/3.5/c-api/buffer.html#buffer-request-types).868869Вся память, на которую указывает структура [`Py_buffer`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer), принадлежит экспортёру и должна оставаться действительной, пока есть хотя бы один потребитель. [`format`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.format), [`shape`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.shape), [`strides`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.strides), [`suboffsets`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.suboffsets) и [`internal`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.internal) доступны потребителю только для чтения.870871[`PyBuffer_FillInfo()`](https://python-all.ru/3.5/c-api/buffer.html#c.PyBuffer_FillInfo) предоставляет простой способ предоставления простого байтового буфера, корректно обрабатывая все типы запросов.872873[`PyObject_GetBuffer()`](https://python-all.ru/3.5/c-api/buffer.html#c.PyObject_GetBuffer) – это интерфейс для потребителя, который оборачивает эту функцию.874875**releasebufferproc `PyBufferProcs.bf_releasebuffer`**876877Сигнатура этой функции:878879```c880void (PyObject *exporter, Py_buffer *view);881```882883Обрабатывает запрос на освобождение ресурсов буфера. Если ресурсы не нужно освобождать, [`PyBufferProcs.bf_releasebuffer`](https://python-all.ru/3.5/c-api/typeobj.html#c.PyBufferProcs.bf_releasebuffer) может быть *NULL*. В противном случае стандартная реализация этой функции будет выполнять следующие необязательные шаги:8848851. Уменьшить внутренний счётчик числа экспортов.8862. Если счётчик равен `0`, освободить всю память, связанную с *представлением*.887888Экспортёр ОБЯЗАН использовать поле [`internal`](https://python-all.ru/3.5/c-api/buffer.html#c.Py_buffer.internal) для отслеживания ресурсов, специфичных для буфера. Гарантируется, что это поле остаётся постоянным, в то время как потребитель МОЖЕТ передавать копию исходного буфера в качестве аргумента *view*.889890Эта функция НЕ ДОЛЖНА уменьшать `view->obj`, так как это делается автоматически в [`PyBuffer_Release()`](https://python-all.ru/3.5/c-api/buffer.html#c.PyBuffer_Release) (такая схема полезна для разрыва циклических ссылок).891892[`PyBuffer_Release()`](https://python-all.ru/3.5/c-api/buffer.html#c.PyBuffer_Release) – это интерфейс для потребителя, который оборачивает эту функцию.893894# Асинхронные структуры объектов895896Новое в версии 3.5.897898**`PyAsyncMethods`**899900Эта структура содержит указатели на функции, необходимые для реализации объектов [ожидаемый объект](https://python-all.ru/3.5/glossary.html#term-awaitable) и [асинхронный итератор](https://python-all.ru/3.5/glossary.html#term-asynchronous-iterator).901902Вот определение структуры:903904```c905typedef struct {906    unaryfunc am_await;907    unaryfunc am_aiter;908    unaryfunc am_anext;909} PyAsyncMethods;910```911912**unaryfunc `PyAsyncMethods.am_await`**913914Сигнатура этой функции:915916```c917PyObject *am_await(PyObject *self)918```919920Возвращаемый объект должен быть итератором, то есть [`PyIter_Check()`](https://python-all.ru/3.5/c-api/iter.html#c.PyIter_Check) должен возвращать `1` для него.921922Этот слот может быть установлен в *NULL*, если объект не является [ожидаемым](https://python-all.ru/3.5/glossary.html#term-awaitable).923924**unaryfunc `PyAsyncMethods.am_aiter`**925926Сигнатура этой функции:927928```c929PyObject *am_aiter(PyObject *self)930```931932Должен возвращать [ожидаемый](https://python-all.ru/3.5/glossary.html#term-awaitable) объект. Подробнее см. [`__anext__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__anext__).933934Этот слот может быть установлен в *NULL*, если объект не реализует протокол асинхронной итерации.935936**unaryfunc `PyAsyncMethods.am_anext`**937938Сигнатура этой функции:939940```c941PyObject *am_anext(PyObject *self)942```943944Должен возвращать [ожидаемый](https://python-all.ru/3.5/glossary.html#term-awaitable) объект. Подробнее см. [`__anext__()`](https://python-all.ru/3.5/reference/datamodel.html#object.__anext__). Этот слот может быть установлен в *NULL*.945