这里有两个链接可能会有所帮助

1: docs.python.org/3.1/faq/programming.html?highlight=nonlocal#why-am-i-getting-an-unboundlocalerror-when-the-variable-has- a-value

2: docs.python.org/3.1/faq/programming.html?highlight=nonlocal#how-do-i-write-a-function-with-output-parameters-call-by-ref erence

link 1描述了错误UnboundLocalError。链接二可以帮助您重新编写测试函数。基于连杆二，原问题可以改写为:

>>> a, b, c = (1, 2, 3)
>>> print (a, b, c)
(1, 2, 3)
>>> def test (a, b, c):
...     print (a)
...     print (b)
...     print (c)
...     c += 1
...     return a, b, c
...
>>> a, b, c = test (a, b, c)
1
2
3
>>> print (a, b ,c)
(1, 2, 4)

最好的例子是:

bar = 42
def foo():
    print bar
    if False:
        bar = 0

当调用foo()时，这也会引发UnboundLocalError，尽管我们永远不会到达line bar=0，所以逻辑上不应该创建本地变量。

神秘之处在于“Python是一种解释型语言”，函数foo的声明被解释为一个单独的语句(即复合语句)，它只是无声地解释它，并创建局部和全局作用域。因此bar在执行前在局部范围内被识别。

更多类似的例子请阅读这篇文章:http://blog.amir.rachum.com/blog/2013/07/09/python-common-newbie-mistakes-part-2/

这篇文章提供了对Python变量作用域的完整描述和分析:

在初始化之后，通常在循环或条件块中对变量使用del关键字时，也会发生此问题。

Python解释器将把函数作为一个完整的单元来读取。我认为它是分两次读取，一次是收集它的闭包(局部变量)，然后再次将其转换为字节码。

我相信你已经意识到，在'='左边使用的任何名称都是隐式的局部变量。我不止一次因为改变一个变量对a +=的访问而被发现，它突然变成了一个不同的变量。

我还想指出的是，它与全局作用域并没有什么特别的关系。嵌套函数也有同样的行为。

Python有点奇怪，因为它将所有内容保存在不同作用域的字典中。原来的a b c在最上面的作用域，所以在最上面的字典里。该函数有自己的字典。当你到达print(a)和print(b)语句时，字典中没有这个名字，所以Python查找列表并在全局字典中找到它们。

现在我们得到c+=1，当然，它等价于c=c+1。当Python扫描这一行时，它说:“啊哈，有一个名为c的变量，我将把它放入我的本地作用域字典中。”然后当它在赋值的右边寻找c的值时，它找到了它的局部变量c，它还没有值，因此抛出了错误。

上面提到的语句global c只是告诉解析器它使用全局作用域的c，因此不需要新的c。

它之所以说行中有问题是因为它在尝试生成代码之前有效地查找名称，因此在某种意义上，它认为它还没有真正地执行那一行。我认为这是一个可用性错误，但学习不要太认真地对待编译器的消息通常是一个很好的实践。

如果这能让我感到安慰的话，我花了大约一天的时间来研究这个问题，然后我发现了Guido写的一些关于解释一切的字典的东西。

更新，见评论:

它不会扫描两次代码，但它确实分两个阶段扫描代码:词法分析和解析。

考虑一下如何解析这行代码。词法分析器读取源文本并将其分解为词素(语法的“最小组件”)。所以当它碰到直线时

c+=1

它把它分解成

SYMBOL(c) OPERATOR(+=) DIGIT(1)

The parser eventually wants to make this into a parse tree and execute it, but since it's an assignment, before it does, it looks for the name c in the local dictionary, doesn't see it, and inserts it in the dictionary, marking it as uninitialized. In a fully compiled language, it would just go into the symbol table and wait for the parse, but since it WON'T have the luxury of a second pass, the lexer does a little extra work to make life easier later on. Only, then it sees the OPERATOR, sees that the rules say "if you have an operator += the left hand side must have been initialized" and says "whoops!"

这里的问题是，它还没有真正开始对行进行解析。这些都是实际解析前的准备工作，所以行计数器还没有执行到下一行。因此，当它发出错误信号时，它仍然认为它在上一行。

就像我说的，你可能会认为这是一个可用性漏洞，但实际上这是一件相当普遍的事情。有些编译器更诚实，会说“第XXX行附近有错误”，但这个编译器没有。

当您尝试传统的全局变量语义时，Python有相当有趣的行为。我不记得细节了，但你可以读取在'global'范围内声明的变量的值，但如果你想修改它，你必须使用global关键字。试着把test()改成这样:

def test():
    global c
    print(a)
    print(b)
    print(c)    # (A)
    c+=1        # (B)

同样，你得到这个错误的原因是因为你也可以在函数中声明一个与“全局”同名的新变量，并且它将完全独立。解释器认为你试图在这个作用域中创建一个名为c的新变量，并在一个操作中修改它，这在Python中是不允许的，因为这个新的c没有初始化。