# `types` — Dynamic type creation and names for built-in types

Вихідний код: Lib/types.py

Цей модуль визначає службові функції, які допомагають у динамічному створенні нових типів.

Він також визначає імена для деяких типів об’єктів, які використовуються стандартним інтерпретатором Python, але не представлені у вигляді вбудованих елементів, таких як `int` або `str`.

Нарешті, він надає деякі додаткові пов’язані з типами службові класи та функції, які недостатньо фундаментальні, щоб бути вбудованими.

## Динамічне створення типів

`types.``new_class`(name, bases=(), kwds=None, exec_body=None)

  Динамічно створює об’єкт класу за допомогою відповідного метакласу.

  Перші три аргументи є компонентами, які складають заголовок визначення класу: ім’я класу, базові класи (по порядку), ключові аргументи (такі як `метаклас`).

  Аргумент exec_body є зворотним викликом, який використовується для заповнення щойно створеного простору імен класу. Він повинен приймати простір імен класу як єдиний аргумент і оновлювати простір імен безпосередньо вмістом класу. Якщо зворотний виклик не надано, це матиме той самий ефект, що й передача `lambda ns: None`.

  Нове в версії 3.3.

`types.``prepare_class`(name, bases=(), kwds=None)

  Обчислює відповідний метаклас і створює простір імен класу.

  Аргументи — це компоненти, які складають заголовок визначення класу: ім’я класу, базові класи (по порядку) і ключові аргументи (такі як `метаклас`).

  Повернене значення є кортежем із трьох: `metaclass, namespace, kwds`

  metaclass — відповідний метаклас, namespace — це підготовлений простір імен класу, а kwds — це оновлена копія переданого аргументу kwds із видаленням будь-якого запису `'metaclass'`. Якщо аргумент kwds не передано, це буде порожній dict.

  Нове в версії 3.3.

  Змінено в версії 3.6: Значення за замовчуванням для елемента `простір імен` повернутого кортежу змінено. Тепер відображення збереження порядку вставки використовується, коли метаклас не має методу `__prepare__`.

Дивись також

Метакласи

  Повні відомості про процес створення класу, який підтримує ці функції

PEP 3115 - Метакласи в Python 3000

  Представлено хук простору імен `__prepare__`

`types.``resolve_bases`(bases)

  Динамічно вирішувати записи MRO, як зазначено PEP 560.

  This function looks for items in bases that are not instances of `type`, and returns a tuple where each such object that has an `__mro_entries__` method is replaced with an unpacked result of calling this method. If a bases item is an instance of `type`, or it doesn’t have an `__mro_entries__` method, then it is included in the return tuple unchanged.

  Нове в версії 3.7.

Дивись також

PEP 560 - Основна підтримка модуля введення та загальних типів

## Типи стандартних інтерпретаторів

Цей модуль надає назви для багатьох типів, необхідних для реалізації інтерпретатора Python. Він навмисно уникає включення деяких типів, які виникають лише випадково під час обробки, таких як тип `listiterator`.

Зазвичай ці імена використовуються для перевірок `isinstance()` або `issubclass()`.

Якщо ви створюєте екземпляр будь-якого з цих типів, зауважте, що підписи можуть відрізнятися в різних версіях Python.

Стандартні імена визначені для таких типів:

`types.``NoneType`

  Тип `None`.

  Нове в версії 3.10.

`types.``FunctionType`
`types.``LambdaType`

  Тип визначених користувачем функцій і функцій, створених виразами `lambda`.

  Викликає подію аудиту `function.__new__` з аргументом `code`.

  Подія аудиту виникає лише для прямого створення екземплярів функціональних об’єктів і не виникає для звичайної компіляції.

`types.``GeneratorType`

  Тип об’єктів generator-iterator, створених функціями генератора.

`types.``CoroutineType`

  Тип об’єктів coroutine, створених функціями `async def`.

  Нове в версії 3.5.

`types.``AsyncGeneratorType`

  Тип об’єктів asynchronous generator-iterator, створених функціями асинхронного генератора.

  Нове в версії 3.6.

class `types.``CodeType`(**kwargs)

  The type for code objects such as returned by `compile()`.

  Викликає подію аудиту `code.__new__` з аргументами `code`, `filename`, `name`, `argcount`, `posonlyargcount`,``kwonlyargcount``, `nlocals`, `stacksize`, `flags`.

  Зауважте, що перевірені аргументи можуть не відповідати іменам або позиціям, які вимагає ініціалізатор. Подія аудиту виникає лише для прямого створення екземпляра об’єктів коду та не виникає для звичайної компіляції.

  `replace`(**kwargs)

    Return a copy of the code object with new values for the specified fields.

    Нове в версії 3.8.

