Python 研究-while 1比while True更快？

0. 前言

前些天被Python的多線程坑了一把，因此產生了寫一個《Python天坑系列》博客的想法，說說我碰到的那些Python的坑。

而天坑這個詞呢，一方面指Python的坑，另一方面也說明本系列文章也是個坑，對於會寫什麼內容、有多少篇、多久更新一次、什麼時間更新我都無法確定，哈哈（看，之前已經3個月沒有更新過了！）。

本篇是系列的第一篇，講的內容是Python的bool類型。
1. 前提
1.1 bool是int的子類

根據PEP285中Review部分第6條所述，bool類是從int類繼承而來的，這樣可以極大的簡化實現（C程式碼中呼叫PyInt_Check()的地方仍將繼續工作）。
1.2 Python2中True/False不是關鍵字，但Python3中是

我們可以導入keyword模組，來查看關鍵字：

keyword
Python
# Python2 ??字

>>> import keyword
>>> keyword.kwlist
>>> ['and', 'as', 'assert', 'break', 'class', 'continue', 'def', 'del', 'elif', 'else', 'except', 'exec', 'finally', 'for', 'from', 'global', 'if', 'import', 'in', 'is', 'lambda', 'not', 'or', 'pass', 'print', 'raise', 'return', 'try', 'while', 'with', 'yield']

   
# Python2 關鍵字

>>> import keyword
>>> keyword.kwlist
>>> ['and', 'as', 'assert', 'break', 'class', 'continue', 'def', 'del', 'elif', 'else', 'except', 'exec', 'finally', 'for', 'from', 'global', 'if', 'import', 'in', 'is', 'lambda', 'not', 'or', 'pass', 'print', 'raise', 'return', 'try', 'while', 'with', 'yield']

而在Python3中，關鍵字中增加了True/False/None。

由於Python2中True/False不是關鍵字，因此我們可以對其進行任意的賦值：

Python2 True賦值
Python
>>> (1 == 1) == True
True
>>> True = "pythoner.com"
>>> (1 == 1) == True    
False

   
>>> (1 == 1) == True
True
>>> True = "pythoner.com"
>>> (1 == 1) == True    
False

2. True + True = 2

由於bool是繼承自int的子類，因此為了保證向下兼容性，在進行算術運算中，True/False會被當作int值來執行。

True + True = 2
Python
>>> True + True
2
>>> True - True
0
>>> True * True
1
>>> (True + True) > 1
True
>>> True + 5
6
>>> 1 / False
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ZeroDivisionError: integer division or modulo by zero

   
>>> True + True
2
>>> True - True
0
>>> True * True
1
>>> (True + True) > 1
True
>>> True + 5
6
>>> 1 / False
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
ZeroDivisionError: integer division or modulo by zero

3. While 1比While True快？

首先來看一個比較while 1和while True循環的scripts，兩個函數中，除了1和True的區別之外，其他地方完全相同。

while 1與while True比較
Python
#! /usr/bin/python
# -*- coding: utf-8 -*-

import timeit

def while_one():
    i = 0
    while 1:
        i += 1
        if i == 10000000:
            break

def while_true():
    i = 0
    while True:
        i += 1
        if i == 10000000:
            break

if __name__ == "__main__":
    w1 = timeit.timeit(while_one, "from __main__ import while_one", number=3)
    wt = timeit.timeit(while_true, "from __main__ import while_true", number=3)
    print "while one: %s\nwhile_true: %s" % (w1, wt)

   
#! /usr/bin/python
# -*- coding: utf-8 -*-

import timeit

def while_one():
    i = 0
    while 1:
        i += 1
        if i == 10000000:
            break

def while_true():
    i = 0
    while True:
        i += 1
        if i == 10000000:
            break

if __name__ == "__main__":
    w1 = timeit.timeit(while_one, "from __main__ import while_one", number=3)
    wt = timeit.timeit(while_true, "from __main__ import while_true", number=3)
    print "while one: %s\nwhile_true: %s" % (w1, wt)

執行結果：
while one: 1.37000703812
while_true: 2.07638716698

可以看出wihle 1的執行時間約為while True的2/3。

那麼，這是為什麼呢？

