python - 为什么在编译为字节码时整数除法没有优化？

Question

首先，让我展示一个我做的实验:

In [69]: dis.dis(lambda : 4 / 2 +  1.5 * 2 + (4 - 2))
  1           0 LOAD_CONST               1 (4)
              3 LOAD_CONST               2 (2)
              6 BINARY_DIVIDE       
              7 LOAD_CONST               4 (3.0)
             10 BINARY_ADD          
             11 LOAD_CONST               5 (2)
             14 BINARY_ADD          
             15 RETURN_VALUE 

正如您在 dis.dis 的输出中看到的，1.5 * 2 和 4 - 2 被编译为 LOAD_CONST 而不是两个 LOAD_CONST 后跟二进制操作。

但是 4/2 没有替换为 LOAD_CONST 4 (2) 之类的东西。

我想知道为什么在优化中忽略了除法。

我使用的Python版本是2.7.5。

顺便说一句，似乎在 Python 3 中，像这样的函数得到了更好的优化，这是我看到的:

>>> dis.dis(lambda : 4 / 2 +  1.5 * 2 + (4 - 2))
  1           0 LOAD_CONST               8 (7.0)
              3 RETURN_VALUE

Answer 1

因为 split 可以通过以下因素来控制

1. python -Q命令行参数

2. from __future__ import division

在编译时窥视孔优化器将无法使用。

这在peephole的源代码中有解释。