`types.``CellType`

  The type for cell objects: such objects are used as containers for a function’s free variables.

  Нове в версії 3.8.

`types.``MethodType`

  Тип методів екземплярів класу, визначеного користувачем.

`types.``BuiltinFunctionType`
`types.``BuiltinMethodType`

  Тип вбудованих функцій, таких як `len()` або `sys.exit()`, і методи вбудованих класів. (Тут термін «вбудований» означає «написаний на C».)

`types.``WrapperDescriptorType`

  Тип методів деяких вбудованих типів даних і базових класів, таких як `object.__init__()` або `object.__lt__()`.

  Нове в версії 3.7.

`types.``MethodWrapperType`

  Тип зв’язаних методів деяких вбудованих типів даних і базових класів. Наприклад, це тип `object().__str__`.

  Нове в версії 3.7.

`types.``NotImplementedType`

  Тип `NotImplemented`.

  Нове в версії 3.10.

`types.``MethodDescriptorType`

  Тип методів деяких вбудованих типів даних, таких як `str.join()`.

  Нове в версії 3.7.

`types.``ClassMethodDescriptorType`

  Тип незв’язаних методів класу деяких вбудованих типів даних, таких як `dict.__dict__['fromkeys']`.

  Нове в версії 3.7.

class `types.``ModuleType`(name, doc=None)

  Тип modules. Конструктор приймає назву модуля, який буде створено, і, за бажанням, його docstring.

  Примітка

  Use `importlib.util.module_from_spec()` to create a new module if you wish to set the various import-controlled attributes.

  `__doc__`

    The docstring of the module. Defaults to `None`.

  `__loader__`

    The loader which loaded the module. Defaults to `None`.

    This attribute is to match `importlib.machinery.ModuleSpec.loader` as stored in the `__spec__` object.

    Примітка

    A future version of Python may stop setting this attribute by default. To guard against this potential change, preferably read from the `__spec__` attribute instead or use `getattr(module, "__loader__", None)` if you explicitly need to use this attribute.

    Змінено в версії 3.4: Defaults to `None`. Previously the attribute was optional.

  `__name__`

    The name of the module. Expected to match `importlib.machinery.ModuleSpec.name`.

  `__package__`

    Which package a module belongs to. If the module is top-level (i.e. not a part of any specific package) then the attribute should be set to `''`, else it should be set to the name of the package (which can be `__name__` if the module is a package itself). Defaults to `None`.

    This attribute is to match `importlib.machinery.ModuleSpec.parent` as stored in the `__spec__` object.

    Примітка

    A future version of Python may stop setting this attribute by default. To guard against this potential change, preferably read from the `__spec__` attribute instead or use `getattr(module, "__package__", None)` if you explicitly need to use this attribute.

    Змінено в версії 3.4: Defaults to `None`. Previously the attribute was optional.

  `__spec__`

    A record of the module’s import-system-related state. Expected to be an instance of `importlib.machinery.ModuleSpec`.

    Нове в версії 3.4.

`types.``EllipsisType`

  Тип `Ellipsis`.

  Нове в версії 3.10.

class `types.``GenericAlias`(t_origin, t_args)

  Тип параметризованих генериків, наприклад `list[int]`.

  `t_origin` має бути непараметризованим загальним класом, таким як `list`, `tuple` або `dict`. `t_args` має бути `tuple` (можливо, довжиною 1) типів, які параметризують `t_origin`:

      >>> from types import GenericAlias

      >>> list[int] == GenericAlias(list, (int,))
      True
      >>> dict[str, int] == GenericAlias(dict, (str, int))
      True

  Нове в версії 3.9.

  Змінено в версії 3.9.2: Цей тип тепер може бути підкласом.

class `types.``UnionType`

  Тип виразів типу union.

  Нове в версії 3.10.

class `types.``TracebackType`(tb_next, tb_frame, tb_lasti, tb_lineno)

  The type of traceback objects such as found in `sys.exc_info()[2]`.

  Перегляньте мовну довідку, щоб отримати детальну інформацію про доступні атрибути та операції, а також вказівки щодо динамічного створення трасування.

`types.``FrameType`

  The type of frame objects such as found in `tb.tb_frame` if `tb` is a traceback object.

  See the language reference for details of the available attributes and operations.

`types.``GetSetDescriptorType`

  The type of objects defined in extension modules with `PyGetSetDef`, such as `FrameType.f_locals` or `array.array.typecode`. This type is used as descriptor for object attributes; it has the same purpose as the `property` type, but for classes defined in extension modules.

