Погружаемся в Python: что такое trampoline и как его использовать
2026-02-26 18:48 Diff
https://ru.hexlet.io/blog/posts/pogruzhaemsya-v-python-chto-takoe-trampoline-i-kak-ego-ispolzovat

В этой статье рассматривается один из способов избавления от хвостовых вызовов: trampoline. Он работает так: перед хвостовым вызовом удаляется текущий фрейм исполнения из стека. Это исключает наращивание стека.

Содержание

Фреймы исполнения и стек

Чтобы понять, почему может возникнуть необходимость удалить фрейм исполнения, давайте посмотрим, что происходит при вызове функции. Рантайм языка нуждается в определённом месте для хранения внутренней информации и локальных переменных, которые использует функция. Поэтому среда исполнения выделяет ячейку памяти в стеке. Затем рантайм передаёт контроль над функцией. Когда функция завершает работу, она выполняет возврат. Возврат сообщает рантайму о необходимости удалить фрейм исполнения из стека и вернуть контроль над функцией вызывающему коду.

Но что происходит, если функция не делает возврат немедленно? Что, если она вместо возврата вызывает другую функцию? В этом случае рантайм создаёт новый фрейм исполнения для этого вызова и добавляет его в стек поверх текущего фрейма. Если функция рекурсивно вызывает себя после завершения, каждый новый вызов добавляет в стек фрейм исполнения. Это быстро приводит к переполнению стека.

Предотвращение наращивания стека

Чтобы избежать этой проблемы, некоторые языки программирования гарантируют, что они перезагружают текущий фрейм исполнения каждый раз, когда функция выполняет хвостовой вызов. То есть когда функция вызывает другую функцию или сама себя и возвращает результат вызова этой функции, речь идёт о хвостовом вызове. В этом случае рантайм перезагружает фрейм исполнения текущей функции перед передачей контроля другой функции. Благодаря этому другая функция возвращает результат напрямую вызывающему коду. Этот процесс называют удалением хвостового вызова.

Но в языках, которые не выполняют удаление хвостового вызова, каждый вызов добавляет фрейм исполнения в стек. К таким языкам относится Python. Поэтому нам надо каким-то способом удалить фрейм из стека перед хвостовым вызовом.

Но как? Единственный очевидный способ — возврат к вызывающему коду. Чтобы это работало, вызывающий код должен быть готов помочь нам. Именно здесь на сцену выходит trampoline. Это отличный инструмент для предотвращения наращивания стека.

Как работает trampoline

Вот как работает trampoline:

  1. Вызывает функцию f и делает её текущим вызывающим кодом.
  2. Когда f собирается выполнить хвостовой вызов, то есть вызвать саму себя, trampoline возвращает инструкцию call(f)(*args, **kwds). В результате рантайм удаляет текущий фрейм исполнения из стека и возвращает контроль trampoline, передавая инструкции.
  3. Trampoline интерпретирует инструкции и вызывает f снова, передавая ей аргументы и назначая ее текущим вызывающим кодом.
  4. Этот процесс продолжается до тех пор, пока f не возвращает итоговый результат z. В этот момент она возвращает новую инструкцию result(z). Как и ранее, рантайм удаляет текущий фрейм исполнения и возвращает контроль trampoline.
  5. Trampoline после интерпретации новой инструкции возвращает z вызывающему коду. На этом работа trampoline завершается.

Теперь можно понять, откуда возникло название trampoline (батут или трамплин в переводе с английского). Когда функция использует return, чтобы удалить фрейм исполнения из стека, trampoline возвращает ей контроль с новыми аргументами.

Вот простая реализация. В первую очередь оформим инструкции для trampoline в виде троек. Представим call(f)(*args, **kwds) в виде тройки (f, args, kwds), а rezult(z) в виде тройки (None, z, None).

Теперь создадим декоратор, чтобы обернуть функцию с trampoline, которая будет интерпретировать инструкции, которые возвращает функция.

Заметьте, trampoline умещается в три строки:

По сути, trampoline вызывает любые функции в h, пока эта функция не возвращает инструкцию result(z). В этот момент завершается цикл и возвращается z. Оригинальные рекурсивные хвостовые вызовы превратились в цикл while. А рекурсия превратилась в итеративный процесс.

Пример: факториал

Разберём использование trampoline на примере факториала.

Первый шаг: конвертируем рекурсивный вызов:

Теперь можно создать эквивалентную функцию, которая использует идиомы trampoline:

Обратите внимание на трансформацию return.

Теперь можно обернуть функцию с помощью trampoline, чтобы получить вызываемую версию.

Возьмём такой вариант:

Чтобы понять, что на самом деле происходит, используйте визуализатор. В нём можно отследить работу оригинальной функции, функции с хвостовыми вызовами и функции с trampoline.

Зачем использовать trampoline

Как отмечалось выше, если вы не можете превратить рекурсивные вызовы функции в хвостовые вызовы, что необходимо сделать для использования trampoline, можно использовать Simple Method для конвертации рекурсии в итерацию. Это позволяет избавиться сразу от всех вызовов. Например, вот так работает Simple Method с функцией поиска факториала.

Эта версия проще и эффективнее по сравнению с версией с trampoline. Почему бы всегда не использовать Simple Method?

Проблема в том, что Simple Method сложно использовать с функциями, которые выполняют хвостовые вызовы внутри циклов. Надо помнить, что в такой ситуации тело функции находится в цикле, что заменяет хвостовые вызовы инструкцией continue. Но если в функции уже есть собственные циклы, замена хвостового вызова в одном из них инструкцией continue перезапустит внутренний цикл вместо внешнего. В этом случае нужно добавлять условные флаги, чтобы убедиться, что за��ускается нужный цикл. Поэтому использование trampoline может быть предпочтительным.

Тем не менее автор оригинальной публикации практически никогда не использует trampoline. Функция с хвостовыми вызовами — это девять десятых пути к результату. Если автор проходит эту часть пути, он стремится использовать версию с итерациями.

Зачем, в таком случае, нужно понимать trampoline? Есть две причины. Первая: trampoline мало кто умеет использовать, поэтому знание этого инструмента будет полезным для вас. Вторая причина: trampoline — ступень на пути к более мощному и известному инструменту. Речь о выражениях в стиле передачи продолжений (continuation-passing-style, CPC). О них стоит поговорить в отдельной статье.

Адаптированный перевод статьи Tricks of the trade: Recursion to Iteration, Part 4: The Trampoline by Tom Moertel. Мнение автора оригинальной публикации может не совпадать с мнением администрации Хекслета.