将 脚本之家 设为“星标⭐”
第一时间收到文章更新
作者 | 古明地觉
来源 | 古明地觉的编程教室（ID：unwind_exception）
楔子
当解释器启动后，首先会进行运行时环境的初始化，注意这里的运行时环境，它和之前说的执行环境是不同的概念。运行时环境是一个全局的概念，而执行环境是一个栈帧。
关于运行时环境的初始化是一个很复杂的过程，涉及到 Python 进程、线程的创建，类型对象的完善等非常多的内容，我们暂时先不讨论。这里就假设初始化动作已经完成，我们已经站在了虚拟机的门槛外面，只需要轻轻推动第一张骨牌，整个执行过程就像多米诺骨牌一样，一环扣一环地展开。
在介绍字节码的时候我们说过，解释器可以看成是：编译器+虚拟机，编译器负责将源代码编译成 PyCodeObject 对象，而虚拟机则负责执行。整个过程如下：
所以我们的重点就是虚拟机是怎么执行 PyCodeObject 对象的？整个过程是什么，掌握了这些，你对虚拟机会有一个更深的理解。
虚拟机的运行框架
在介绍栈帧的时候我们说过，Python 是一门动态语言，一个变量指向什么对象需要在运行时才能确定，这些信息不可能静态存储在 PyCodeObject 对象中。
所以虚拟机在运行时会基于 PyCodeObject 对象动态创建出一个栈帧对象，然后在栈帧里面执行字节码。而创建栈帧，主要使用以下两个函数：
// Python/ceval.c
/* 基于 PyCodeObject、全局名字空间、局部名字空间，创建栈帧
* 参数非常简单，所以它一般适用于模块这种参数不复杂的场景
* 我们说模块也会对应一个栈帧，并且它位于栈帧链的最顶层
*/
PyObject *
PyEval_EvalCode(PyObject *co, PyObject *globals, PyObject *locals);
/* 相比 PyEval_EvalCode 多了很多的参数
* 比如里面有位置参数以及个数，关键字参数以及个数
* 还有默认参数以及个数，闭包等等，显然它用于函数等复杂场景
* 注：此 API 已废弃，内部不再使用
*/
PyObject *
PyEval_EvalCodeEx(PyObject *_co, PyObject *globals, PyObject *locals,
PyObject * const*args, intargcount,
PyObject * const*kws, intkwcount,
PyObject * const*defs, intdefcount,
PyObject *kwdefs, PyObject *closure);
这两个函数最终都会调用 _PyEval_Vector函数，这个函数内部的逻辑我们一会儿再看。总之一旦栈帧对象初始化完毕，那么就要进行处理了，在栈帧中执行字节码（帧评估）。
关于在栈帧中执行字节码，虚拟机内部有两个重要的 C 函数。
// Python/ceval.c
PyObject *
PyEval_EvalFrame(PyFrameObject *f)
{
PyThreadState *tstate = _PyThreadState_GET;
return_PyEval_EvalFrame(tstate, f->f_frame, 0);
}
PyObject *
PyEval_EvalFrameEx(PyFrameObject *f, intthrowflag)
{
PyThreadState *tstate = _PyThreadState_GET;
return_PyEval_EvalFrame(tstate, f->f_frame, throwflag);
}
当然啦，上面这两个函数属于高层的封装，最终都会调用 _PyEval_EvalFrame 函数。
// Include/internal/pycore_ceval.h
staticinlinePyObject*
_PyEval_EvalFrame(PyThreadState *tstate,
struct _PyInterpreterFrame *frame,
intthrowflag)
{
EVAL_CALL_STAT_INC(EVAL_CALL_TOTAL);
// 如果 tstate->interp->eval_frame 为 NULL
// 会调用 _PyEval_EvalFrameDefault 函数执行字节码
if(tstate->interp->eval_frame == NULL) {
return_PyEval_EvalFrameDefault(tstate, frame, throwflag);
}
// 另外虚拟机也支持自定义，允许我们替换掉 _PyEval_EvalFrameDefault
// 只需将具体实现赋值给 tstate->interp->eval_frame 即可
// 因此这个做法就使得性能分析器、调试器等工具的实现成为可能
returntstate->interp->eval_frame(tstate, frame, throwflag);
}
因此虚拟机最终会通过 _PyEval_EvalFrameDefault 函数来完成字节码的执行。
目前出现了好几个函数，我们用一张图来描述一下它们的关系：
当然啦， _PyEval_Vector 函数内部在拿到栈帧之后，其实会直接调用 _PyEval_EvalFrame。
// Python/ceval.c
PyObject *
_PyEval_Vector(PyThreadState *tstate, PyFunctionObject *func,
PyObject *locals,
PyObject* const* args, size_targcount,
PyObject *kwnames)
{
// 解释一下相关参数的含义
/* tstate：线程状态对象（在后续的章节剖析）
* func：函数对象（在后续的章节剖析）
* locals：局部名字空间
* args：调用函数时传递的参数
* argcount：通过位置参数传递的参数的个数
* kwnames：通过关键字参数传递的参数的名称
举个例子，比如调用是 func(1, 2, 3, c=4, d=5)
那么 args 就是 (1, 2, 3, 4, 5)
argcount 就是 3，因为有 3 个参数通过位置参数的方式传递
kwname 则是 ("c", "d")
*/
// 增加引用计数
Py_INCREF(func);
Py_XINCREF(locals);
// 给通过位置参数传递的参数，增加引用计数
for( size_ti = 0; i < argcount; i++) {
Py_INCREF(args[i]);
}
// 给通过关键字参数传递的参数，增加引用计数
if(kwnames) {
Py_ssize_t kwcount = PyTuple_GET_SIZE(kwnames);
for(Py_ssize_t i = 0; i < kwcount; i++) {
Py_INCREF(args[i+argcount]);
}
}
// 为即将执行的函数调用，创建一个新的 _PyInterpreterFrame 结构体实例
// 然后推入虚拟机为其准备的 Stack 中
_PyInterpreterFrame *frame = _PyEvalFramePushAndInit(
tstate, func, locals, args, argcount, kwnames);
if(frame == NULL) {
returnNULL;
}
// 计数器，统计 _PyEval_Vector 的调用次数，用于跟踪，我们不用关心
EVAL_CALL_STAT_INC(EVAL_CALL_VECTOR);
// 调用 _PyEval_EvalFrame 函数
return_PyEval_EvalFrame(tstate, frame, 0);
}
然后在 _PyEval_EvalFrame 内部又会调用 _PyEval_EvalFrameDefault 函数， 整个过程非常好理解。
注：栈帧指的是 PyFrameObject，它是一个 Python 对象，而 _PyInterpreterFrame 是一个只包含栈帧核心信息的普通 C 结构体，前面我们介绍过的。
但为了描述方便，后续在提到 _PyInterpreterFrame 时，我们也会称它为栈帧，这一点大家心里清楚就好。
所以不难发现 _PyEval_EvalFrameDefault 函数是虚拟机运行的核心，该函数较为复杂，我们会在下一篇文章中分析它的具体实现。至于本篇文章就先从宏观的角度来描述一下虚拟机执行字节码的流程，并对之前的内容做一个补充，将背后涉及的概念阐述一遍，这样后续看源码的时候也会事半功倍。
首先栈帧中有一个 f_code 字段，它指向 PyCodeObject 对象，该对象的 co_code 字段则保存着字节码指令序列。而虚拟机执行字节码就是从头到尾遍历整个 co_code，对指令逐条执行的过程。
另外也不要觉得字节码指令（简称指令）有多神秘，说白了它就是个 uint8 整数，而一个程序肯定会包含多条指令，它们整体便构成了指令集，或者指令序列。那么显然，使用 bytes 对象来表示指令序列再合适不过了，如果站在 C 的角度，则就是一个普普通通的字符数组， 一条指令就是一个字符、或者说一个整数。
另外我们说指令序列里面包含的不仅仅是指令，还有指令参数，因为每个指令都会带一个参数。因此索引为 0 2 4 6 8 ··· 的整数表示指令，索引为 1 3 5 7 9 ··· 的整数表示指令参数。
我们用 Python 来演示一下：
code_string = """
a = 1
b = 2
c = a + b
"""
code_object = compile(code_string, "<file>", "exec")
# 查看常量池
print(code_object.co_consts)
"""
(1, 2, None)
"""
# 查看符号表
print(code_object.co_names)
"""
('a', 'b', 'c')
"""
这些都比较简单，再来看一下反编译的结果，直接 dis.dis(code_object) 即可。
/* 常量池：(1, 2, None)
* 符号表：('a', 'b', 'c')
*/
// 第一列表示源代码行号
// 第二列表示指令的偏移量
// 第三列表示指令，在 C 中它们都是宏，表示整数
// 第四列表示指令参数
// 第五列是 dis 模块为了方便我们阅读而补充的提示信息
00RESUME 0
// 指令：LOAD_CONST，指令参数：0
// 表示从常量池中加载索引为 0 的常量，并压入运行时栈（关于运行时栈，一会儿详细说明）
// 索引为 0 的常量显然是 1，而括号里面的提示信息显示的也是 1
22LOAD_CONST 0( 1)
// 指令：STORE_NAME，指令参数：0
// 表示从符号表中加载索引为 0 的符号，显然结果是 "a"
// 然后弹出运行时栈的栈顶元素，显然是上一条指令压入的 1
// 将 "a" 和 1 组成键值对，存储在当前的名字空间中
// 到此 a = 1 这条语句便完成了，或者说完成了变量和值的绑定
4STORE_NAME 0(a)
// 从常量池中加载索引为 1 的常量（结果是 2），并压入运行时栈
36LOAD_CONST 1( 2)
// 从符号表中加载索引为 1 的符号（结果是 "b")
// 然后从栈顶弹出元素 2，将 "b" 和 2 绑定起来
8STORE_NAME 1(b)
// 加载符号表中索引为 0 的符号对应的值，并压入运行时栈
410LOAD_NAME 0(a)
// 加载符号表中索引为 1 的符号对应的值，并压入运行时栈
12LOAD_NAME 1(b)
// 将运行时栈的两个元素弹出，并执行加法运算
// 将运算之后的结果（a + b）再压入运行时栈
14BINARY_OP 0(+)
// 从符号表中加载索引为 2 的符号，结果是 "c"
// 将运行时栈的栈顶元素弹出，这里是 a + b 的运算结果
// 然后进行绑定，完成 c = a + b 这条赋值语句
18STORE_NAME 2(c)
// 从常量池中加载索引为 2 的元素并返回，有一个隐式的 return None
20RETURN_CONST 2(None)
这些指令的源码实现后续都会说，但是不难发现，程序的主干逻辑都体现在字节码中，而依赖的信息则由其它字段来维护。所谓执行 源代码，其实就是 虚拟机执行编译之后的 字节码。通过遍历 co_code，然后基于不同的指令，执行不同的逻辑。
然后我们基于上面这些输出信息，看看能否将字节码指令集还原出来，当然在还原之前首先要知道这些指令代表的数值是多少。
下面我们来进行还原。
"""
0 RESUME 0
2 LOAD_CONST 0
4 STORE_NAME 0
6 LOAD_CONST 1
8 STORE_NAME 1
10 LOAD_NAME 0
12 LOAD_NAME 1
14 BINARY_OP 0 (+)
18 STORE_NAME 2
20 RETURN_CONST 2
"""
CACHE = 0
STORE_NAME = 90
LOAD_CONST = 100
LOAD_NAME = 101
RETURN_CONST = 121
BINARY_OP = 122
RESUME = 151
codes = [
RESUME, 0,
# a = 1
LOAD_CONST, 0,
STORE_NAME, 0,
# b = 2
LOAD_CONST, 1,
STORE_NAME, 1,
# c = a + b
LOAD_NAME, 0, # 加载 a
LOAD_NAME, 1, # 加载 b
BINARY_OP, 0, # 计算 a + b
# 从 dis 的输出信息可以看到，索引为 16 的指令没有显示
# 这是因为索引为 16 的指令和相应的指令参数都是 0
# 也就是说，在将 c 和 a + b 绑定之前，插入了一条 CACHE 指令
# 这条指令是做什么的，我们后续再探讨
CACHE, 0,
STORE_NAME, 2,
# 所有代码块都隐式地包含了一个 return None
RETURN_CONST, 2
]
print(bytes(codes))
"""
b'\x97\x00d\x00Z\x00d\x01Z\x01e\x00e\x01z\x00\x00\x00Z\x02y\x02'
"""
那么字节码是不是我们还原的这个样子呢？来对比一下。
结果是一样的，到此相信你对 Python 源代码的执行过程应该有更深的了解了，简单来讲，其实就是以下几个步骤。
1）源代码被编译成 PyCodeObject 对象，该对象的 co_code 字段指向字节码指令序列，它包含了程序执行的主干逻辑，剩余字段则保存常量池、符号表等其它静态信息。
2）虚拟机在 PyCodeObject 对象的基础上构建栈桢对象。
3）虚拟机在栈桢对象内部执行字节码（帧评估），具体流程就是遍历指令集和，根据不同指令执行不同的处理逻辑，而这一过程便由 _PyEval_EvalFrameDefault 函数负责完成。
什么是运行时栈
之前一直提到一个概念，叫运行时栈，那什么是运行时栈呢？别急，我们先来回顾一下栈桢的基本结构。
大部分字段都很好理解，因为之前通过 Python 代码演示过。但有几个字段是虚拟机用于执行指令的，后续会遇到，所以这里再拿出来解释一下。
prev_instr
指向上一条刚执行完的字节码指令，因为每个指令要带一个参数，所以该字段的类型为 uint16 *，前 8 字节表示指令，后 8 字节表示参数。假设虚拟机要执行偏移量为 14 的指令，那么 prev_instr 便指向偏移量为 12 的指令。
localsplus
一个柔性数组，它的内存大小被分为 4 个部分。
注：localsplus 是一个数组，所以它是一段连续的内存，只不过按照用途被分成了 4 个部分。如果用新一团团长丁伟的说法：每个部分之间是鸡犬相闻，但又老死不相往来。
然后再着重强调一下运行时栈，虚拟机在执行字节码指令时高度依赖它，因为一个指令只能带一个参数，那么剩余的参数就必须通过运行时栈给出。比如 a = 1会对应两条字节码：LOAD_CONST 和 STORE_NAME。
STORE_NAME 的作用是从符号表中获取符号，或者说变量名，然后和值绑定起来。而要加载符号，那么必须要知道它在符号表中的索引，显然这可以通过指令参数给出，但问题是与之绑定的值怎么获取？
毫无疑问，要通过运行时栈，因此 LOAD_CONST 将值读取进来之后，还要压入运行时栈。然后 STORE_NAME 会将值从运行时栈中弹出，从而完成符号（变量）和值的绑定。关于运行时栈，我们再看个复杂的例子：
偏移量为 8 的指令表示要构建一个字典，指令参数 2 表示构建的字典的 长度为 2，但问题是字典的键值对在什么地方？显然它们已经被提前压入了运行时栈，执行 BUILD_CONST_KEY_MAP 的时候直接弹出即可。
所以这就是运行时栈的作用，如果某个指令需要 n 个参数，那么其中的 n - 1 个必须要提前压入运行时栈，然后在该指令执行的时候依次弹出，因为一个指令只能带一个参数。
stacktop
运行时栈的栈顶相对于 localsplus 数组的偏移量，那么显然 localsplus 加上 stacktop 便指向运行时栈的栈顶。
我们通过源码验证一下：
// Inlcude/internal/pycore_frame.h
// 获取 localsplus 字段
staticinlinePyObject**
_PyFrame_GetLocalsArray(_PyInterpreterFrame *frame)
{
returnframe->localsplus;
}
// 获取指针（PyObject **），它指向运行时栈的栈顶，我们称之为 stack_pointer
// 而元素的入栈和出栈，显然都是通过操作 stack_pointer 完成的
// 执行 *stack_pointer++ = v，一个元素就入栈了
// 执行 v = *--stack_pointer，一个元素就出栈了
staticinlinePyObject**
_PyFrame_GetStackPointer(_PyInterpreterFrame *frame)
{
// localsplus + stacktop 便指向运行时栈的栈顶
// 因为 stacktop 的含义就是栈顶相对于 localsplus 数组（首元素的地址）的偏移量
PyObject **sp = frame->localsplus + frame->stacktop;
frame->stacktop = -1;
returnsp;
}
// 随着元素的入栈和出栈，运行时栈的栈顶、或者说 stack_pointer 也在不断变化
// 而 frame->stacktop 表示栈顶相对于 localsplus 的偏移量
// 那么显然，由于栈顶发生变化，后续还要对 frame->stacktop 进行更新
staticinlinevoid
_PyFrame_SetStackPointer(_PyInterpreterFrame *frame, PyObject **stack_pointer)
{
frame->stacktop = ( int)(stack_pointer - frame->localsplus);
}
这就是 stacktop 字段的作用，用于获取运行时栈的栈顶指针。另外我们说 localsplus 数组被分成了 4 份，最后一份给了运行时栈，因此虽然我们称之为栈，但它其实就是一个数组，而且还是数组的一部分。
而对于数组而言，内存地址从左往右是增大的。
这是 localsplus 的示意图，我们只看运行时栈，目前栈里面有两个元素，stack_pointer 指向栈顶。
这时如果要添加一个元素 3，那么直接 *stack_pointer++ = 3即可。
如果要将栈顶元素弹出，那么执行 v = *--stack_pointer即可。
而 stack_pointer - localsplus 便是 stacktop。
运行时栈的一些 API
相信你对运行时栈的了解已经足够深了，说白了它就是 参数的容身之所，比如虚拟机在执行 a + b 的时候，通过指令参数可以判断这是一个加法操作。但在执行加法的时候，加号两边的值要怎么获取呢？这时候就需要一个栈来专门保存相应的参数。
在执行加法之前，先将 a 和 b 压入栈中，等执行加法的时候，再将 a 和 b 从栈里面弹出来即可，非常简单。
然后再来看看运行时栈相关的一些 API。
API 非常多，它们都定义在 Python/ceval_macros.h 中，我们来逐一介绍。 假设目前运行时栈内部有三个元素，从栈底到栈顶分别是整数 1、2、3，那么运行时栈的结构就是下面这样。
localsplus 数组被分成 4 个区域，运行时栈占据最后一个，因此图中的灰色区域便是运行时栈之前的内存。由于我们是研究运行时栈，所以这部分区域后续就不再画了。
然后看一下这些和运行时栈相关的 API 都是干嘛的。
STACK_LEVEL
返回运行时栈的元素个数，那么问题来了，通过 stack_pointer 可以获取栈顶指针，但栈底指针怎么获取呢？毕竟有了栈底指针，两者相减就完事了。
#define STACK_LEVEL ((int)(stack_pointer - _PyFrame_Stackbase(frame)))
显然 _PyFrame_Stackbase 负责获取运行时栈的栈底（基址），看一下它的具体实现。
// Include/internal/pycore_frame.h
// PyCodeObject 对象里面有以下几个字段
// co_nlocals：代码块中局部变量的个数，也包括参数
// co_ncellvars：cell 变量的个数，即 co_cellvars 的长度
// co_nfreevars：free 变量的个数，即 co_freevars 的长度
// co_nlocalsplus：局部变量、cell 变量、free 变量的个数之和
staticinlinePyObject **_PyFrame_Stackbase(_PyInterpreterFrame *f) {
// 由于 co_nlocalsplus = co_nlocals + co_ncellvars + co_nfreevars
// 那么显然，f->localsplus + f->f_code->co_nlocalsplus
// 便指向运行时栈的栈底，或者说运行时栈对应的内存区域的首元素
returnf->localsplus + f->f_code->co_nlocalsplus;
}
在之前的版本 中（比如 3.8），栈桢内部会有一个 f_valuestack 字段，专门负责指向运行时栈的栈底。注：STACK_LEVEL 是动态变化的，因为 stack_pointer 会动态变化。
STACK_SIZE
运行时栈最多能存储多少个元素，或者说运行时栈的长度。
# defineSTACK_SIZE (frame->f_code->co_stacksize)
我们看到它返回了 PyCodeObject 的 co_stacksize 字段，之前介绍 PyCodeObject 对象时，我们说 co_stacksize 表示执行代码块所需要的栈空间。这个描述其实会让人感到困惑，不过当了解完运行时栈之后就清晰了，其实它表示运行时栈最多能存储多少个元素，或者说运行时栈的长度。也可以理解为要想执行这段代码块，后续创建栈桢时，应该给 localsplus 数组中表示运行时栈的区域分配能存储多少个元素的内存。
比如 co_stacksize 是 1，那么表示应该给运行时栈分配能存储 1 个元素的内存，即运行时栈的长度为 1。我们通过反编译的方式，实际演示一下。
importdis
defsome_func:
a = 1
b = 2
c = 3
# 这里我们只保留字节码指令
dis.dis(some_func)
"""
RESUME
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
RETURN_CONST
"""
# 也就是说，运行时栈只要能容纳一个元素，即可执行这段代码
print(some_func.__code__.co_stacksize) # 1
我们再来看个例子。
importdis
defsome_func:
a = 1
b = 2
c = 3
lst = [a, b, c]
dis.dis(some_func)
"""
RESUME
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
LOAD_CONST # 将元素压入运行时栈，栈里的元素个数为 1
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
LOAD_FAST # 将元素压入运行时栈，栈里的元素个数为 1
LOAD_FAST # 将元素压入运行时栈，栈里的元素个数为 2
LOAD_FAST # 将元素压入运行时栈，栈里的元素个数为 3
BUILD_LIST # 将栈里的三个元素弹出，构建列表并入栈（此时元素个数为 1）
STORE_FAST # 将元素从栈顶弹出，栈里的元素个数为 0
RETURN_CONST
"""
# 不难看出，要想执行这段代码，运行时栈要能容纳 3 个元素
print(some_func.__code__.co_stacksize) # 3
相信你现在应该理解 co_stacksize 的作用了，它表示运行时栈最多能容纳多少个元素，也就是运行时栈的长度。以上面代码为例，由于最多会压入 3 个元素，所以运行时栈的长度就是 3，即最多能容纳 3 个元素。并且这个长度在编译之后就已经确定了，因为可以通过遍历指令集静态计算出来。
我们画一张图描述一下执行上面的代码时，运行时栈的变化过程。
整个过程应该很清晰，当然上面只是运行时栈的变化，localsplus 中存储局部变量的内存区域也在变化。另外如果代码块位于全局作用域，那么 变化的就是全局名字空间。
EMPTY
#define EMPTY (STACK_LEVEL == 0)
判断运行时栈是否为空，显然只需判断运行时栈的元素个数是否为 0 即可。
TOP
# defineTOP (stack_pointer[-1])
查看当前运行时栈的栈顶元素。
SECOND
#define SECOND (stack_pointer[-2])
查看从栈顶元素开始的第二个元素。
THIRD
#define THIRD (stack_pointer[-3])
查看从栈顶元素开始的第三个元素。
FOURTH
#define FOURTH (stack_pointer[-4])
查看从栈顶元素开始的第四个元素。
PEEK(n)：
#define PEEK(n) (stack_pointer[-(n)])
查看从栈顶元素开始的第 n 个元素。
SET_TOP(v)
#define SET_TOP(v) (stack_pointer[-1] = (v))
将当前运行时栈的栈顶元素设置成 v。
SET_SECOND(v)
#define SET_SECOND(v) (stack_pointer[-2] = (v))
将从栈顶元素开始的第二个元素设置成 v。
POKE(n)
#define POKE(n, v) (stack_pointer[-(n)] = (v))
将从栈顶元素开始的第 n 个元素设置成 v。
PUSH(v)
# definePUSH(v) BASIC_PUSH(v)
# defineBASIC_PUSH(v) (*stack_pointer++ = (v))
往运行时栈中压入一个元素，并且压入之后，栈中已存储的元素个数一定不超过 co_stacksize。换句话说，STACK_LEVEL 永远小于等于 STACK_SIZE。
然后入栈和出栈，都是通过操作 stack_pointer 完成的。假设当前栈里有一个元素 1，然后添加一个元素 2。
Python 的变量都是一个指针，所以 stack_pointer 是一个二级指针，它永远指向栈顶位置，只不过栈顶位置会变。
注：运行时栈的内存一开始就申请好了，初始状态下，里面的元素全部为 NULL。而往栈里面压入一个元素，其实就是修改 stack_pointer 指向的内存单元，然后执行 stack_pointer++。
POP
# definePOP BASIC_POP
# defineBASIC_POP (*--stack_pointer)
弹出栈顶元素，注意它和 TOP 的区别，TOP 是返回栈顶元素，但不弹出。
stack_pointer 指向栈顶位置，所以它向栈底移动一个位置，就相当于元素被弹出了。
关于 弹出元素需要做一个说明，所谓弹出元素本质上就是将 stack_pointer 向栈底移动一个位置。我们看一下上图，一开始栈里面有两个元素，分别是整数 1 和整数 2，当然准确来说应该是指向它们的指针，但为了描述方便，我们就用对象本身代替了。
然后执行 POP，将整数 2 弹出，但我们发现 POP 之后，整数 2 还在栈里面。关于这一点很好理解，因为 stack_pointer 始终指向栈顶位置，而它向栈底移动了一个位置，那么整数 2 就已经不是栈顶元素了。当下一个元素入栈时，会把整数 2 替换掉。因此虽然整数 2 还在运行时栈里面，但和不在没有任何区别，此时我们依旧认为整数 2 被弹出了。
不过在后续的文章中，在画运行时栈的时候，我们会这么画。
为了阅读清晰，stack_pointer 之后的元素就不写了。另外还要注意一点，运行时栈的内存一开始就已经申请好了，是固定的，弹出元素只是改变栈顶指针 stack_pointer 的指向，内存区域的大小不变。
当然这些内容都比较简单，但为了避免出现歧义，这里单独解释一下。
STACK_GROW(n)
# defineSTACK_GROW(n) BASIC_STACKADJ(n)
# defineBASIC_STACKADJ(n) (stack_pointer += n)
改变运行时栈的栈顶，注：运行时栈的大小是固定的，但栈顶是由 stack_pointer 决定的。
那么问题来了，假设要往运行时栈压入两个元素，分别是 2、3，该怎么做呢？首先肯定可以通过 PUSH 实现。
PUSH( 2);
PUSH( 3);
但如果不让你用 PUSH，该怎么做呢？
STACK_GROW( 2);
// 设置元素
POKE( 1, 3); // stack_pointer[-1] = 3
POKE( 2, 2); // stack_pointer[-2] = 2
两种做法都是可以的。
STACK_SHRINK(n)
# defineSTACK_SHRINK(n) BASIC_STACKADJ(-(n))
# defineBASIC_STACKADJ(n) (stack_pointer += n)
它的作用和 STACK_GROWN 正好相反。
以上就是运行时栈的一些 API，后续再看源码的时候，会经常遇到。
小结
本篇文章我们从宏观的角度介绍了虚拟机执行字节码的流程，说白了虚拟机就是把自己当成一个 CPU，在栈桢中执行指令。通过遍历字节码指令集，基于不同的指令执行不同的处理逻辑。
然后是运行时栈，因为一个指令只能带一个参数，那么剩余的参数就需要通过运行时栈给出。比如 LOAD_CONST 指令，它在加载完常量之后，会将常量压入运行时栈，然后 STORE_NAME 或 STORE_FAST 指令再将常量从运行时栈的顶部弹出，和某个符号（变量）绑定起来。另外关于这些指令，我们后面会详细说。
最后我们介绍了运行时栈的一些 API，或者说宏，因为执行指令的时候会反复操作运行时栈，所以底层封装了很多的宏。返回搜狐，查看更多
责任编辑：