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)