`types.``MemberDescriptorType`

  Тип об’єктів, визначених у модулях розширення за допомогою `PyMemberDef`, наприклад `datetime.timedelta.days`. Цей тип використовується як дескриптор для простих елементів даних C, які використовують стандартні функції перетворення; він має те саме призначення, що й тип `property`, але для класів, визначених у модулях розширення.

  Деталі реалізації CPython: В інших реалізаціях Python цей тип може бути ідентичним `GetSetDescriptorType`.

class `types.``MappingProxyType`(mapping)

  Проксі зіставлення лише для читання. Він забезпечує динамічний перегляд записів відображення, що означає, що коли відображення змінюється, подання відображає ці зміни.

  Нове в версії 3.3.

  Змінено в версії 3.9: Оновлено для підтримки нового оператора об’єднання (`|`) з PEP 584, який просто делегує базове відображення.

  `key in proxy`

    Повертає `True`, якщо базове зіставлення має ключ key, інакше `False`.

  `proxy[key]`

    Поверніть елемент основного відображення за допомогою ключа key. Викликає `KeyError`, якщо key не в базовому відображенні.

  `iter(proxy)`

    Повертає ітератор над ключами основного відображення. Це ярлик для `iter(proxy.keys())`.

  `len(proxy)`

    Повертає кількість елементів у базовому відображенні.

  `copy`()

    Повернути поверхневу копію основного відображення.

  `get`(key[, default])

    Повертає значення для key, якщо key є в базовому відображенні, інакше за замовчуванням. Якщо default не вказано, за замовчуванням буде `None`, тому цей метод ніколи не викликає `KeyError`.

  `items`()

    Повертає нове подання базових елементів зіставлення (пар «(ключ, значення)»).

  `keys`()

    Повернути нове подання ключів основного зіставлення.

  `values`()

    Повернути нове подання значень основного зіставлення.

  `reversed(proxy)`

    Повертає зворотний ітератор над ключами основного відображення.

    Нове в версії 3.9.

## Додаткові корисні класи та функції

class `types.``SimpleNamespace`

  Простий підклас `object`, який забезпечує доступ атрибутів до свого простору імен, а також значуще відображення.

  Unlike `object`, with `SimpleNamespace` you can add and remove attributes. If a `SimpleNamespace` object is initialized with keyword arguments, those are directly added to the underlying namespace.

  Тип приблизно еквівалентний такому коду:

      class SimpleNamespace:
          def __init__(self, /, **kwargs):
              self.__dict__.update(kwargs)

          def __repr__(self):
              items = (f"{k}={v!r}" for k, v in self.__dict__.items())
              return "{}({})".format(type(self).__name__, ", ".join(items))

          def __eq__(self, other):
              if isinstance(self, SimpleNamespace) and isinstance(other, SimpleNamespace):
                 return self.__dict__ == other.__dict__
              return NotImplemented

  `SimpleNamespace` може бути корисним як заміна `class NS: pass`. Однак для структурованого типу запису замість цього використовуйте `namedtuple()`.

  Нове в версії 3.3.

  Змінено в версії 3.9: Порядок атрибутів у відображенні змінено з алфавітного на вставлення (наприклад, `dict`).

`types.``DynamicClassAttribute`(fget=None, fset=None, fdel=None, doc=None)

  Направте доступ до атрибутів класу до __getattr__.

  Це дескриптор, який використовується для визначення атрибутів, які діють по-різному при доступі через примірник і через клас. Доступ до екземпляра залишається звичайним, але доступ до атрибута через клас буде направлено до методу __getattr__ класу; це робиться шляхом виклику AttributeError.

  Це дозволяє мати активні властивості в екземплярі та мати віртуальні атрибути в класі з таким же іменем (див. `enum.Enum` для прикладу).

  Нове в версії 3.4.

## Корисні функції співпрограми

`types.``coroutine`(gen_func)

  This function transforms a generator function into a coroutine function which returns a generator-based coroutine. The generator-based coroutine is still a generator iterator, but is also considered to be a coroutine object and is awaitable. However, it may not necessarily implement the `__await__()` method.

  Якщо gen_func є функцією генератора, її буде змінено на місці.

  Якщо gen_func не є функцією генератора, її буде загорнуто. Якщо він повертає екземпляр `collections.abc.Generator`, екземпляр буде загорнутий в очікуваний проксі-об’єкт. Усі інші типи об’єктів буде повернено як є.

  Нове в версії 3.5.