Python虚拟机字节码之控制流怎么实现

import dis  def test_control01():    a = 1     if a &gt; 1:        print("a &gt; 1")    elif a <p>上面的程序输出结果如下所示：</p><blockquote>  6           0 LOAD_CONST               1 (1)              2 STORE_FAST               0 (a)   8           4 LOAD_FAST                0 (a)              6 LOAD_CONST               1 (1)              8 COMPARE_OP               4 (&gt;)             10 POP_JUMP_IF_FALSE       22   9          12 LOAD_GLOBAL              0 (print)             14 LOAD_CONST               2 ('a &gt; 1')             16 CALL_FUNCTION            1             18 POP_TOP             20 JUMP_FORWARD            26 (to 48)  10     &gt;&gt;   22 LOAD_FAST                0 (a)             24 LOAD_CONST               1 (1)             26 COMPARE_OP               0 (&gt;   40 LOAD_GLOBAL              0 (print)             42 LOAD_CONST               4 ('a == 1')             44 CALL_FUNCTION            1             46 POP_TOP        &gt;&gt;   48 LOAD_CONST               0 (None)             50 RETURN_VALUE</blockquote><p>我们现在来模拟一下上面的字节码执行过程，我们使用 counter 表示当前字节码的执行位置：</p><p>在字节码还没开始执行之前，栈空间和 counter 的状态如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440335482.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>现在执行第一条字节码 LOAD_CONST，执行完之后 counter = 2，因为这条字节码占一个字节，参数栈一个字节，因此下次执行的字节码的位置在 bytecode 的低三个位置，对应的下标为 2，因此 counter = 2 。</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440345397.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>现在执行第二条字节码 STORE_FAST，让 a 指向 1 ，同样的 STORE_FAST 操作码和操作数各占一个字节，因此执行完这条字节码之后栈空间没有数据，counter = 4 。</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440345731.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>接下来 LOAD_FAST 将 a 指向的对象也就是 1 加载进入栈中，此时的 counter = 6，LOAD_CONST 将常量 1 加载进行入栈空间当中，此时 counter = 8，在执行完这两条指令之后，栈空间的变化如下图所示：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440497210.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>接下来的一条指令是 COMPARE_OP ，这个指令有一个参数表示比较的符号，这里是比较 a &gt; 1，并且会将比较的结果压入栈中，比较的结果是 false ，因为 COMPARE_OP 首先会将栈空间的两个输入弹出，因此在执行完这条指令之后栈空间和 counter 的值如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440434368.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>下面一条指令为 POP_JUMP_IF_FALSE，根据前面的字节码含义，这个字节码会将栈顶的 false 弹出，并且会进行跳转，并且将 counter 的值直接编程参数的值，这里他的参数是 22 ，因此 counter = 22，在执行完这条指令之后，结果如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440455268.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>因为现在已经跳转到了 22 ，因此接下来执行的指令为 LOAD_FAST，将变量 a 加载进入栈空间，LOAD_CONST 将常量 1 加载进入栈空间，在执行完这两条执行之后，变化情况如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440439274.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>在次执行 POP_JUMP_IF_FALSE，这回的结果也是 false ，因此继续执行 POP_JUMP_IF_FALSE，这次的参数是 40，直接将 counter 的值设置成 40 。</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440451099.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>接下来 LOAD_GLOBAL 加载一个全局变量 print 函数 counter 变成 42 ，LOAD_CONST 加载字符串 "a == 1" 进入栈空间，counter = 44，此时状态如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440487915.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>CALL_FUNCTION 这个字节码有一个参数，表示调用函数的参数的个数，这里是 1，因为 print 函数只有一个参数，然后输出字符串 "a== 1"，但是这里需要注意的是 print 函数会返回一个 None，因此执行完 CALL_FUNCTION 之后状态如下：</p><p><img src="https://img.php.cn/upload/article/000/465/014/168507440479536.png" alt="Python虚拟机字节码之控制流怎么实现"></p><p>至此差不多上面的函数差不多执行完了，后面几条字节码很简单，就不再进行叙述了。</p>