在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.name if page else ''}}
parent page
{% if pages %}
{% for page in pages%}
{{page.name}}
{% end %}
{% end %}
none
{{ page.markdown if page else ''}}
问题来了,在运行的时候出错了,提示在 {{ page.name if page else ''}} 中错误page referenced before assignment.
晕死了, 找了一晚上的错,最后在把for循环中page的名字改为_page才运行了。
在模板调用过程里,模板语言也是被翻译到python字节码,并按行解析和出,所以根本没有逻辑,不知道是tornado模板语言的bug。
所以注意变量名。
总之我认为tornado的exception trace非常不友好。
python中变量的作用域搜索顺序:本地作用域(local)→当前作用域被嵌入的本地作用域(enclosing locals)→全局/模块作用域(global)→内置作用域(built-in)