其實這就是前提中提到的關鍵字的問題。由於Python2中，True/False不是關鍵字，因此我們可以對其進行任意的賦值，這就導致程式在每次循環時都需要對True/False的值進行檢查；而對於1，則被程式進行了優化，而後不會再進行檢查。

我們可以通過dis模組來查看while_one和while_true的字元碼，下面的程式是對剛才的程式進行了一定的簡化後的版本。

while 1和while True的字元碼程式
Python
#! /usr/bin/python
# -*- coding: utf-8 -*-  

import dis

def while_one():
    while 1:
        pass

def while_true():
    while True:
        pass

if __name__ == "__main__":
    print "while_one\n"
    dis.dis(while_one)
   
    print "while_true\n"
    dis.dis(while_true)

   
#! /usr/bin/python
# -*- coding: utf-8 -*-  

import dis

def while_one():
    while 1:
        pass

def while_true():
    while True:
        pass

if __name__ == "__main__":
    print "while_one\n"
    dis.dis(while_one)
   
    print "while_true\n"
    dis.dis(while_true)

執行的結果是：

while 1和while True的字元碼執行結果
Python
while_one

  6           0 SETUP_LOOP               3 (to 6)

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

 10           0 SETUP_LOOP              10 (to 13)
        >>    3 LOAD_GLOBAL              0 (True)
              6 POP_JUMP_IF_FALSE       12

 11           9 JUMP_ABSOLUTE            3
        >>   12 POP_BLOCK          
        >>   13 LOAD_CONST               0 (None)
             16 RETURN_VALUE       

   
while_one

  6           0 SETUP_LOOP               3 (to 6)

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

 10           0 SETUP_LOOP              10 (to 13)
        >>    3 LOAD_GLOBAL              0 (True)
              6 POP_JUMP_IF_FALSE       12

 11           9 JUMP_ABSOLUTE            3
        >>   12 POP_BLOCK          
        >>   13 LOAD_CONST               0 (None)
             16 RETURN_VALUE       

可以看出，正如上面所講到的，在while True的時候，字元碼中多出了幾行語句，正是這幾行語句進行了True值的檢查。

而在Python3中，由於True/False已經是關鍵字了，不允許進行重新賦值，因此，其執行結果與while 1不再有區別（好吧，我這沒有Python3的環境，就不去驗證了，網上有人驗證過了）。但是由於Python2的使用十分廣泛，因此大家不得不注意這個可能會降低性能的地方。
4. if x == True: 還是 if x:

在PEP285中，還提到了這兩種寫法的比較。PEP285中認為，==具有傳遞性，a==b, b==c會被化簡為a==c。也就是說，如果選擇前一種寫法的話，6和7在if語句中都應該被認為是真值，那麼就會造成6==True==7，被化簡為6==7的問題，因此後一種寫法才是正確的。

現在，讓我們偏個題，假設x就是True，那麼程式的執行效率又如何呢？

if x == True:和if x:比較
Python
#! /usr/bin/python                                                                         
# -*- coding: utf-8 -*-

import timeit

def if_x_eq_true():
    x = True
    if x == True:
        pass

def if_x():
    x = True
    if x:
        pass

if __name__ == "__main__":
    if1 = timeit.timeit(if_x_eq_true, "from __main__ import if_x_eq_true", number = 1000000)
    if2 = timeit.timeit(if_x, "from __main__ import if_x", number = 1000000)

    print "if_x_eq_true: %s\nif_x: %s" % (if1, if2)

   
#! /usr/bin/python                                                                         
# -*- coding: utf-8 -*-

import timeit

def if_x_eq_true():
    x = True
    if x == True:
        pass

def if_x():
    x = True
    if x:
        pass

if __name__ == "__main__":
    if1 = timeit.timeit(if_x_eq_true, "from __main__ import if_x_eq_true", number = 1000000)
    if2 = timeit.timeit(if_x, "from __main__ import if_x", number = 1000000)

    print "if_x_eq_true: %s\nif_x: %s" % (if1, if2)

執行結果是：
if_x_eq_true: 0.212558031082
if_x: 0.144327878952

讓我們再來看看字元碼（程式未作修改，dis的使用方式同上，因此不再給出程式）：

