如果说python解释器执行到def my_function()时才绑定到my_function，而my_function此时也表示的是内存中函数执行的入口。因此在此之前使用my_function均会有NameError错误。
那么上面的例子中使用变量前，都有赋值操作（可视为一种绑定操作，后面会讲），为什么引用时会出错？定义也可判断可见性
如果说是因为赋值操作没有执行，那么为什么该变量名在局部命名空间是可见的？（不可见的话,会有这类错误：NameError: global name 'xxx' is not defined，根据UnboundLocalError定义也可判断可见性)
问题到底出在哪里？怎样正确理解上面三个例子中的错误？
3. 可见性与绑定简单起见，这里不介绍命名空间与变量查找规则LGB相关的概念。
在C或者C++中，只要声明并定义了一个变量或者函数，便可以直接使用。但是在Python中要想引用一个name，该name必须要可见而且是绑定的。
先了解一下几个概念：
code block：作为一个单元(Unit)被执行的一段python程序文本。例如一个模块、函数体和类的定义等。
scope：在一个code block中定义name的可见性；
block’s environment：对于一个code block，其所有scope中可见的name的集合构成block的环境。
bind name：下面的操作均可视为绑定操作
函数的形参
import声明
类和函数的定义
赋值操作
for循环首标
异常捕获中相关的赋值变量
local variable：如果name在一个block中被绑定，该变量便是该block的一个local variable。
global variable：如果name在一个module中被绑定，该变量便称为一个global variable。
free variable: 如果一个name在一个block中被引用，但没有在该代码块中被定义，那么便称为该变量为一个free variable。
Free variable是一个比较重要的概念，在闭包中引用的父函数中的局部变量是一个free variable，而且该free variable被存放在一个cell对象中。这个会在闭包相关的文章中介绍。
scope在函数中具有可扩展性，但在类定义中不具有可扩展性。
分析整理一下：
经过上面的一些概念介绍我们知道了，一个变量只要在其code block中有绑定操作，那么在code block的scope中便包含有这个变量。
也就是绑定操作决定了，被绑定的name在当前scope(如果是函数的话，也包括其中定义的scope)中是可见的，哪怕是在name进行真正的绑定操作之前。
这里就会有一个问题，那就是如果在绑定name操作之前引用了该name，那么就会出现问题，即使该name是可见的。
If a name binding operation occurs anywhere within a code block, all uses of the name within the block are treated as references to the current block. This can lead to errors when a name is used within a block before it is bound. This rule is subtle. Python lacks declarations and allows name binding operations to occur anywhere within a code block. The local variables of a code block can be determined by scanning the entire text of the block for name binding operations.
注意上面官方描述的第一句和最后一句话。
总的来说就是在一个code block中，所有绑定操作中被绑定的name均可以视为一个local variable；但是直到绑定操作被执行之后才可以真正的引用该name。
有了这些概念，下面逐一分析一下上面的三个案例。
4. 错误解析 4.1 案例一分析在outer_func中我们定义了变量loc_var，因为赋值是一种绑定操作，因此loc_var具有可见性，并且被绑定到了具体的字符串对象。
但是在其中定义的函数inner_func中却并不能引用，函数中的scope不是可以扩展到其内定义的所有scope中吗？
下面在在来看一下官方的两段文字描述：
When a name is used in a code block, it is resolved using the nearest enclosing scope.
这段话告诉我们当一个name被引用时，他会在其最近的scope中寻找被引用name的定义。显然loc_var += " in inner func"这个语句中的loc_var会先在内部函数inner_func中找寻name loc_var。
该语句实际上等价于loc_var = loc_var + " in inner func"，等号右边的loc_var变量会首先被使用，但这里并不会使用outer_func中定义的loc_var，因为在函数inner_func的scope中有loc_var的赋值操作，因此这个变量在inner_func的scope中作为inner_func的一个local variable是可见的。
但是要等该语句执行完成，才能真正绑定loc_var。也就是此语句中我们使用了inner_func block中的被绑定之前的一个local variable。根据上面错误类型的定义，这是一个UnboundLocalError.
4.2 案例二分析在这个例子中，看上去好像有问题，但是又不知道怎么解释。