注意for循环中变量的作用域

[python] view plain copy print ?

1. for e in collections: 
2.     pass 

for e in collections:
    pass

在for 循环里， 最后一个对象e一直存在在上下文中。就是在循环外面，接下来对e的引用仍然有效。

这里有个问题容易被忽略，如果在循环之前已经有一个同名对象存在，这个对象是被覆盖的。

如果在有代码感知的IDE中， IDE会提示变量是“被重新声明的”， 但运行时却不会出错。

for循环不是闭包，可以使用dis模块分解以下代码可以看到：

[python] view plain copy print ?

1. x = 5 
2.  
3. for x in range(10): 
4.     pass 
5.  
6. print x 

x = 5

for x in range(10):
    pass

print x

将代码保存到test.py文件，运行python -m dis test.py

[plain] view plain copy print ?

1. C:\Users\Patrick\Desktop>python -m dis test.py 
2.   1           0 LOAD_CONST               0 (5) 
3.               3 STORE_NAME               0 (x) 
4.  
5.   3           6 SETUP_LOOP              20 (to 29) 
6.               9 LOAD_NAME                1 (range) 
7.              12 LOAD_CONST               1 (10) 
8.              15 CALL_FUNCTION            1 
9.              18 GET_ITER 
10.         >>   19 FOR_ITER                 6 (to 28) 
11.              22 STORE_NAME               0 (x) 
12.  
13.   4          25 JUMP_ABSOLUTE           19 
14.         >>   28 POP_BLOCK 
15.  
16.   6     >>   29 LOAD_NAME                0 (x) 
17.              32 PRINT_ITEM 
18.              33 PRINT_NEWLINE 
19.              34 LOAD_CONST               2 (None) 
20.              37 RETURN_VALUE 

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列表。我的顺序是这样的：

[html] view plain copy print ?

1. <!-- 用page对象 --> 
2. <label>{{ page.name if page else ''}}</label> 
3.  
4. <!-- 用pages对象 --> 
5. <label>Parent Page 
6.     <select name="parent_id"> 
7.         {% if pages %} 
8.             {% for page in pages%} 
9.             <option value="{{ page.id}}">{{page.name}}</option> 
10.             {% end %} 
11.         {% end %} 
12.         <option value="">None</option> 
13.     </select> 
14. </label> 
15.  
16. <!-- 然后又page --> 
17. <div>{{ page.markdown if page else ''}}</div> 

<!-- 用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）