for e in collections: pass
在for 迴圈裡, 最後一個物件e一直存在在上下文中。就是在迴圈外面,接下來對e的引用仍然有效。
這裡有個問題容易被忽略,如果在迴圈之前已經有一個同名物件存在,這個物件是被覆蓋的。
如果在有程式碼感知的IDE中, IDE會提示變數是“被重新宣告的”, 但執行時卻不會出錯。
for迴圈不是閉包,可以使用dis模組分解以下程式碼可以看到:
x = 5 for x in range(10): pass print x
將程式碼儲存到test.py檔案,執行python -m dis test.py
C:\Users\Patrick\Desktop>python -m dis test.py
1 0 LOAD_CONST 0 (5)
3 STORE_NAME 0 (x)
3 6 SETUP_LOOP 20 (to 29)
9 LOAD_NAME 1 (range)
12 LOAD_CONST 1 (10)
15 CALL_FUNCTION 1
18 GET_ITER
>> 19 FOR_ITER 6 (to 28)
22 STORE_NAME 0 (x)
4 25 JUMP_ABSOLUTE 19
>> 28 POP_BLOCK
6 >> 29 LOAD_NAME 0 (x)
32 PRINT_ITEM
33 PRINT_NEWLINE
34 LOAD_CONST 2 (None)
37 RETURN_VALUE
在其他語言裡,for迴圈的初始化變數對於上下文同樣是可見的,比如java, 因為java是強型別的語言, 如果重新宣告已存在的變數IDE會提示錯誤, 當然不同透過編譯。
通常在python程式設計中(可能是大多數的動態語言),有時即使宣告瞭同名的變數,程式沒有出現明顯的錯誤,但是一旦出錯,錯誤很難被發現。所以要避免與for迴圈中的變數重名。
在使用python模板語言編碼時尤其如此。程式碼編輯器沒有提示,不會發現錯誤在哪裡。這個是我碰到的極其怪異的一個例子。為什麼說怪異,因為邏輯上沒有任何問題。
在一個頁面模板裡面,當handler呼叫這個模板時,同時傳遞了兩個物件(從handler中,我使用tornado),一個page物件和一個pages列表。我的順序是這樣的:
<!-- 用page物件 -->
<label>{{ page.name if page else ''}}</label>
<!-- 用pages物件 -->
<label>Parent Page
<select name="parent_id">
{% if pages %}
{% for page in pages%}
<option value="{{ page.id}}">{{page.name}}</option>
{% end %}
{% end %}
<option value="">None</option>
</select>
</label>
<!-- 然後又page -->
<div>{{ page.markdown if page else ''}}</div>
問題來了,在執行的時候出錯了,提示在 <label>{{ page.name if page else ''}}</label> 中錯誤page referenced before assignment.
暈死了, 找了一晚上的錯,最後在把for迴圈中page的名字改為_page才執行了。
在模板呼叫過程裡,模板語言也是被翻譯到python位元組碼,並按行解析和出,所以根本沒有邏輯,不知道是tornado模板語言的bug。
所以注意變數名。
總之我認為tornado的exception trace非常不友好。
Python中變數的作用域搜尋順序:本地作用域(Local)→當前作用域被嵌入的本地作用域(Enclosing locals)→全域性/模組作用域(Global)→內建作用域(Built-in)