引用发生在绑定操作之后，该变量应该可以被正常引用。但问题就在于赋值语句(绑定操作)不一定被执行。如果没有绑定操作那么对变量的引用肯定会有问题，这个前面已经解释过了。
但是还有一个疑问可能在于，如果赋值语句没有被执行，那么变量在当前block中为什么是可见的？
关于这个问题其实可以被上面的一段话解释：The local variables of a code block can be determined by scanning the entire text of the block for name binding operations.
只要有绑定操作（不管实际有没有被执行），那么被绑定的name可以作为一个local variable，也就是在当前block中是可见的。scanning text发生在代码被执行前。
4.2 案例三分析这个例子主要说明了一类对free variable引用的问题。同时这个例子也展示了一个free variable的使用。
在创建闭包inner_func时，loc_var1和loc_var2作为父函数outer_func中的两个local variable在其内部inner_func的scope中是可见的。返回闭包之后在闭包中被引用outer_func中的local variable将作为称为一个free variable.
闭包中的free variable可不可以被引用取决于它们有没有被绑定到具体的对象。
5. 引申案例下面再来看一个例子：
import sys
def add_path(new_path):
path_list = sys.path
if new_path not in path_list:
import sys
sys.path.append(new_path)
add_path('./')
平时不经意间可能就会犯上面的这个错误，这也是一个典型的UnboundLocalError错误。如果仔细的阅读并理解上面的分析过程，相信应给能够理解这个错误的原因。如果还不太清除，请再阅读一遍 ：-）