О Python на Хабре было много хороших статей. Как об особенностях реализации, так и о прикладных фичах, отсутствующих в других мейнстримных языках. Однако я с удивлением обнаружил (поправьте, если не прав), что есть одна важная тема, не раскрытая ни на Хабре, ни в русскоязычном интернете вообще. Эта статья будет посвящена такой штуке, как stack frame. Скорее всего она не скажет ничего, ну или может с учетом последнего пункта почти ничего нового опытным python-разработчикам, однако будет полезна новичкам (а может и вредна, но все примеры ниже).

Я постарался написать статью так, чтобы её было удобно читать, открыв параллельно repl и бездумно копировать туда код эксперементируя. Поэтому по возможности большая часть примеров имеет вид «однострочники в интерпретаторе».

Начнем мы немного издалека, с того что заметим, что Traceback это тоже объект, а потом найдем где там стековый кадр и уже перейдем к делу.

>>> import requests
>>> requests.get(42)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/usr/lib/python3/dist-packages/requests/api.py", line 55, in get
    return request('get', url, **kwargs)
  File "/usr/lib/python3/dist-packages/requests/api.py", line 44, in request
    return session.request(method=method, url=url, **kwargs)
  File "/usr/lib/python3/dist-packages/requests/sessions.py", line 421, in request
    prep = self.prepare_request(req)
  File "/usr/lib/python3/dist-packages/requests/sessions.py", line 359, in prepare_request
    hooks=merge_hooks(request.hooks, self.hooks),
  File "/usr/lib/python3/dist-packages/requests/models.py", line 287, in prepare
    self.prepare_url(url, params)
  File "/usr/lib/python3/dist-packages/requests/models.py", line 338, in prepare_url
    "Perhaps you meant http://{0}?".format(url))
requests.exceptions.MissingSchema: Invalid URL '42': No schema supplied. Perhaps you meant http://42?


Выше мы видим Traceback, который содержит цепочку вызовов разных функций.

>>> import sys
>>> sys.last_traceback
<traceback object at 0x7f8c37378608>


>>> dir(sys.last_traceback)
['tb_frame', 'tb_lasti', 'tb_lineno', 'tb_next']


Итак, выше мы видим объект содержащий последнее необработанное исключение. Его можно исследовать при помощи дебагера, чтобы посмотреть что же случилось. Можно и воспользоваться модулем Traceback. На этом не буду особо останавливаться, это несколько не по теме статьи.

Нас будет интересовать аттрибут tb_frame. Это собственно и есть stack frame (Стековый кадр). Суть его принципиально не отличается от аналогичного в С. При вызове функции её аргументы попадают в стек, после чего уже происходит её выполнение.

Однако есть два принципиальных отличия от C.

Во-первых, в силу того что Python язык интерпретируемый, стековый кадр в нем хранится в явном виде, а во-вторых, в силу того что объектно-ориентированный, он еще и является объектом.

Фактически это основной источник интроспекции в Python — модуль inspect частично является просто оберткой над ним. (а частично над другими функциями из sys).

Детальное описание всех атрибутов объекта можно прочитать в другом месте, поэтому перейдем к примерам применения.

0) Как получить ссылку на stack frame


Конечно, его можно достать из traceback'a. Но к счастью есть более способы работать с ним чем бросать исключения и смотреть traceback/

>>> sys._getframe()
<frame object at 0x7fda9bffa388>

Возвращает текущий объект из стека вызовов. Можно также передать ему в качестве параметра глубину, чтобы получить объект находящий в стеке повыше. Впрочем, это можно сделать и используя атрибут f_back.

К сожалению, если мы запустили repl то мы находимся на вершине стека, по этому при вызове sys._getframe().f_back возвращает None, а sys._getframe(1) таки вовсе кидает исключение.

>>> sys._getframe().f_back
>>> sys._getframe(1)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ValueError: call stack is not deep enough

Однако лямбда-функции позволят решить эту проблему:

>>> (lambda: sys._getframe().f_back == sys._getframe(1))()
True
И даже (хотя это было ожидаемо)
>>> (lambda: sys._getframe().f_back is sys._getframe(1))()
True

Еще есть sys._current_frames(), но она имеет смысл в случае многопоточности. Дальше она упомянута не будет, но для полноты картины:

>>> import threading
>>> sys._current_frames()
{140576946280256: <frame object at 0x7fda9bffa6c8>}
>>> threading.Thread(target=lambda: print(sys._current_frames())).start()
{140576883275520: <frame object at 0x7fda9b337048>, 140576946280256: <frame object at 0x228fbc8>}

Ну, и тут самое время процитировать документацию к этим функциям:
CPython implementation detail: This function should be used for internal and specialized purposes only. It is not guaranteed to exist in all implementations of Python.


Так что едва ли следует пользоваться для корыстных целей тем что будет ниже.

1) Как определить кто вызвал функцию


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

После прошлого подпункта должно быть в целом понятно, как это сделать. В самом деле, получить фрейм, в котором был произведен вызов функции очень просто: sys._getframe(1). Остается вопрос, как извлечь из фрейма нужную информацию.

Например, вот так:

>>> threading.Thread(target=lambda: print(sys._getframe(1).f_code.co_name)).run()
run

Обсуждение Code object выходит за рамки статьи, может как-нибудь в другой раз. Но у frame object есть атрибут f_code, который представляет из себя code object, среди атрибутов которого есть в том числе имя метода соответсвующего code object.

