
栈帧(Frame)是 Python 函数执行时的运行时上下文
每次函数调用,Python 解释器都会在调用栈上创建一个栈帧对象(frame),它封装了该次调用所需的所有信息:局部变量、参数、代码对象(co_code)、当前指令偏移(f_lasti)、上层帧引用(f_back)、全局/内置命名空间等。栈帧不是用户直接构造的,而是由解释器在 CALL_FUNCTION 等字节码指令执行时自动压入 CPython 的 C 栈(实际是堆上分配的结构体,但逻辑上构成调用栈)。
函数调用本质是字节码驱动的栈帧切换
Python 源码经编译生成字节码,函数调用对应 CALL_FUNCTION 或 CALL_METHOD 等指令。执行时:
- 解释器从栈顶弹出参数和被调函数对象
- 检查函数类型:若为普通函数,用其
__code__创建新帧;若为内置函数(如len()),跳过帧创建,直接执行 C 实现 - 新帧的
f_back指向上一帧,形成链表式调用链 - 控制权移交新帧,从
f_lasti = -1开始执行字节码
栈帧对象可被 Python 代码访问,用于调试与元编程
通过 inspect.currentframe() 或异常对象的 tb_frame 可获取当前或异常发生处的帧。常见用途包括:
-
动态查变量:读取
frame.f_locals(注意:修改它对实际局部变量无效,因解释器可能优化为快速局部变量数组) -
追溯调用链:遍历
frame.f_back直到为None,配合frame.f_code.co_name获取函数名 -
实现装饰器调试:在装饰器中打印
inspect.stack()[1]查看调用位置
递归与栈溢出:帧数量受限制,但可调整
CPython 默认递归深度限制为 1000(可通过 sys.getrecursionlimit() 查看)。每层递归新增一个栈帧,超出则抛出 RecursionError。这是因为每个帧需内存+管理开销,且底层 C 栈空间有限。可通过 sys.setrecursionlimit(n) 提高限制,但不解决根本问题——深度递归应改用迭代或尾递归优化(Python 不原生支持,需手动改写)。
立即学习“Python免费学习笔记(深入)”;






