我应该如何理解dis的输出。数字化信息系统？

Question

我想了解如何使用dis（Python字节码的伪装者），具体来说，应该如何解释dis.dis（或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数字...我注意到它们每次几乎增加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 

Answer 1

_{我正在重新发布另一个问题的答案，以确保在搜索dis时找到答案。dis（）}

为了完成伟大的加雷斯·里斯的答案，这里只是一个小小的逐列摘要来解释分解字节码的输出。

例如，给定此函数：

def f(num):
    if num == 42:
        return True
    return False

这可以分解为（Python 3.6）：

erlang prettyprint-override">(1)|(2)|(3)|(4)|          (5)         |(6)|  (7)
---|---|---|---|----------------------|---|-------
  2|   |   |  0|LOAD_FAST             |  0|(num)
   |-->|   |  2|LOAD_CONST            |  1|(42)
   |   |   |  4|COMPARE_OP            |  2|(==)
   |   |   |  6|POP_JUMP_IF_FALSE     | 12|
   |   |   |   |                      |   |
  3|   |   |  8|LOAD_CONST            |  2|(True)
   |   |   | 10|RETURN_VALUE          |   |
   |   |   |   |                      |   |
  4|   |>> | 12|LOAD_CONST            |  3|(False)
   |   |   | 14|RETURN_VALUE          |   |

每一栏都有一个特定的目的：

1. 源代码中相应的行号

Answer 2

您正在尝试反汇编包含源代码的字符串，但Python中的dis.dis不支持此操作

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是编译此字节码的源代码中的行号。左侧列中的数字是字节码中指令的偏移量，右侧的数字是oparg。让我们看看实际的字节码：

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

在字节码的偏移量0处，我们找到65，操作码为LOAD_NAME，操作码为0000；然后（在偏移量3处）6a是操作码LOAD_ATTR，操作码为0100，以此类推。请注意，操作码的顺序是小端，因此，0100是数字1。未文档化的操作码模块包含表，为每个操作码提供名称，为每个操作码提供操作码：

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

oparg的含义取决于操作码，对于完整的故事，您需要阅读ceval中的CPython虚拟机的实现。c。对于LOAD_NAME和LOAD_ATTR而言，oparg是代码对象的co_names属性的索引：

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

对于LOAD_CONST，它是代码对象的co_consts属性的索引：

>>> co.co_consts
(3,)

对于CALL_FUNCTION，它是传递给函数的参数数，用16位编码，低字节中的普通参数数，高字节中的关键字参数数。