Кстати, в случае с inspect внутри происходит фактичски тоже самое, но выглядит симпатичнее.

>>> threading.Thread(target=lambda: print(inspect.stack()[1][3])).run()
run

Возможности злоупотребить полученным методом читатель найдет сам.
Еще один пример, подталкивающий к таким идеям:

>>> threading.Thread(target=lambda: print('called from', sys._getframe(1).f_globals['__name__'])).run()
called from threading

Теперь, получив имя модуля, можно найти модуль в списке загруженных модулей по этому имени, а потом взять оттуда что-нибудь. И никакая Иерархия Классов не спасет от такого кощунства (хотя хорошая вероятно спасет от желания подобное делать)

2) Изменяем locals у фрейма


Информация в этом подпунтке не слишком нова и должно быть известна продвинутым питонистам, но тем не менее.

В этом пункте придется отойти от однострочников и написать полноценный пример.

Предположим, у нас есть следующий код:

import sys

class Example(object):

    def __init__(self):
        pass

    def check_noosphere_connection():
        print('OK')
        

def proof(example):

    a = 2
    b = 2
    example.check_noosphere_connection()
    
    print('2 + 2 = {}'.format(str(a + b)))

def broken_evil_force():
    def corrupted_noosphere(pseudo_self):
        print('OK')
        frame = sys._getframe()
        frame.f_back.f_locals['a'] = 3
    FakeExample = type('FakeExample', (), {'check_noosphere_connection': corrupted_noosphere})

    proof(FakeExample())


% python habr_example.py 
OK
2 + 2 = 4

Увы, но менять locals нельзя. Точнее, можно, но этот результат глобально не сохранится.

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

code.activestate.com/recipes/577283-decorator-to-expose-local-variables-of-a-function-
stackoverflow.com/a/4257352

Однако способ есть! pydev.blogspot.ru/2014/02/changing-locals-of-frame-frameflocals.html

Вызов сctypes.pythonapi.PyFrame_LocalsToFast(ctypes.py_object(frame), ctypes.c_int(0)) помогает сохранить изменения в locals.

import sys
import ctypes

class Example(object):

    def __init__(self):
        pass

    def check_noosphere_connection():
        print('OK')
        

def proof(example):

    a = 2
    b = 2
    example.check_noosphere_connection()
    print('2 + 2 = {}'.format(str(a + b)))

def broken_evil_force():
    def corrupted_noosphere(pseudo_self):
        print('OK')
        frame = sys._getframe()
        frame.f_back.f_locals['a'] = 3
    FakeExample = type('FakeExample', (), {'check_noosphere_connection': corrupted_noosphere})

    proof(FakeExample())

def evil_force():
    def corrupted_noosphere(pseudo_self):
        print('OK')
        frame = sys._getframe()
        frame.f_back.f_locals['a'] = 3
        ctypes.pythonapi.PyFrame_LocalsToFast(ctypes.py_object(frame.f_back), ctypes.c_int(0))
    FakeExample = type('FakeExample', (), {'check_noosphere_connection': corrupted_noosphere})

    proof(FakeExample())


if __name__ == '__main__':

    broken_evil_force()
    evil_force()

Запускаем и получаем:

% python habr_example.py
OK
2 + 2 = 4
OK
2 + 2 = 5

На этом, пожалуй, всё. Разве что добавлю: в случае traceback есть возможность ходить по фрейму не только вверх, но и вниз, хотя это уже должно было быть понятно.

Буду рад услышать комментарии и замечания, а также интересные примеры использования фреймов.

Полезные ссылки (часть была в статье)


1) docs.python.org/3.4/library/sys.html
2) docs.python.org/3/library/inspect.html
3) code.activestate.com/recipes/577283-decorator-to-expose-local-variables-of-a-function-
4) stackoverflow.com/questions/4214936/how-can-i-get-the-values-of-the-locals-of-a-function-after-it-has-been-executed/4257352#4257352
5) pydev.blogspot.ru/2014/02/changing-locals-of-frame-frameflocals.html

Комментарии (4)


  1. odlbo
    08.04.2015 15:45
    +1

    Интересная статья, спасибо!
    Но кажется у вас в процедуре corrupted_noosphere (которая в broken_evil_force) закралась мелкая ошибка:
    в строке «frame = sys._getframe().f_back» лишнее обращение к полю f_back.


    1. capgelka Автор
      08.04.2015 16:07

      Рад что вам понравилось!

      Действительно. Спасибо, поправил.


  1. abusalimov
    08.04.2015 22:44
    +1

    Спасибо за статью!

    Наверное самый адовый ад с питоньим стеком из того, что я видел, вытворяют в Jinja2 для получения более понятных стек-трейсов при ошибках в шаблонах: github.com/mitsuhiko/jinja2/blob/master/jinja2/debug.py.
    Например, название функции `_init_ugly_crap()`, уже намекает. :)


    1. capgelka Автор
      09.04.2015 15:45

      Спасибо, интересный пример.
      Хотя с Jinja2 и имел дело, не думал, что там ненатуральный traceback.

      А еще благодаря вашему комментарию я вспомнил две вещи, о которых забыл. когда писал статью.

      1) Многострочные лямбда-функции (автор так это назвал, но реально речь у него о блоках как в Ruby)
      billmill.org/multi_line_lambdas.html

      2) Оптимизация хвостовой рекурсии.
      code.activestate.com/recipes/474088/
      Но это явно не лучший подход. Хотя рекурсивные вызовы не создаются лишние, try/except тоже дорогое удовольствие.