注意for迴圈中變數的作用域

pythontab發表於2014-11-13
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)

相關文章