python中的dis剖析源码及参数含义的讲解

Python 代码先被编译为字节码后，再由Python虚拟机来执行字节码， Python的字节码是一种类似汇编指令的中间语言， 一个Python语句会对应若干字节码指令，虚拟机一条一条执行字节码指令， 从而完成程序执行。
Python dis 模块支持对Python代码进行反汇编， 生成字节码指令。
先来一小段代码：

[python]  view plain  copy

1. In[6]: def test():  
2. ...         x = 1  
3. ...         if x < 3:  
4. ...             return "yes"  
5. ...         else:  
6. ...             return "no"  

代码执行 后会输出：

[python]  view plain  copy

1. In[7]: import dis  
2. In[8]: dis.dis(test)  
3.   2           0 LOAD_CONST               1 (1)  
4.               3 STORE_FAST               0 (x)  
5.   
6.   3           6 LOAD_FAST                0 (x)  
7.               9 LOAD_CONST               2 (3)  
8.              12 COMPARE_OP               0 (<)  
9.              15 POP_JUMP_IF_FALSE       22  
10.   
11.   4          18 LOAD_CONST               3 ('yes')  
12.              21 RETURN_VALUE          
13.   
14.   6     >>   22 LOAD_CONST               4 ('no')  
15.              25 RETURN_VALUE          
16.              26 LOAD_CONST               0 (None)  
17.              29 RETURN_VALUE          

以第一条指令为例， 第一列的数字（2）表示对应源代码的行数。第二列的数字是字节码的索引，指令LOAD_CONST在0位置。第三列是指令本身对应的人类可读的名字。第四列表示指令的参数。第5列则是计算后的实际参数。其中的“>>" 表示跳转的目标， 第4列的“22” 表明了跳转到索引为22的指令。

Python代码在编译过程中会生成CodeObject, CodeObject是在虚拟机中的抽象表示， 在Python C源码中表示为PyCodeObject， 而生成的.pyc 文件则是字节码在磁盘中的表现形式。

以Python代码为讲，test.__code__.co_code 表示test函数的字节码指令序列。
将此序列打印出来，

[python]  view plain  copy

1. code = [ord(i) for i in list(test.__code__.co_code)]  
2. print code  

输出：

[python]  view plain  copy

1. [100, 1, 0, 125, 0, 0, 124, 0, 0, 100, 2, 0, 107, 0, 0, 114, 22, 0, 100, 3, 0, 83, 100, 4, 0, 83, 100, 0, 0, 83]  

对照dis输出的字节码指令， 以[100，1，0]序列为例。100表示在Python字节码定义中的索引，在python代码中，
 可以通过dis.opname[100]查看，即为LOAD_CONST。而后的两个字节表示指令的参数。而dis输出的字节码指令中，
第二列的字节码索引则是指当前指令在co_code序列中所在的位置。
dis输出的字节码指令中，部分指令是没有参数， 在co_code 中也同样可以看到，83(RETURN_VALUE)直接接上下一条指令100(LOAD_CONST)。