if x == True:和if x:的字元碼
Python
if_x_eq_true

  8           0 LOAD_GLOBAL              0 (True)
              3 STORE_FAST               0 (x)

  9           6 LOAD_FAST                0 (x)
              9 LOAD_GLOBAL              0 (True)
             12 COMPARE_OP               2 (==)
             15 POP_JUMP_IF_FALSE       21

 10          18 JUMP_FORWARD             0 (to 21)
        >>   21 LOAD_CONST               0 (None)
             24 RETURN_VALUE       
if_x

 13           0 LOAD_GLOBAL              0 (True)
              3 STORE_FAST               0 (x)

 14           6 LOAD_FAST                0 (x)
              9 POP_JUMP_IF_FALSE       15

 15          12 JUMP_FORWARD             0 (to 15)
        >>   15 LOAD_CONST               0 (None)
             18 RETURN_VALUE       

   
if_x_eq_true

  8           0 LOAD_GLOBAL              0 (True)
              3 STORE_FAST               0 (x)

  9           6 LOAD_FAST                0 (x)
              9 LOAD_GLOBAL              0 (True)
             12 COMPARE_OP               2 (==)
             15 POP_JUMP_IF_FALSE       21

 10          18 JUMP_FORWARD             0 (to 21)
        >>   21 LOAD_CONST               0 (None)
             24 RETURN_VALUE       
if_x

 13           0 LOAD_GLOBAL              0 (True)
              3 STORE_FAST               0 (x)

 14           6 LOAD_FAST                0 (x)
              9 POP_JUMP_IF_FALSE       15

 15          12 JUMP_FORWARD             0 (to 15)
        >>   15 LOAD_CONST               0 (None)
             18 RETURN_VALUE       

可以清晰的看到第9行比第14行，多出了檢查True值和進行比較的操作。

也就是說，不論從遵循PEP的規範，還是執行效率，或者程式的簡潔性來說，我們都應該使用if x:，而不是if x == True:來進行比較。同理，那些if x is not None:之類的語句也應當被簡化為if x:（如果要比較的是非值，而不必須是None的話）。
5. References

http://legacy.python.org/dev/peps/pep-0285/
http://stackoverflow.com/questions/3815359/while-1-vs-for-whiletrue-why-is-there-a-difference

留言

張貼留言

這個網誌中的熱門文章

c語言-關於#define用法

今天整理了一些#define的用法，與大家共享！ 1.簡單的define定義 #define MAXTIME 1000 一個簡單的MAXTIME就定義好了，它代表1000，如果在程式裡面寫 if (i<MAXTIME){.........} 編譯器在處理這個程式碼之前會對MAXTIME進行處理替換為1000。 這樣的定義看起來類似於普通的常數定義CONST，但也有著不同，因為define的定義更像是簡單的文本替換，而不是作為一個量來使用，這個問題在下面反映的尤為突出。 2.define的“函式定義” define可以像函式那樣接受一些參數，如下 #define max(x,y) (x)>(y)?(x):(y); 這個定義就將返回兩個數中較大的那個，看到了嗎？因為這個“函式”沒有類型檢查，就好像一個函式模板似的，當然，它絕對沒有模板那麼安全就是了。可以作為一個簡單的模板來使用而已。 但是這樣做的話存在隱患，例子如下： #define Add(a,b) a+b; 在一般使用的時候是沒有問題的，但是如果遇到如：c * Add(a,b) * d的時候就會出現問題，代數式的本意是a+b然後去和c，d相乘，但是因為使用了define（它只是一個簡單的替換），所以式子實際上變成了 c*a + b*d 另外舉一個例子： #define pin (int*); pin a,b; 本意是a和b都是int型指標，但是實際上變成int* a,b; a是int型指標，而b是int型變數。 這是應該使用typedef來代替define，這樣a和b就都是int型指標了。 所以我們在定義的時候，養成一個良好的習慣，建議所有的層次都要加括號。 3.巨集的單行定義 #define A(x) T_##x #define B（x) #@x #define C（x) #x 我們假設：x=1，則有： A(1)------〉T_1 B(1)------〉'1' C(1)------〉"1" （這裡參考了hustli的文章） 3.define的多行定義 define可以替代多行的程式碼，例如MFC中的巨集定義（非常的經典，雖然讓人看了噁心） #define M...
閱讀完整內容

