Python字节码CALL_FUNCTION、RETURN_VALUE及相关栈机制问题咨询

函数是否拥有独立的调用栈 #

CPython官方实现中，单个线程仅维护一个全局的求值栈（即字节码操作栈），不存在多个物理上完全独立的调用栈。但每个函数调用会创建专属的栈帧（Frame Object），栈帧会记录当前函数的栈底边界、字节码执行位点、局部变量表、闭包上下文等信息。
函数运行过程中所有的栈压入、弹出操作都被限制在当前栈帧标记的栈底之上，不会修改调用方栈帧范围内的栈数据，从逻辑上实现了不同函数操作空间的隔离。

「将TOS返回给函数调用方」的含义 #

要理解这个表述，需要先理清CALL_FUNCTION和RETURN_VALUE的完整执行链路：

1. CALL_FUNCTION执行阶段

• 调用方在触发函数调用前，会按顺序将函数对象、位置参数、关键字参数依次压入全局求值栈的栈顶
• 执行CALL_FUNCTION指令时，解释器先弹出对应数量的参数和函数对象，为被调用函数创建新栈帧，将参数赋值到新栈帧的局部变量区；同时保存调用方栈帧的上下文（下一条待执行的字节码位置、当前栈顶指针），切换到新栈帧开始执行被调用函数的字节码

2. RETURN_VALUE执行阶段

• 被调用函数执行到RETURN_VALUE指令时，首先取出当前栈帧的栈顶元素（TOS，Top of Stack，即函数的返回结果）
• 销毁当前被调用函数的栈帧，切回调用方的栈帧上下文
• 将取出的返回值压入调用方的求值栈栈顶，供调用方后续字节码逻辑使用

举个简单实例：

def add(a, b):
    return a + b

res = add(1, 2)

调用方执行CALL_FUNCTION 2后，被调用函数栈帧中a+b得到的结果3会作为TOS，通过RETURN_VALUE压入调用方的栈顶，后续STORE_FAST res指令会直接取出这个栈顶的3赋值给变量res，完全符合文档的描述逻辑。

内容的提问来源于stack exchange，提问作者Jam