while（1）vs. while（True）—为什么会有区别（在python 2字节码中）？

Question

这个问题引起了有关perl中无限循环的问题：while（1）Vs。for（;;）是否存在速度差异？，我决定在python中运行类似的比较。我希望编译器会为while(True):pass和生成相同的字节码while(1): pass，但是python2.7实际上不是这种情况。

以下脚本：

import dis

def while_one():
    while 1:
        pass

def while_true():
    while True:
        pass

print("while 1")
print("----------------------------")
dis.dis(while_one)

print("while True")
print("----------------------------")
dis.dis(while_true)

产生以下结果：

while 1
----------------------------
  4           0 SETUP_LOOP               3 (to 6)

  5     >>    3 JUMP_ABSOLUTE            3
        >>    6 LOAD_CONST               0 (None)
              9 RETURN_VALUE        
while True
----------------------------
  8           0 SETUP_LOOP              12 (to 15)
        >>    3 LOAD_GLOBAL              0 (True)
              6 JUMP_IF_FALSE            4 (to 13)
              9 POP_TOP

  9          10 JUMP_ABSOLUTE            3
        >>   13 POP_TOP             
             14 POP_BLOCK           
        >>   15 LOAD_CONST               0 (None)
             18 RETURN_VALUE

使用while True明显更复杂。为什么是这样？

在其他情况下，python的行为就好像True等于1：

>>> True == 1
True

>>> True + True
2

为什么要while区分两者？

我注意到python3确实使用相同的操作评估语句：

while 1
----------------------------
  4           0 SETUP_LOOP               3 (to 6)

  5     >>    3 JUMP_ABSOLUTE            3 
        >>    6 LOAD_CONST               0 (None) 
              9 RETURN_VALUE         
while True
----------------------------
  8           0 SETUP_LOOP               3 (to 6)

  9     >>    3 JUMP_ABSOLUTE            3 
        >>    6 LOAD_CONST               0 (None) 
              9 RETURN_VALUE

python3中的布尔值评估方式是否有变化？

Answer 1

在Python
2.x中，True它不是关键字，而只是在类型中定义为1的内置全局常量bool。因此，解释器仍然必须加载的内容True。换句话说，True是可重新分配的：

Python 2.7 (r27:82508, Jul  3 2010, 21:12:11) 
[GCC 4.0.1 (Apple Inc. build 5493)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> True = 4
>>> True
4

在Python
3.x中，它确实成为关键字和实常数：

Python 3.1.2 (r312:79147, Jul 19 2010, 21:03:37) 
[GCC 4.2.1 (Apple Inc. build 5664)] on darwin
Type "help", "copyright", "credits" or "license" for more information.
>>> True = 4
  File "<stdin>", line 1
SyntaxError: assignment to keyword

因此，解释器可以将while True:循环替换为无限循环。