我应该如何理解 dis.dis 的输出？

我想了解如何使用dis（Python字节码的反汇编器）。具体来说，应该如何解释输出dis.dis (or dis.disassemble)?

.

这是一个非常具体的示例（在 Python 2.7.3 中）：

dis.dis("heapq.nsmallest(d,3)")

      0 BUILD_SET             24933
      3 JUMP_IF_TRUE_OR_POP   11889
      6 JUMP_FORWARD          28019 (to 28028)
      9 STORE_GLOBAL          27756 (27756)
     12 LOAD_NAME             29811 (29811)
     15 STORE_SLICE+0  
     16 LOAD_CONST            13100 (13100)
     19 STORE_SLICE+1

我看到JUMP_IF_TRUE_OR_POP等是字节码指令（虽然有趣的是，BUILD_SET没有出现在这个列表中，尽管我希望它的工作原理是BUILD_TUPLE)。我认为右侧的数字是内存分配，左侧的数字是goto数字......我注意到它们almost每次增加 3（但不完全增加）。

如果我包裹dis.dis("heapq.nsmallest(d,3)")在函数内部：

def f_heapq_nsmallest(d,n):
    return heapq.nsmallest(d,n)

dis.dis("f_heapq(d,3)")

      0 BUILD_TUPLE            26719
      3 LOAD_NAME              28769 (28769)
      6 JUMP_ABSOLUTE          25640
      9 <44>                                      # what is <44> ?  
     10 DELETE_SLICE+1 
     11 STORE_SLICE+1 

您正在尝试反汇编包含源代码的字符串，但这不受支持dis.dis在 Python 2 中。使用字符串参数时，它将字符串视为包含字节代码（请参阅函数disassemble_string in dis.py）。因此，您会看到基于将源代码误解为字节代码的无意义输出。

Python 3 中情况有所不同，其中dis.dis编译一个字符串参数拆解之前：

Python 3.2.3 (default, Aug 13 2012, 22:28:10) 
>>> import dis
>>> dis.dis('heapq.nlargest(d,3)')
  1           0 LOAD_NAME                0 (heapq) 
              3 LOAD_ATTR                1 (nlargest) 
              6 LOAD_NAME                2 (d) 
              9 LOAD_CONST               0 (3) 
             12 CALL_FUNCTION            2 
             15 RETURN_VALUE         

在 Python 2 中，您需要先自己编译代码，然后再将其传递给dis.dis:

Python 2.7.3 (default, Aug 13 2012, 18:25:43) 
>>> import dis
>>> dis.dis(compile('heapq.nlargest(d,3)', '<none>', 'eval'))
  1           0 LOAD_NAME                0 (heapq)
              3 LOAD_ATTR                1 (nlargest)
              6 LOAD_NAME                2 (d)
              9 LOAD_CONST               0 (3)
             12 CALL_FUNCTION            2
             15 RETURN_VALUE        

这些数字代表着什么？号码1最左边是编译该字节代码的源代码中的行号。左边一列的数字是指令在字节码中的偏移量，右边的数字是指令在字节码中的偏移量opargs。让我们看看实际的字节码：

>>> co = compile('heapq.nlargest(d,3)', '<none>', 'eval')
>>> co.co_code.encode('hex')
'6500006a010065020064000083020053'

在字节码的偏移量 0 处我们发现65，操作码为LOAD_NAME，与 oparg0000;然后（在偏移量 3 处）6a是操作码LOAD_ATTR, with 0100oparg 等等。请注意，opargs 是小端顺序，因此0100是数字 1。无证opcode模块包含表格opname为您提供每个操作码的名称，以及opmap为您提供每个名称的操作码：

>>> opcode.opname[0x65]
'LOAD_NAME'

oparg 的含义取决于操作码，要了解完整的故事，您需要阅读 CPython 虚拟机的实现in ceval.c. For LOAD_NAME and LOAD_ATTRoparg 是一个索引co_names代码对象的属性：

>>> co.co_names
('heapq', 'nlargest', 'd')

For LOAD_CONST它是一个索引co_consts代码对象的属性：

>>> co.co_consts
(3,)

For CALL_FUNCTION，它是传递给函数的参数数量，以 16 位编码，低字节为普通参数数量，高字节为关键字参数数量。