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

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

因为分裂可以通过以下因素来控制

1. python -Q命令行参数

2. from __future__ import division

在编译时不会对窥孔优化器可用。

peephole

的源代码对此进行了解释