CMD常用網管指令

現階段(GUI)視窗圖示使用者介面幾乎不需要使用CMD指令,但有些指令還不錯用,可以還原電腦 DOS指令集工作列→開始→執行→輸入的指令 工作列→開始→執行→輸入的指令 系統還原 1.按(開始) => 按(關機) => 選(將電腦重新啟動在MS-DOS模式) 2.鍵入C:\WINDOWS>Scanreg/restore 按 3.進入左Microsoft Registry Checker 4.哪裡有Windows最近五日的紀錄 , 選定哪一天後再按 最基本，最常用的，測試物理網路的    ping 192.168.0.8 －t ，參數－t是等待用戶去中斷測試 查看DNS、IP、Mac等    A.Win98：winipcfg    B.Win2000以上：Ipconfig/all 網路信使 Net send 電腦名/IP　* (廣播) 傳送內容，注意不能跨網段 net stop messenger 停止信使服務，也可以在面板－服務修改 net start messenger 開始信使服務 探測對方對方電腦名，所在的組、域及當前用戶名 （追捕的工作原理） ping －a IP －t ，只顯示NetBios名 nbtstat -a 192.168.10.146 比較全的 netstat -a 顯示出你的電腦當前所開放的所有埠 netstat -s -e 比較詳細的顯示你的網路資料，包括TCP、UDP、ICMP 和 IP的統計等 探測arp綁定（動態和靜態）列表，顯示所有連接了我的電腦，顯示對方IP和MAC位址 arp -a 在代理伺服器端 捆綁IP和MAC位址，解決局域網內盜用IP！： ARP －s 192.168.10.59 00 －50－ff－6c－08－75 解除網卡的IP與MAC位址的綁定： arp -d 網卡IP 在網路鄰居上隱藏你的電腦 net config server /hidden:yes net config server /hidden:no 則為開啟 幾個net命令 A.顯示當前工作組伺服器列表 net view，當不帶選項使用本命令時， 它就會顯示當前域或網路上的電腦上的列表。 比如...
閱讀完整內容

使用windows CMD 時間自動校正

[預設的時間校時] winodws 在「控制台」->「日期和時間」->「網際網路時間」->「變更設定」裡面的「與網際網路時間伺服器同步處理」，可以按「立即更新」來校正時間。 但是這邊沒辦法設定多久自動校時一次，而且內建的時間伺服器(例如time.windows.com)如果校正失敗，也沒辦法在這裡手動新增其他時間伺服器。 [新增預設的時間校時伺服器下拉選單內容] 如果要修改上述的時間伺服器下拉選單。 可執行 regedit 編輯系統登錄檔，在 [HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows\CurrentVersion\DateTime\Servers] 裡面可以新增修改可用的時間伺服器下拉選單。 [設定多久校時一次：NTPClock、Windows Time(W32Time)] 如果要設定多久自動校時一次，可以下載國家時間與頻率標準實驗室的 NTPClock 校時程式。 或是用系統內建的 Windows Time(W32Time) 服務來設定。 以下介紹 Windows Time(W32Time) 。 [啟動 W32Time] 先使用 w32tm /query /peers 看目前 W32Time 的時間伺服器有哪些，如果顯示服務尚未啟動。則先到「服務」中，將 Windows Time 啟動，並將啟動類型設定為「自動(延遲開始)」(沒設定延遲開始，重開機似乎會無法啟動)。 C:\Windows\system32>w32tm /query /peers 發生下列錯誤: 服務尚未啟動。 (0x80070426) 如果有正常啟動，執行 w32tm /query /peers 就可看到目前的時間伺服器設定(這邊的伺服器清單跟「網際網路時間」那邊的下拉清單不同) C:\Windows\system32>w32tm /query /peers #對等: 1 對等: time.windows.com,0x9 狀態: 擱置中 剩餘時間: 603689.4865209s 模式: 0 (保留) 組織層: 0 (未指定) 對等輪詢間隔: 0 (未指定) 主機輪詢間隔: 0 (未指定) [修改 W32Time 的校時伺服器清單] 我將時間伺服器修改成使用國家時間與頻率標準實驗室的 Server，多台 Server...
閱讀完整內容