> **Источник:** https://python-all.ru/3.11/library/dis.html > > «Документация Python на русском» – неофициальный перевод официальной документации Python: версии от 2.6 до 3.16, полнотекстовый поиск, английский оригинал рядом с переводом. Эта Markdown-версия страницы предназначена для работы с LLM: вставьте её в ChatGPT, Claude или Cursor. --- # [`dis`](https://python-all.ru/3.11/library/dis.html#module-dis) – Дизассемблер байт-кода Python **Исходный код:** [Lib/dis.py](https://python-all.ru/src/3.11/Lib/dis.py) --- Модуль [`dis`](https://python-all.ru/3.11/library/dis.html#module-dis) поддерживает анализ [байт-кода](https://python-all.ru/3.11/glossary.html#term-bytecode) CPython путём eго дизассемблирования. Байт-код CPython, который этот модуль принимает на вход, определён в файле `Include/opcode.h` и используется компилятором и интерпретатором. **Особенность реализации CPython:** Байт-код является деталью реализации интерпретатора CPython. Нет никаких гарантий, что байт-код не будет добавлен, удалён или изменён в разных версиях Python. Не следует рассчитывать, что использование этого модуля будет работать в разных виртуальных машинах Python или в разных релизах Python. Изменено в версии 3.6: Для каждой инструкции используется 2 байта. Ранее количество байт зависело от инструкции. Изменено в версии 3.10: Аргументом инструкций перехода, обработки исключений и циклов теперь является смещение инструкции, а не смещение байта. Изменено в версии 3.11: Некоторые инструкции сопровождаются одной или несколькими записями встроенного кэша, которые имеют форму инструкций [`CACHE`](https://python-all.ru/3.11/library/dis.html#opcode-CACHE). Эти инструкции по умолчанию скрыты, но их можно показать, передав `show_caches=True` любой [`dis`](https://python-all.ru/3.11/library/dis.html#module-dis) утилите. Кроме того, интерпретатор теперь адаптирует байт-код для специализации под разные условия выполнения. Адаптивный байт-код можно показать, передав `adaptive=True`. Пример: Дана функция `myfunc()`: ```python def myfunc(alist): return len(alist) ``` следующую команду можно использовать для отображения дизассемблирования `myfunc()`: ```pycon >>> dis.dis(myfunc) 2 0 RESUME 0 3 2 LOAD_GLOBAL 1 (NULL + len) 14 LOAD_FAST 0 (alist) 16 PRECALL 1 20 CALL 1 30 RETURN_VALUE ``` («2» – это номер строки). ## Интерфейс командной строки Модуль [`dis`](https://python-all.ru/3.11/library/dis.html#module-dis) можно вызвать как сценарий из командной строки: ```sh python -m dis [-h] [-C] [infile] ``` Принимаются следующие опции: #### `-h, --help` Показать справку и выйти. #### `-C, --show-caches` Показать встроенные кэши. Если указан `infile`, его дизассемблированный код выводится в stdout. В противном случае дизассемблирование выполняется для скомпилированного исходного кода, полученного из stdin. ## Анализ байт-кода Новое в версии 3.4. API анализа байт-кода позволяет оборачивать фрагменты кода Python в объект [`Bytecode`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode), который предоставляет удобный доступ к деталям скомпилированного кода. #### `class dis.Bytecode(x, *, first_line=None, current_offset=None, show_caches=False, adaptive=False)` Анализирует байткод, соответствующий функции, генератору, асинхронному генератору, корутине, методу, строке исходного кода или объекту кода (как возвращается [`compile()`](https://python-all.ru/3.11/library/functions.html#compile)). Это удобная обёртка над многими функциями, перечисленными ниже, особенно [`get_instructions()`](https://python-all.ru/3.11/library/dis.html#dis.get_instructions), поскольку итерация по экземпляру [`Bytecode`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode) возвращает операции байткода в виде экземпляров [`Instruction`](https://python-all.ru/3.11/library/dis.html#dis.Instruction). Если *first\_line* не равен `None`, он указывает номер строки, который должен быть указан для первой строки исходного кода в дизассемблированном коде. В противном случае информация о строке исходного кода (если есть) берётся непосредственно из дизассемблированного объекта кода. Если *current\_offset* не равно `None`, оно указывает смещение инструкции в дизассемблированном коде. Установка этого значения означает, что [`dis()`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode.dis) будет отображать маркер «текущая инструкция» напротив указанной операции. Если *show\_caches* равно `True`, [`dis()`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode.dis) будет отображать записи inline-кэша, используемые интерпретатором для специализации байткода. Если *adaptive* равно `True`, [`dis()`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode.dis) будет отображать специализированный байткод, который может отличаться от исходного. #### `classmethod from_traceback(tb, *, show_caches=False)` Создаёт экземпляр [`Bytecode`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode) из заданного traceback, устанавливая *current\_offset* на инструкцию, ответственную за исключение. #### `codeobj` Скомпилированный объект кода. #### `first_line` Первая строка исходного кода объекта кода (если доступна) #### `dis()` Возвращает форматированное представление операций байткода (то же, что выводится [`dis.dis()`](https://python-all.ru/3.11/library/dis.html#dis.dis), но возвращается в виде многострочной строки). #### `info()` Возвращает форматированную многострочную строку с подробной информацией об объекте кода, как [`code_info()`](https://python-all.ru/3.11/library/dis.html#dis.code_info). Изменено в версии 3.7: Теперь может обрабатывать объекты корутин и асинхронных генераторов. Изменено в версии 3.11: Добавлены параметры *show\_caches* и *adaptive*. Пример: ```pycon >>> bytecode = dis.Bytecode(myfunc) >>> for instr in bytecode: ... print(instr.opname) ... RESUME LOAD_GLOBAL LOAD_FAST PRECALL CALL RETURN_VALUE ``` ## Функции анализа Модуль [`dis`](https://python-all.ru/3.11/library/dis.html#module-dis) также определяет следующие функции анализа, которые преобразуют входные данные непосредственно в желаемый вывод. Они могут быть полезны, если выполняется только одна операция, и промежуточный объект анализа не нужен: #### `dis.code_info(x)` Возвращает форматированную многострочную строку с подробной информацией об объекте кода для указанной функции, генератора, асинхронного генератора, корутины, метода, строки исходного кода или объекта кода. Обратите внимание, что точное содержимое строк с информацией о коде сильно зависит от реализации и может произвольно меняться в разных реализациях Python или версиях Python. Новое в версии 3.2. Изменено в версии 3.7: Теперь может обрабатывать объекты корутин и асинхронных генераторов. #### `dis.show_code(x, *, file=None)` Выводит подробную информацию об объекте кода для указанной функции, метода, строки исходного кода или объекта кода в *file* (или `sys.stdout`, если *file* не указан). Это удобная краткая форма для `print(code_info(x), file=file)`, предназначенная для интерактивного исследования в приглашении интерпретатора. Новое в версии 3.2. Изменено в версии 3.4: Добавлен параметр *file*. #### `dis.dis(x=None, *, file=None, depth=None, show_caches=False, adaptive=False)` Дизассемблирует объект *x*. *x* может быть модулем, классом, методом, функцией, генератором, асинхронным генератором, корутиной, объектом кода, строкой исходного кода или последовательностью байт сырого байт-кода. Для модуля дизассемблируются все функции. Для класса – все методы (включая методы класса и статические методы). Для объекта кода или последовательности сырого байт-кода выводится по одной строке на каждую инструкцию байт-кода. Также рекурсивно дизассемблируются вложенные объекты кода (код включений, генераторных выражений и вложенных функций, а также код, используемый для построения вложенных классов). Строки сначала компилируются в объекты кода с помощью встроенной функции [`compile()`](https://python-all.ru/3.11/library/functions.html#compile), а затем дизассемблируются. Если объект не указан, эта функция дизассемблирует последнюю трассировку. Результат дисассемблирования выводится в виде текста в указанный аргумент *file*, если он передан, иначе – в `sys.stdout`. Максимальная глубина рекурсии ограничивается параметром *depth*, если только он не равен `None`. `depth=0` означает отсутствие рекурсии. Если *show\_caches* равен `True`, функция будет показывать записи инлайн-кэша, которые интерпретатор использует для специализации байткода. Если *adaptive* равен `True`, функция будет показывать специализированный байткод, который может отличаться от исходного. Изменено в версии 3.4: Добавлен параметр *file*. Изменено в версии 3.7: Реализовано рекурсивное дисассемблирование и добавлен параметр *depth*. Изменено в версии 3.7: Теперь может обрабатывать объекты корутин и асинхронных генераторов. Изменено в версии 3.11: Добавлены параметры *show\_caches* и *adaptive*. #### `dis.distb(tb=None, *, file=None, show_caches=False, adaptive=False)` Дисассемблирует функцию, находящуюся на вершине стека traceback; если traceback не передан, используется последний. Указывается инструкция, вызвавшая исключение. Результат дисассемблирования выводится в виде текста в указанный аргумент *file*, если он передан, иначе – в `sys.stdout`. Изменено в версии 3.4: Добавлен параметр *file*. Изменено в версии 3.11: Добавлены параметры *show\_caches* и *adaptive*. #### `dis.disassemble(code, lasti=-1, *, file=None, show_caches=False, adaptive=False)` #### `dis.disco(code, lasti=-1, *, file=None, show_caches=False, adaptive=False)` Дисассемблирует объект кода, указывая последнюю инструкцию, если передан *lasti*. Результат разбит на следующие столбцы: 1. номер строки для первой инструкции каждой строки 2. текущая инструкция, помечена как `-->`, 3. инструкция с меткой, помечена `>>`, 4. адрес инструкции, 5. название кода операции, 6. параметры операции и 7. интерпретация параметров в скобках. Интерпретация параметров распознаёт имена локальных и глобальных переменных, константные значения, цели переходов и операторы сравнения. Результат дисассемблирования выводится в виде текста в указанный аргумент *file*, если он передан, иначе – в `sys.stdout`. Изменено в версии 3.4: Добавлен параметр *file*. Изменено в версии 3.11: Добавлены параметры *show\_caches* и *adaptive*. #### `dis.get_instructions(x, *, first_line=None, show_caches=False, adaptive=False)` Возвращает итератор по инструкциям в переданной функции, методе, строке исходного кода или объекте кода. Итератор генерирует последовательность именованных кортежей [`Instruction`](https://python-all.ru/3.11/library/dis.html#dis.Instruction), содержащих сведения о каждой операции в переданном коде. Если *first\_line* не равен `None`, он указывает номер строки, который должен быть указан для первой строки исходного кода в дизассемблированном коде. В противном случае информация о строке исходного кода (если есть) берётся непосредственно из дизассемблированного объекта кода. Параметры *show\_caches* и *adaptive* работают так же, как и в [`dis()`](https://python-all.ru/3.11/library/dis.html#module-dis). Новое в версии 3.4. Изменено в версии 3.11: Добавлены параметры *show\_caches* и *adaptive*. #### `dis.findlinestarts(code)` Эта функция-генератор использует метод [`co_lines()`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_lines) [объекта кода](https://python-all.ru/3.11/reference/datamodel.html#code-objects) *code* для поиска смещений, которые являются началами строк в исходном коде. Они генерируются в виде пар `(offset, lineno)`. Изменено в версии 3.6: Номера строк могут уменьшаться. Раньше они всегда увеличивались. Изменено в версии 3.10: Метод [**PEP 626**](https://python-all.ru/3.11/library/dis.html) [`co_lines()`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_lines) используется вместо атрибутов [`co_firstlineno`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_firstlineno) и [`co_lnotab`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_lnotab) [объекта кода](https://python-all.ru/3.11/reference/datamodel.html#code-objects). #### `dis.findlabels(code)` Обнаруживает все смещения в сырой скомпилированной строке байткода *code*, которые являются целями переходов, и возвращает список этих смещений. #### `dis.stack_effect(opcode, oparg=None, *, jump=None)` Вычисляет эффект стека для *opcode* с аргументом *oparg*. Если код имеет цель перехода и *jump* равен `True`, [`stack_effect()`](https://python-all.ru/3.11/library/dis.html#dis.stack_effect) возвращает эффект стека при переходе. Если *jump* равен `False`, возвращается эффект стека при отсутствии перехода. А если *jump* равен `None` (по умолчанию), возвращается максимальный эффект стека для обоих случаев. Новое в версии 3.4. Изменено в версии 3.8: Добавлен параметр *jump*. ## Инструкции байткода Python Функция [`get_instructions()`](https://python-all.ru/3.11/library/dis.html#dis.get_instructions) и класс [`Bytecode`](https://python-all.ru/3.11/library/dis.html#dis.Bytecode) предоставляют сведения об инструкциях байткода в виде экземпляров [`Instruction`](https://python-all.ru/3.11/library/dis.html#dis.Instruction): #### `class dis.Instruction` Подробности об операции байткода #### `opcode` Числовой код операции, соответствующий значениям опкодов, перечисленным ниже, и значениям байткода в [коллекциях Opcode](https://python-all.ru/3.11/library/dis.html#opcode-collections). #### `opname` Человекочитаемое имя операции #### `arg` числовой аргумент операции (если есть), иначе `None` #### `argval` разрешённое значение аргумента (если есть), иначе `None` #### `argrepr` человекочитаемое описание аргумента операции (если есть), иначе пустая строка. #### `offset` начальный индекс операции в последовательности байт-кода #### `starts_line` Строка, с которой начинается данный опкод (если есть), иначе `None`. #### `is_jump_target` `True`, если другой код переходит сюда, иначе `False` #### `positions` объект [`dis.Positions`](https://python-all.ru/3.11/library/dis.html#dis.Positions), содержащий начальные и конечные позиции, которые охватываются этой инструкцией. Новое в версии 3.4. Изменено в версии 3.11: Добавлено поле `positions`. #### `class dis.Positions` Если информация недоступна, некоторые поля могут быть `None`. #### `lineno` #### `end_lineno` #### `col_offset` #### `end_col_offset` Новое в версии 3.11. В настоящее время компилятор Python генерирует следующие инструкции байткода. **Общие инструкции** #### `NOP` Код, который ничего не делает. Используется оптимизатором байткода как заполнитель, а также для генерации событий трассировки строк. #### `POP_TOP` Удаляет элемент с вершины стека (TOS). #### `COPY(i)` Помещает элемент с индексом *i* на вершину стека. Элемент не удаляется из своего исходного положения. Новое в версии 3.11. #### `SWAP(i)` Меняет местами TOS и элемент на позиции *i*. Новое в версии 3.11. #### `CACHE` Вместо того чтобы быть реальной инструкцией, этот опкод используется для разметки дополнительного пространства, чтобы интерпретатор мог кэшировать полезные данные непосредственно в байткоде. Он автоматически скрывается всеми утилитами `dis`, но может быть просмотрен с помощью `show_caches=True`. Логически это пространство является частью предыдущей инструкции. Многие опкоды ожидают, что за ними следует точное количество кэшей, и будут указывать интерпретатору пропускать их во время выполнения. Заполненные кэши могут выглядеть как произвольные инструкции, поэтому следует проявлять большую осторожность при чтении или изменении сырого адаптивного байткода, содержащего ускоренные данные. Новое в версии 3.11. **Унарные операции** Унарные операции берут элемент с вершины стека, применяют операцию и помещают результат обратно на стек. #### `UNARY_POSITIVE` Реализует `TOS = +TOS`. #### `UNARY_NEGATIVE` Реализует `TOS = -TOS`. #### `UNARY_NOT` Реализует `TOS = not TOS`. #### `UNARY_INVERT` Реализует `TOS = ~TOS`. #### `GET_ITER` Реализует `TOS = iter(TOS)`. #### `GET_YIELD_FROM_ITER` Если `TOS` является объектом [генераторный итератор](https://python-all.ru/3.11/glossary.html#term-generator-iterator) или [корутина](https://python-all.ru/3.11/glossary.html#term-coroutine), он остаётся без изменений. В противном случае реализует `TOS = iter(TOS)`. Новое в версии 3.5. **Бинарные операции и операции на месте** Бинарные операции удаляют из стека элемент с вершины (TOS) и второй сверху элемент стека (TOS1). Они выполняют операцию и помещают результат обратно в стек. Операции на месте аналогичны бинарным: они также удаляют TOS и TOS1 и помещают результат обратно в стек, но операция выполняется на месте, если TOS1 это поддерживает, и результирующий TOS может (но не обязан) быть исходным TOS1. #### `BINARY_OP(op)` Реализует бинарные операторы и операторы на месте (в зависимости от значения *op*). Новое в версии 3.11. #### `BINARY_SUBSCR` Реализует `TOS = TOS1[TOS]`. #### `STORE_SUBSCR` Реализует `TOS1[TOS] = TOS2`. #### `DELETE_SUBSCR` Реализует `del TOS1[TOS]`. **Коды операций корутин** #### `GET_AWAITABLE(where)` Реализует `TOS = get_awaitable(TOS)`, где `get_awaitable(o)` возвращает `o`, если `o` является объектом корутины или объектом генератора с флагом CO\_ITERABLE\_COROUTINE, или разрешает `o.__await__`. > Если операнд `where` не равен нулю, он указывает, где находится инструкция : > > - `1` После вызова `__aenter__` > - `2` После вызова `__aexit__` Новое в версии 3.5. Изменено в версии 3.11: Ранее эта инструкция не имела oparg. #### `GET_AITER` Реализует `TOS = TOS.__aiter__()`. Новое в версии 3.5. Изменено в версии 3.7: Возврат ожидаемых объектов из `__aiter__` больше не поддерживается. #### `GET_ANEXT` Помещает `get_awaitable(TOS.__anext__())` в стек. См. `GET_AWAITABLE` для подробностей о `get_awaitable`. Новое в версии 3.5. #### `END_ASYNC_FOR` Завершает цикл [`async for`](https://python-all.ru/3.11/reference/compound_stmts.html#async-for). Обрабатывает исключение, возникшее при ожидании следующего элемента. В стеке находятся асинхронный итерируемый объект в TOS1 и возникшее исключение в TOS. Оба извлекаются. Если исключение не является [`StopAsyncIteration`](https://python-all.ru/3.11/library/exceptions.html#StopAsyncIteration), оно возбуждается повторно. Новое в версии 3.8. Изменено в версии 3.11: Представление исключения в стеке теперь состоит из одного элемента, а не из трёх. #### `BEFORE_ASYNC_WITH` Извлекает `__aenter__` и `__aexit__` из объекта на вершине стека. Помещает `__aexit__` и результат `__aenter__()` в стек. Новое в версии 3.5. **Прочие опкоды** #### `PRINT_EXPR` Реализует выражение-инструкцию для интерактивного режима. TOS удаляется из стека и выводится на печать. В неинтерактивном режиме выражение-инструкция завершается с помощью [`POP_TOP`](https://python-all.ru/3.11/library/dis.html#opcode-POP_TOP). #### `SET_ADD(i)` Вызывает `set.add(TOS1[-i], TOS)`. Используется для реализации множественных включений (set comprehensions). #### `LIST_APPEND(i)` Вызывает `list.append(TOS1[-i], TOS)`. Используется для реализации списковых включений (list comprehensions). #### `MAP_ADD(i)` Вызывает `dict.__setitem__(TOS1[-i], TOS1, TOS)`. Используется для реализации словарных включений (dict comprehensions). Новое в версии 3.1. Изменено в версии 3.8: Значением отображения теперь является TOS, а ключом – TOS1. Ранее они были переставлены. Для всех инструкций [`SET_ADD`](https://python-all.ru/3.11/library/dis.html#opcode-SET_ADD), [`LIST_APPEND`](https://python-all.ru/3.11/library/dis.html#opcode-LIST_APPEND) и [`MAP_ADD`](https://python-all.ru/3.11/library/dis.html#opcode-MAP_ADD), когда добавленное значение или пара ключ/значение извлекаются, объект-контейнер остаётся в стеке, чтобы быть доступным для последующих итераций цикла. #### `RETURN_VALUE` Возвращает TOS вызывающей стороне функции. #### `YIELD_VALUE` Извлекает TOS и возвращает его из [генератора](https://python-all.ru/3.11/glossary.html#term-generator). #### `SETUP_ANNOTATIONS` Проверяет, определён ли `__annotations__` в `locals()`; если нет, он устанавливается в пустой `dict`. Этот опкод генерируется, только если тело класса или модуля статически содержит [аннотации переменных](https://python-all.ru/3.11/glossary.html#term-variable-annotation). Новое в версии 3.6. #### `IMPORT_STAR` Загружает все имена, не начинающиеся с `'_'`, из модуля TOS в локальное пространство имён. Модуль удаляется после загрузки всех имён. Этот опкод реализует `from module import *`. #### `POP_EXCEPT` Извлекает значение из стека, которое используется для восстановления состояния исключения. Изменено в версии 3.11: Представление исключения в стеке теперь состоит из одного элемента, а не из трёх. #### `RERAISE` Повторно возбуждает исключение, находящееся на вершине стека. Если oparg не равен нулю, извлекает из стека дополнительное значение, которое используется для установки [`f_lasti`](https://python-all.ru/3.11/reference/datamodel.html#frame.f_lasti) текущего фрейма. Новое в версии 3.9. Изменено в версии 3.11: Представление исключения в стеке теперь состоит из одного элемента, а не из трёх. #### `PUSH_EXC_INFO` Извлекает значение из стека. Помещает текущее исключение на вершину стека. Возвращает обратно в стек то значение, которое было извлечено. Используется в обработчиках исключений. Новое в версии 3.11. #### `CHECK_EXC_MATCH` Выполняет сопоставление исключений для `except`. Проверяет, является ли TOS1 исключением, соответствующим TOS. Извлекает TOS и помещает логический результат проверки в стек. Новое в версии 3.11. #### `CHECK_EG_MATCH` Выполняет сопоставление исключений для `except*`. Применяет `split(TOS)` к группе исключений, представляющей TOS1. В случае совпадения извлекает из стека два элемента и помещает несовпадающую подгруппу (`None` при полном совпадении), а затем совпадающую подгруппу. При отсутствии совпадения извлекает один элемент (тип сопоставления) и помещает `None`. Новое в версии 3.11. #### `PREP_RERAISE_STAR` Объединяет списки возбуждённых и повторно возбуждённых исключений из TOS в группу исключений для распространения из блока try-except\*. Использует исходную группу исключений из TOS1 для восстановления структуры повторно возбуждённых исключений. Извлекает два элемента из стека и помещает исключение для повторного возбуждения или `None`, если такого нет. Новое в версии 3.11. #### `WITH_EXCEPT_START` Вызывает функцию, находящуюся на позиции 4 в стеке, с аргументами (type, val, tb), представляющими исключение на вершине стека. Используется для реализации вызова `context_manager.__exit__(*exc_info())`, когда исключение возникло в операторе [`with`](https://python-all.ru/3.11/reference/compound_stmts.html#with). Новое в версии 3.9. Изменено в версии 3.11: Функция `__exit__` теперь находится на позиции 4 в стеке, а не на 7. Представление исключения в стеке теперь состоит из одного элемента, а не из трёх. #### `LOAD_ASSERTION_ERROR` Помещает [`AssertionError`](https://python-all.ru/3.11/library/exceptions.html#AssertionError) в стек. Используется оператором [`assert`](https://python-all.ru/3.11/reference/simple_stmts.html#assert). Новое в версии 3.9. #### `LOAD_BUILD_CLASS` Помещает `builtins.__build_class__()` в стек. Затем она вызывается для создания класса. #### `BEFORE_WITH(delta)` Этот опкод выполняет несколько операций перед началом блока with. Сначала, он загружает [`__exit__()`](https://python-all.ru/3.11/reference/datamodel.html#object.__exit__) из контекстного менеджера и помещает его в стек для последующего использования [`WITH_EXCEPT_START`](https://python-all.ru/3.11/library/dis.html#opcode-WITH_EXCEPT_START). Затем, вызывается [`__enter__()`](https://python-all.ru/3.11/reference/datamodel.html#object.__enter__). Наконец, результат вызова метода `__enter__()` помещается в стек. Новое в версии 3.11. #### `GET_LEN` Помещает `len(TOS)` в стек. Новое в версии 3.10. #### `MATCH_MAPPING` Если TOS является экземпляром [`collections.abc.Mapping`](https://python-all.ru/3.11/library/collections.abc.html#collections.abc.Mapping) (или, более технически: если у него установлен флаг [`Py_TPFLAGS_MAPPING`](https://python-all.ru/3.11/c-api/typeobj.html#c.Py_TPFLAGS_MAPPING) в [`tp_flags`](https://python-all.ru/3.11/c-api/typeobj.html#c.PyTypeObject.tp_flags)), помещает `True` в стек. В противном случае помещает `False`. Новое в версии 3.10. #### `MATCH_SEQUENCE` Если TOS является экземпляром [`collections.abc.Sequence`](https://python-all.ru/3.11/library/collections.abc.html#collections.abc.Sequence) и *не* является экземпляром [`str`](https://python-all.ru/3.11/library/stdtypes.html#str)/[`bytes`](https://python-all.ru/3.11/library/stdtypes.html#bytes)/[`bytearray`](https://python-all.ru/3.11/library/stdtypes.html#bytearray) (или, более технически: если у него установлен флаг [`Py_TPFLAGS_SEQUENCE`](https://python-all.ru/3.11/c-api/typeobj.html#c.Py_TPFLAGS_SEQUENCE) в его [`tp_flags`](https://python-all.ru/3.11/c-api/typeobj.html#c.PyTypeObject.tp_flags)), поместить `True` в стек. В противном случае поместить `False`. Новое в версии 3.10. #### `MATCH_KEYS` TOS – это кортеж ключей отображения, а TOS1 – объект сопоставления. Если TOS1 содержит все ключи из TOS, поместить [`tuple`](https://python-all.ru/3.11/library/stdtypes.html#tuple), содержащий соответствующие значения. В противном случае поместить `None`. Новое в версии 3.10. Изменено в версии 3.11: Ранее эта инструкция также помещала в стек логическое значение, указывающее на успех (`True`) или неудачу (`False`). #### `STORE_NAME(namei)` Реализует `name = TOS`. *namei* – это индекс *имени* в атрибуте [`co_names`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_names) объекта [кода](https://python-all.ru/3.11/reference/datamodel.html#code-objects). Компилятор старается использовать [`STORE_FAST`](https://python-all.ru/3.11/library/dis.html#opcode-STORE_FAST) или [`STORE_GLOBAL`](https://python-all.ru/3.11/library/dis.html#opcode-STORE_GLOBAL), если возможно. #### `DELETE_NAME(namei)` Реализует `del name`, где *namei* – это индекс в [`co_names`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_names) атрибуте [объекта кода](https://python-all.ru/3.11/reference/datamodel.html#code-objects). #### `UNPACK_SEQUENCE(count)` Распаковывает TOS в *count* отдельных значений, которые помещаются в стек справа налево. #### `UNPACK_EX(counts)` Реализует присваивание со звёздочкой: распаковывает итерируемый объект в TOS на отдельные значения, где общее количество значений может быть меньше количества элементов в итерируемом объекте: одно из новых значений будет списком всех оставшихся элементов. Младший байт *counts* – это количество значений до спискового значения, а старший байт *counts* – количество значений после него. Результирующие значения помещаются в стек справа налево. #### `STORE_ATTR(namei)` Реализует `TOS.name = TOS1`, где *namei* – это индекс имени в `co_names`. #### `DELETE_ATTR(namei)` Реализует `del TOS.name`, используя *namei* в качестве индекса в [`co_names`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_names) объекта [кода](https://python-all.ru/3.11/reference/datamodel.html#code-objects). #### `STORE_GLOBAL(namei)` Работает как [`STORE_NAME`](https://python-all.ru/3.11/library/dis.html#opcode-STORE_NAME), но сохраняет имя как глобальное. #### `DELETE_GLOBAL(namei)` Работает как [`DELETE_NAME`](https://python-all.ru/3.11/library/dis.html#opcode-DELETE_NAME), но удаляет глобальное имя. #### `LOAD_CONST(consti)` Помещает `co_consts[consti]` в стек. #### `LOAD_NAME(namei)` Помещает значение, связанное с `co_names[namei]`, в стек. #### `BUILD_TUPLE(count)` Создаёт кортеж, потребляя *count* элементов из стека, и помещает полученный кортеж в стек. #### `BUILD_LIST(count)` Работает как [`BUILD_TUPLE`](https://python-all.ru/3.11/library/dis.html#opcode-BUILD_TUPLE), но создаёт список. #### `BUILD_SET(count)` Работает как [`BUILD_TUPLE`](https://python-all.ru/3.11/library/dis.html#opcode-BUILD_TUPLE), но создаёт множество. #### `BUILD_MAP(count)` Помещает новый объект словаря в стек. Извлекает `2 * count` элементов так, чтобы словарь содержал *count* записей: `{..., TOS3: TOS2, TOS1: TOS}`. Изменено в версии 3.5: Словарь создаётся из элементов стека, а не создаётся пустой словарь, предварительно размещённый для *count* элементов. #### `BUILD_CONST_KEY_MAP(count)` Версия [`BUILD_MAP`](https://python-all.ru/3.11/library/dis.html#opcode-BUILD_MAP), оптимизированная для константных ключей. Снимает верхний элемент стека, содержащий кортеж ключей, затем, начиная с `TOS1`, снимает *count* значений и формирует словарь. Новое в версии 3.6. #### `BUILD_STRING(count)` Конкатенирует *count* строк из стека и помещает результирующую строку в стек. Новое в версии 3.6. #### `LIST_TO_TUPLE` Извлекает список из стека и помещает кортеж, содержащий те же значения. Новое в версии 3.9. #### `LIST_EXTEND(i)` Вызывает `list.extend(TOS1[-i], TOS)`. Используется для построения списков. Новое в версии 3.9. #### `SET_UPDATE(i)` Вызывает `set.update(TOS1[-i], TOS)`. Используется для создания множеств. Новое в версии 3.9. #### `DICT_UPDATE(i)` Вызывает `dict.update(TOS1[-i], TOS)`. Используется для создания словарей. Новое в версии 3.9. #### `DICT_MERGE(i)` Как [`DICT_UPDATE`](https://python-all.ru/3.11/library/dis.html#opcode-DICT_UPDATE), но вызывает исключение для повторяющихся ключей. Новое в версии 3.9. #### `LOAD_ATTR(namei)` Заменяет TOS на `getattr(TOS, co_names[namei])`. #### `COMPARE_OP(opname)` Выполняет логическую операцию. Имя операции можно найти в `cmp_op[opname]`. #### `IS_OP(invert)` Выполняет сравнение `is` или `is not`, если `invert` равно 1. Новое в версии 3.9. #### `CONTAINS_OP(invert)` Выполняет сравнение `in` или `not in`, если `invert` равно 1. Новое в версии 3.9. #### `IMPORT_NAME(namei)` Импортирует модуль `co_names[namei]`. TOS и TOS1 извлекаются и передаются в качестве аргументов *fromlist* и *level* для [`__import__()`](https://python-all.ru/3.11/library/functions.html#import__). Объект модуля помещается в стек. Текущее пространство имён не затрагивается: для корректной инструкции import последующая инструкция [`STORE_FAST`](https://python-all.ru/3.11/library/dis.html#opcode-STORE_FAST) изменяет пространство имён. #### `IMPORT_FROM(namei)` Загружает атрибут `co_names[namei]` из модуля, находящегося в TOS. Полученный объект помещается в стек для последующего сохранения инструкцией [`STORE_FAST`](https://python-all.ru/3.11/library/dis.html#opcode-STORE_FAST). #### `JUMP_FORWARD(delta)` Увеличивает счётчик байт-кода на *delta*. #### `JUMP_BACKWARD(delta)` Уменьшает счётчик байт-кода на *delta*. Проверяет прерывания. Новое в версии 3.11. #### `JUMP_BACKWARD_NO_INTERRUPT(delta)` Уменьшает счётчик байт-кода на *delta*. Не проверяет прерывания. Новое в версии 3.11. #### `POP_JUMP_FORWARD_IF_TRUE(delta)` Если TOS истинно, увеличивает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_BACKWARD_IF_TRUE(delta)` Если TOS истинно, уменьшает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_FORWARD_IF_FALSE(delta)` Если TOS ложно, увеличивает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_BACKWARD_IF_FALSE(delta)` Если TOS ложно, уменьшает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_FORWARD_IF_NOT_NONE(delta)` Если TOS не равно `None`, увеличивает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_BACKWARD_IF_NOT_NONE(delta)` Если TOS не равно `None`, уменьшает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_FORWARD_IF_NONE(delta)` Если TOS равно `None`, увеличивает счётчик байткода на *delta*. TOS извлекается. Новое в версии 3.11. #### `POP_JUMP_BACKWARD_IF_NONE(delta)` Если TOS равно `None`, уменьшает счётчик байт-кода на *delta*. TOS удаляется из стека. Новое в версии 3.11. #### `JUMP_IF_TRUE_OR_POP(delta)` Если TOS истинно, увеличивает счётчик байт-кода на *delta* и оставляет TOS на стеке. В противном случае (TOS ложно), TOS удаляется из стека. Новое в версии 3.1. Изменено в версии 3.11: Аргумент операции (oparg) теперь является относительным смещением, а не абсолютной целью. #### `JUMP_IF_FALSE_OR_POP(delta)` Если TOS ложно, увеличивает счётчик байт-кода на *delta* и оставляет TOS на стеке. В противном случае (TOS истинно), TOS удаляется из стека. Новое в версии 3.1. Изменено в версии 3.11: Аргумент операции (oparg) теперь является относительным смещением, а не абсолютной целью. #### `FOR_ITER(delta)` TOS является [итератором](https://python-all.ru/3.11/glossary.html#term-iterator). Вызвать его метод [`__next__()`](https://python-all.ru/3.11/library/stdtypes.html#iterator.__next__). Если это даёт новое значение, поместить его в стек (оставив итератор под ним). Если итератор сообщает, что он исчерпан, TOS удаляется из стека, а счётчик байт-кода увеличивается на *delta*. #### `LOAD_GLOBAL(namei)` Загружает глобальную переменную `co_names[namei>>1]` в стек. Изменено в версии 3.11: Если младший бит `namei` установлен, то `NULL` помещается в стек перед глобальной переменной. #### `LOAD_FAST(var_num)` Помещает ссылку на локальную переменную `co_varnames[var_num]` в стек. #### `STORE_FAST(var_num)` Сохраняет TOS в локальную переменную `co_varnames[var_num]`. #### `DELETE_FAST(var_num)` Удаляет локальную переменную `co_varnames[var_num]`. #### `MAKE_CELL(i)` Создаёт новую ячейку в слоте `i`. Если этот слот не пуст, то это значение сохраняется в новую ячейку. Новое в версии 3.11. #### `LOAD_CLOSURE(i)` Помещает ссылку на ячейку, содержащуюся в слоте `i` хранилища «быстрых локальных переменных». Имя переменной – `co_fastlocalnames[i]`. Обратите внимание, что `LOAD_CLOSURE` по сути является псевдонимом для `LOAD_FAST`. Он существует, чтобы сделать байт-код немного более читаемым. Изменено в версии 3.11: `i` больше не смещается на длину `co_varnames`. #### `LOAD_DEREF(i)` Загружает ячейку, находящуюся в слоте `i` хранилища «быстрых локальных переменных». Помещает в стек ссылку на объект, содержащийся в этой ячейке. Изменено в версии 3.11: `i` больше не смещается на длину [`co_varnames`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_varnames). #### `LOAD_CLASSDEREF(i)` Похожа на [`LOAD_DEREF`](https://python-all.ru/3.11/library/dis.html#opcode-LOAD_DEREF), но сначала проверяет словарь локальных переменных, а затем обращается к ячейке. Используется для загрузки свободных переменных в телах классов. Новое в версии 3.4. Изменено в версии 3.11: `i` больше не смещается на длину `co_varnames`. #### `STORE_DEREF(i)` Сохраняет TOS в ячейку, находящуюся в слоте `i` хранилища «быстрых локальных переменных». Изменено в версии 3.11: `i` больше не смещается на длину [`co_varnames`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_varnames). #### `DELETE_DEREF(i)` Очищает ячейку, находящуюся в слоте `i` хранилища «быстрых локальных переменных». Используется оператором [`del`](https://python-all.ru/3.11/reference/simple_stmts.html#del). Новое в версии 3.2. Изменено в версии 3.11: `i` больше не смещается на длину [`co_varnames`](https://python-all.ru/3.11/reference/datamodel.html#codeobject.co_varnames). #### `COPY_FREE_VARS(n)` Копирует `n` свободных переменных из замыкания во фрейм. Устраняет необходимость в специальном коде на стороне вызывающего при вызове замыканий. Новое в версии 3.11. #### `RAISE_VARARGS(argc)` Вызывает исключение, используя одну из трёх форм оператора `raise`, в зависимости от значения *argc*: - 0: `raise` (повторный вызов предыдущего исключения) - 1: `raise TOS` (вызов экземпляра или типа исключения по адресу `TOS`) - 2: `raise TOS1 from TOS` (возбуждает экземпляр или тип исключения на `TOS1` с `__cause__` установленным в `TOS`) #### `CALL(argc)` Вызывает вызываемый объект с количеством аргументов, указанным `argc`, включая именованные аргументы, указанные предшествующей инструкцией [`KW_NAMES`](https://python-all.ru/3.11/library/dis.html#opcode-KW_NAMES), если таковые имеются. В стеке находятся (в порядке возрастания) либо: - NULL - Вызываемый объект - Позиционные аргументы - Именованные аргументы или: - Вызываемый объект - `self` - Оставшиеся позиционные аргументы - Именованные аргументы `argc` – это общее количество позиционных и именованных аргументов, за исключением `self`, если `NULL` отсутствует. `CALL` извлекает все аргументы и вызываемый объект из стека, вызывает вызываемый объект с этими аргументами и помещает возвращаемое значение, возвращённое вызываемым объектом. Новое в версии 3.11. #### `CALL_FUNCTION_EX(flags)` Вызывает вызываемый объект с набором позиционных и именованных аргументов переменной длины. Если установлен младший бит *flags*, на вершине стека находится отображающий объект (mapping), содержащий дополнительные именованные аргументы. Перед вызовом вызываемого объекта отображающий объект и итерируемый объект «распаковываются», и их содержимое передаётся как именованные и позиционные аргументы соответственно. `CALL_FUNCTION_EX` извлекает из стека все аргументы и вызываемый объект, вызывает вызываемый объект с этими аргументами и помещает в стек возвращаемое значение, возвращённое вызываемым объектом. Новое в версии 3.6. #### `LOAD_METHOD(namei)` Загружает метод с именем `co_names[namei]` из объекта TOS. TOS удаляется из стека. Этот байт-код различает два случая: если TOS имеет метод с правильным именем, он помещает в стек несвязанный метод и TOS. TOS будет использоваться как первый аргумент (`self`) в [`CALL`](https://python-all.ru/3.11/library/dis.html#opcode-CALL) при вызове несвязанного метода. В противном случае помещаются `NULL` и объект, возвращённый поиском атрибута. Добавлено в версии 3.7. #### `PRECALL(argc)` Префикс к [`CALL`](https://python-all.ru/3.11/library/dis.html#opcode-CALL). Логически это пустая операция. Она существует для обеспечения эффективной специализации вызовов. `argc` – количество аргументов, как описано в [`CALL`](https://python-all.ru/3.11/library/dis.html#opcode-CALL). Новое в версии 3.11. #### `PUSH_NULL` > Помещает `NULL` в стек. Используется в последовательности вызова для сопоставления с `NULL`, помещённым [`LOAD_METHOD`](https://python-all.ru/3.11/library/dis.html#opcode-LOAD_METHOD) для вызовов не-методов. Новое в версии 3.11. #### `KW_NAMES(i)` Является префиксом для [`PRECALL`](https://python-all.ru/3.11/library/dis.html#opcode-PRECALL). Сохраняет ссылку на `co_consts[consti]` во внутреннюю переменную для использования [`CALL`](https://python-all.ru/3.11/library/dis.html#opcode-CALL). `co_consts[consti]` должна быть кортежем строк. Новое в версии 3.11. #### `MAKE_FUNCTION(flags)` Помещает новый объект функции в стек. Снизу вверх потребляемый стек должен состоять из значений, если аргумент содержит указанное значение флага. - `0x01` кортеж значений по умолчанию для только-позиционных и позиционно-именованных параметров в позиционном порядке - `0x02` словарь значений по умолчанию только-именованных параметров - `0x04` кортеж строк, содержащих аннотации параметров - `0x08` кортеж, содержащий ячейки для свободных переменных, образующий замыкание - код, связанный с функцией (на TOS) Изменено в версии 3.10: Значение флага `0x04` теперь является кортежем строк вместо словаря Изменено в версии 3.11: Квалифицированное имя на TOS было удалено. #### `BUILD_SLICE(argc)` Помещает объект среза в стек. *argc* должен быть 2 или 3. Если равно 2, помещается `slice(TOS1, TOS)`; если 3, помещается `slice(TOS2, TOS1, TOS)`. Подробнее см. встроенную функцию [`slice()`](https://python-all.ru/3.11/library/functions.html#slice). #### `EXTENDED_ARG(ext)` Является префиксом для любой операции, аргумент которой слишком велик, чтобы поместиться в один байт по умолчанию. *ext* содержит дополнительный байт, который выступает в качестве старших битов аргумента. Для каждой операции допускается не более трёх префиксов `EXTENDED_ARG`, формирующих аргумент от двух до четырёх байт. #### `FORMAT_VALUE(flags)` Используется для реализации форматированных строковых литералов (f-строк). Извлекает из стека необязательную *спецификацию формата*, затем обязательное *значение*. *Флаги* интерпретируются следующим образом: - `(flags & 0x03) == 0x00`: *значение* форматируется как есть. - `(flags & 0x03) == 0x01`: извлечь [спецификацию формата](https://python-all.ru/3.11/library/stdtypes.html#str) из стека и использовать её, иначе использовать пустую *спецификацию формата*. - `(flags & 0x03) == 0x02`: извлечь [спецификацию формата](https://python-all.ru/3.11/library/functions.html#repr) из стека и использовать её, иначе использовать пустую *спецификацию формата*. - `(flags & 0x03) == 0x03`: извлечь [спецификацию формата](https://python-all.ru/3.11/library/functions.html#ascii) из стека и использовать её, иначе использовать пустую *спецификацию формата*. - `(flags & 0x04) == 0x04`: извлечь *fmt\_spec* из стека и использовать его, иначе использовать пустой *fmt\_spec*. Форматирование выполняется с помощью [`PyObject_Format()`](https://python-all.ru/3.11/c-api/object.html#c.PyObject_Format). Результат помещается в стек. Новое в версии 3.6. #### `MATCH_CLASS(count)` TOS – это кортеж имен ключевых атрибутов, TOS1 – класс, с которым производится сопоставление, а TOS2 – объект сопоставления. *count* – количество позиционных подшаблонов. Извлечь TOS, TOS1 и TOS2. Если TOS2 является экземпляром TOS1 и имеет позиционные и ключевые атрибуты, требуемые *count* и TOS, поместить кортеж извлеченных атрибутов. Иначе поместить `None`. Новое в версии 3.10. Изменено в версии 3.11: Ранее эта инструкция также помещала в стек логическое значение, указывающее на успех (`True`) или неудачу (`False`). #### `RESUME(where)` > Пустая операция. Выполняет внутренние проверки трассировки, отладки и оптимизации. > > Операнд `where` отмечает, где происходит `RESUME`: > > - `0` Начало функции > - `1` После выражения `yield` > - `2` После выражения `yield from` > - `3` После выражения `await` Новое в версии 3.11. #### `RETURN_GENERATOR` Создает генератор, корутину или асинхронный генератор из текущего фрейма. Очищает текущий фрейм и возвращает вновь созданный генератор. Новое в версии 3.11. #### `SEND` Отправляет `None` подгенератору этого генератора. Используется в операторах `yield from` и `await`. Новое в версии 3.11. #### `ASYNC_GEN_WRAP` Оборачивает значение на вершине стека в `async_generator_wrapped_value`. Используется для yield в асинхронных генераторах. Новое в версии 3.11. #### `HAVE_ARGUMENT` Это не совсем опкод. Он обозначает границу между опкодами, которые не используют свой аргумент, и теми, которые используют (соответственно `< HAVE_ARGUMENT` и `>= HAVE_ARGUMENT`). Изменено в версии 3.6: Теперь каждая инструкция имеет аргумент, но опкоды `< HAVE_ARGUMENT` игнорируют его. Раньше аргумент был только у опкодов `>= HAVE_ARGUMENT`. ## Коллекции опкодов Эти коллекции предоставляются для автоматического самоанализа инструкций байткода: #### `dis.opname` Последовательность имён операций, индексируемая с помощью байткода. #### `dis.opmap` Словарь, сопоставляющий имена операций с байткодами. #### `dis.cmp_op` Последовательность всех имён операций сравнения. #### `dis.hasconst` Последовательность байткодов, обращающихся к константе. #### `dis.hasfree` Последовательность байткодов, которые обращаются к свободной переменной (обратите внимание, что «free» в данном контексте относится к именам в текущей области видимости, на которые ссылаются внутренние области видимости, или к именам во внешних областях видимости, на которые ссылаются из этой области. Она *не* включает ссылки на глобальные или встроенные области видимости). #### `dis.hasname` Последовательность байткодов, обращающихся к атрибуту по имени. #### `dis.hasjrel` Последовательность байткодов, имеющих относительную цель перехода. #### `dis.hasjabs` Последовательность байткодов, имеющих абсолютную цель перехода. #### `dis.haslocal` Последовательность байткодов, обращающихся к локальной переменной. #### `dis.hascompare` Последовательность байткодов логических операций.