有关Python2.x版本下的dis模块的使用

2023年7月14日 259次阅读 来源: Hwan

有关Python2.x版本下的dis模块的使用

　　事情源于昨天看书看到一个有意思的部分，就是在Python元组里面的元素如果存在可变的对象，比如Python里面的列表，类似下面这种形式：

t = (1, 2, [3, 4])

　　那么如果我执行t[2] += [5, 6]会发生什么，首先给我的感觉是这个会报错吧，这个是显而易见的，但是5能否添加进去呢？哈哈，突然觉得有点意思了，然后答案就是:

t变成(1, 2, [3, 4, 5, 6])
因为tuple不支持对它的赋值，所以会抛出TypeError异常

　　具体的报错信息可以在交互式环境中自行测试一下
　　这个时候我们可以使用Python的dis模块来反编译一下，看看操作的字节码，如下所示：

In [14]: dis.dis(compile("t[2]+=[5, 6]", " ", "single"))
  1           0 LOAD_NAME                0 (t)
              3 LOAD_CONST               0 (2)
              6 DUP_TOPX                 2
              9 BINARY_SUBSCR
             10 LOAD_CONST               1 (5)
             13 LOAD_CONST               2 (6)
             16 BUILD_LIST               2
             19 INPLACE_ADD
             20 ROT_THREE
             21 STORE_SUBSCR
             22 LOAD_CONST               3 (None)
             25 RETURN_VALUE

　　因为我使用的是Python2的版本，所以在使用dis.dis的时候，我们需要先将代码编译一下，即使用compile方法，这里需要注意的是第三个参数，第三个参数有三个选项，”single”、”eval”、”exec”，具体的可以help查看一下，下面我们来说一下上面字节码的关键行的解释：

BINARY_SUBSCR 表示将t[2]存入栈顶TOS
INPLACE_ADD 表示计算 TOS+[5, 6]，这一步是可以完成的，因为TOS指向的是一个可变对象，也就是[3, 4]这个列表
STORE_SUBSCR 这一步失败，这是因为t是一个元组，是不可变的，对其元素进行赋值是不被允许的

　　所以我的建议是：

  • 不要把可变对象放入元组里面
  • 增量赋值不是一个原子操作，像上面的那样，虽然抛出错误，但是还是完成了操作
  • 了解Python代码背后的运行机制很有帮助
  • 不建议这样，虽然我们可以使用t[2].extend([5, 6])来完成操作，但是我们仍然不建议这样做，不要将可变对象放入元组中。
    原文作者：Hwan
    原文地址: https://segmentfault.com/a/1190000013079229
    本文转自网络文章，转载此文章仅为分享知识，如有侵权，请联系博主进行删除。
点赞