写 Python 时要避免的十个错误

常见错误 1:错误地将表达式作为函数的默认参数

在 Python 中,我们可以为函数的某个参数设置默认值,使该参数成为可选参数。虽然这是一个很好的语言特性,但是当默认值是可变类型时,也会导致一些令人困惑的情况。我们来看看下面这个 Python 函数定义:

1.  `>>> def foo(bar=[]): # bar是可选参数,如果没有提供bar的值,则默认为[],`
2.  `... bar.append("baz") # 但是稍后我们会看到这行代码会出现问题。`
3.  `... return bar`

Python 程序员常犯的一个错误,就是想当然地认为:在每次调用函数时,如果没有为可选参数传入值,那么这个可选参数就会被设置为指定的默认值。在上面的代码中,你们可能觉得重复调用 foo() 函数应该会一直返回’baz’,因为你们默认每次 foo()函数执行时(没有指定 bar变量的值), bar变量都被设置为 [](也就是,一个新的空列表)。

但是,实际运行结果却是这样的:

1.  `>>> foo()`
2.  `["baz"]`
3.  `>>> foo()`
4.  `["baz", "baz"]`
5.  `>>> foo()`
6.  `["baz", "baz", "baz"]`

很奇怪吧?为什么每次调用 foo()函数时,都会把 "baz" 这个默认值添加到已有的列表中,而不是重新创建一个新的空列表呢?
答案就是,可选参数默认值的设置在 Python 中只会被执行一次,也就是定义该函数的时候。因此,只有当 foo()函数被定义时, bar参数才会被初始化为默认值(也就是,一个空列表),但是之后每次 foo()函数被调用时,都会继续使用 bar参数原先初始化生成的那个列表。

当然,一个常见的解决办法就是:

1.  `>>> def foo(bar=None):`
2.  `... if bar is  None: # or if not bar:`
3.  `... bar = []`
4.  `... bar.append("baz")`
5.  `... return bar`
6.  `...`
7.  `>>> foo()`
8.  `["baz"]`
9.  `>>> foo()`
10.  `["baz"]`
11.  `>>> foo()`
12.  `["baz"]`

常见问题 2:错误地使用类变量

来看下面这个例子:

1.  `>>> class A(object):`
2.  `... x = 1`
3.  `...`
4.  `>>> class B(A):`
5.  `... pass`
6.  `...`
7.  `>>> class C(A):`
8.  `... pass`
9.  `...`
10.  `>>> print A.x, B.x, C.x`
11.  `1  1  1`

这个结果很正常。

1.  `>>> B.x = 2`
2.  `>>> print A.x, B.x, C.x`
3.  `1  2  1`

嗯,结果和预计的一样。

1.  `>>> A.x = 3`
2.  `>>> print A.x, B.x, C.x`
3.  `3  2  3`

在 Python 语言中,类变量是以字典的形式进行处理的,并且遵循方法解析顺序(Method Resolution Order,MRO)。因此,在上面的代码中,由于类 C 中并没有 x这个属性,解释器将会查找它的基类(base class,尽管 Python 支持多重继承,但是在这个例子中,C 的基类只有 A)。换句话说,C 并不没有独立于 A、真正属于自己的 x属性。所以,引用 C.x实际上就是引用了 A.x。如果没有处理好这里的关系,就会导致示例中出现的这个问题。

常见错误 3:错误地指定异常代码块(exception block)的参数

请看下面这段代码:

1.  `>>> try:`
2.  `... l = ["a", "b"]`
3.  `... int(l[2])`
4.  `... except  ValueError, IndexError: # To catch both exceptions, right?`
5.  `... pass`
6.  `...`
7.  `Traceback (most recent call last):`
8.  `File  "", line 3, in  `
9.  `IndexError: list index out of range`

这段代码的问题在于, except语句并不支持以这种方式指定异常。在 Python 2.x 中,需要使用变量 e将异常绑定至可选的第二个参数中,才能进一步查看异常的情况。因此,在上述代码中, except语句并没有捕获 IndexError 异常;而是将出现的异常绑定到了一个名为 IndexError的参数中。

要想在 except语句中正确地捕获多个异常,则应将第一个参数指定为元组,然后在元组中写下希望捕获的异常类型。另外,为了提高可移植性,请使用 as关键词,Python 2 和 Python 3 均支持这种用法。

1.  `>>> try:`
2.  `... l = ["a", "b"]`
3.  `... int(l[2])`
4.  `... except (ValueError, IndexError) as e:`
5.  `... pass`
6.  `...`
7.  `>>>`

常见错误 4:错误理解 Python 中的变量名解析

Python 中的变量名解析遵循所谓的 LEGB原则,也就是“L:本地作用域;E:上一层结构中 def 或 lambda 的本地作用域;G:全局作用域;B:内置作用域”(Local,Enclosing,Global,Builtin),按顺序查找。看上去是不是很简单?不过,事实上这个原则的生效方式还是有着一些特殊之处。说到这点,我们就不得不提下面这个常见的 Python 编程错误。请看下面的代码:

1.  `>>> x = 10`
2.  `>>> def foo():`
3.  `... x += 1`
4.  `... print x`
5.  `...`
6.  `>>> foo()`
7.  `Traceback (most recent call last):`
8.  `File  "", line 1, in  `
9.  `File  "", line 2, in foo`
10.  `UnboundLocalError: local variable 'x' referenced before assignment`

出了什么问题?

上述错误的出现,是因为当你在某个作用域内为变量赋值时,该变量被 Python 解释器自动视作该作用域的本地变量,并会取代任何上一层作用域中相同名称的变量。

正是因为这样,才会出现一开始好好的代码,在某个函数内部添加了一个赋值语句之后却出现了 UnboundLocalError,难怪会让许多人吃惊。

在使用列表时,Python 程序员尤其容易陷入这个圈套。

请看下面这个代码示例:

1.  `>>> lst = [1, 2, 3]`
2.  `>>> def foo1():`
3.  `... lst.append(5) # 这里没问题`
4.  `...`
5.  `>>> foo1()`
6.  `>>> lst`
7.  `[1, 2, 3, 5]`
9.  `>>> lst = [1, 2, 3]`
10.  `>>> def foo2():`
11.  `... lst += [5] # ... 但这里就不对了!`
12.  `...`

呃?为什么函数 foo1运行正常, foo2却出现了错误?

答案与上一个示例相同,但是却更难捉摸清楚。 foo1函数并没有为 lst变量进行赋值,但是 foo2却有赋值。我们知道, lst+=[5]只是 lst=lst+[5]的简写,从中我们就可以看出, foo2函数在尝试为 lst赋值(因此,被 Python 解释器认为是函数本地作用域的变量)。但是,我们希望为 lst赋的值却又是基于 lst变量本身(这时,也被认为是函数本地作用域内的变量),也就是说该变量还没有被定义。这才出现了错误。

常见错误 5:在遍历列表时更改列表

下面这段代码的问题应该算是十分明显:

1.  `>>> odd = lambda x : bool(x % 2)`
2.  `>>> numbers = [n for n in range(10)]`
3.  `>>> for i in range(len(numbers)):`
4.  `... if odd(numbers[i]):`
5.  `... del numbers[i] # BAD: Deleting item from a list while iterating over it`
6.  `...`
7.  `Traceback (most recent call last):`
8.  `File  "", line 2, in  `
9.  `IndexError: list index out of range`

在遍历列表或数组的同时从中删除元素,是任何经验丰富的 Python 开发人员都会注意的问题。但是尽管上面的示例十分明显,资深开发人员在编写更为复杂代码的时候,也很可能会无意之下犯同样的错误。

幸运的是,Python 语言融合了许多优雅的编程范式,如果使用得当,可以极大地简化代码。简化代码还有一个好处,就是不容易出现在遍历列表时删除元素这个错误。能够做到这点的一个编程范式就是列表解析式。而且,列表解析式在避免这个问题方面尤其有用,下面用列表解析式重新实现上面代码的功能:

1.  `>>> odd = lambda x : bool(x % 2)`
2.  `>>> numbers = [n for n in range(10)]`
3.  `>>> numbers[:] = [n for n in numbers if  not odd(n)] # ahh, the beauty of it all`
4.  `>>> numbers`
5.  `[0, 2, 4, 6, 8]`

常见错误 6:不理解 Python 在闭包中如何绑定变量

请看下面这段代码:

1.  `>>> def create_multipliers():`
2.  `... return [lambda x : i * x for i in range(5)]`
3.  `>>> for multiplier in create_multipliers():`
4.  `... print multiplier(2)`

5.  `...`

你可能觉得输出结果应该是这样的:

0
2
4
6
8

但是,实际的输出结果却是:

8
8
8
8
8

吓了一跳吧!

这个结果的出现,主要是因为 Python 中的迟绑定(late binding )机制,即闭包中变量的值只有在内部函数被调用时才会进行查询。因此,在上面的代码中,每次 create_multipliers()所返回的函数被调用时,都会在附近的作用域中查询变量 i 的值(而到那时,循环已经结束,所以变量 i 最后被赋予的值为 4)。

要解决这个常见 Python 问题的方法中,需要使用一些 hack 技巧:

1.  `>>> def create_multipliers():`
2.  `... return [lambda x, i=i : i * x for i in range(5)]`
3.  `...`
4.  `>>> for multiplier in create_multipliers():`
5.  `... print multiplier(2)`
6.  `...`
7.  `0`
8.  `2`
9.  `4`
10.  `6`
11.  `8`

请注意!我们在这里利用了默认参数来实现这个 lambda 匿名函数。有人可能认为这样做很优雅,有人会觉得很巧妙,还有人会嗤之以鼻。但是,如果你是一名 Python 程序员,不管怎样你都应该要了解这种解决方法。

常见错误 7:模块之间出现循环依赖(circular dependencies)

假设你有两个文件,分别是 a.pyb.py,二者相互引用,如下所示:

a.py文件中的代码:

1.  `import b`
3.  `def f():`
4.  `return b.x`
6.  `print f()`

b.py文件中的代码:

1.  `import a`
3.  `x = 1`
5.  `def g():`
6.  `print a.f()`

首先,我们尝试导入 a.py模块:

1.  `>>> import a`
2.  `1`

代码运行正常。也许这出乎了你的意料。毕竟,我们这里存在循环引用这个问题,想必应该是会出现问题的,难道不是吗?

答案是,仅仅存在循环引用的情况本身并不会导致问题。如果一个模块已经被引用了,Python 可以做到不再次进行引用。但是如果每个模块试图访问其他模块定义的函数或变量的时机不对,那么你就很可能陷入困境。

那么回到我们的示例,当我们导入 a.py模块时,它在引用 b.py模块时是不会出现问题的,因为b.py模块在被引用时,并不需要访问在 a.py模块中定义的任何变量或函数。 b.py模块中对 a 模块唯一的引用,就是调用了 a 模块的 foo()函数。但是那个函数调用发生在 g()函数当中,而 a.pyb.py模块中都没有调用 g()函数。所以,不会出现问题。

但是,如果我们试着导入 b.py模块呢(即之前没有引用 a.py模块的前提下):

1.  `>>> import b`
2.  `Traceback (most recent call last):`
3.  `File  "", line 1, in  `
4.  `File  "b.py", line 1, in  `
5.  `import a`
6.  `File  "a.py", line 6, in  `
7.  `print f()`
8.  `File  "a.py", line 4, in f`
9.  `return b.x`
10.  `AttributeError: 'module'  object has no attribute 'x'`

糟糕。情况不太妙!这里的问题是,在导入 b.py的过程中,它试图引用 a.py模块,而 a.py模块接着又要调用 foo()函数,这个 foo()函数接着又试图去访问 b.x变量。但是这个时候, b.x变量还没有被定义,所以才出现了 AttributeError 异常。

解决这个问题有一种非常简单的方法,就是简单地修改下 b.py模块,在 g()函数内部才引用 a.py

1.  `x = 1`
3.  `def g():`
4.  `import a # This will be evaluated only when g() is called`
5.  `print a.f()`

现在我们再导入 b.py模块的话,就不会出现任何问题了:

1.  `>>> import b`
2.  `>>> b.g()`
3.  `1  # Printed a first time since module 'a' calls 'print f()' at the end`
4.  `1  # Printed a second time, this one is our call to 'g'`

常见错误 8:模块命名与 Python 标准库模块名冲突

Python 语言的一大优势,就是其本身自带的强大标准库。但是,正因为如此,如果你不去刻意注意的话,你也是有可能为自己的模块取一个和 Python 自带标准库模块相同的名字(例如,如果你的代码中有一个模块叫 email.py,那么这就会与 Python 标准库中同名的模块相冲突。)

这很可能会给你带来难缠的问题。举个例子,在导入模块 A 的时候,假如该模块 A 试图引用 Python 标准库中的模块 B,但却因为你已经有了一个同名模块 B,模块 A 会错误地引用你自己代码中的模块 B,而不是 Python 标准库中的模块 B。这也是导致一些严重错误的原因。

因此,Python 程序员要格外注意,避免使用与 Python 标准库模块相同的名称。毕竟,修改自己模块的名称比提出 PEP 提议修改上游模块名称且让提议通过,要来得容易的多。

常见错误 9:未能解决 Python 2 与 Python 3 之间的差异

假设有下面这段代码:

1.  `import sys`
3.  `def bar(i):`
4.  `if i == 1:`
5.  `raise  KeyError(1)`
6.  `if i == 2:
7.  `raise  ValueError(2)`
9.  `def bad():`
10.  `e = None`
11.  `try:
12.  `bar(int(sys.argv[1]))`
13.  `except  KeyError  as e:
14.  `print('key error')`
15.  `except  ValueError  as e:`
16.  `print('value error')`
17.  `print(e)`
19.  `bad()`

如果是 Python 2,那么代码运行正常:

1.  `$ python foo.py 1`
2.  `key error
3.  `1`
4.  `$ python foo.py 2`
5.  `value error`
6.  `2`

但是现在,我们换成 Python 3 再运行一遍:

1.  `$ python3 foo.py 1`
2.  `key error`
3.  `Traceback (most recent call last):`
4.  `File  "foo.py", line 19, in  `
5.  `bad()`
6.  `File  "foo.py", line 17, in bad`
7.  `print(e)`
8.  `UnboundLocalError: local variable 'e' referenced before assignment`

这到底是怎么回事?这里的“问题”是,在 Python 3 中,异常对象在 except 代码块作用域之外是无法访问的。(这么设计的原因在于,如果不这样的话,堆栈帧中就会一直保留它的引用循环,直到垃圾回收器运行,将引用从内存中清除。)

避免这个问题的一种方法,就是在 except 代码块的作用域之外,维持一个对异常对象的引用(reference),这样异常对象就可以访问了。下面这段代码就使用了这种方法,因此在 Python 2 和 Python 3 中的输出结果是一致的:

1.  `import sys`
3.  `def bar(i):`
4.  `if i == 1:`
5.  `raise  KeyError(1)`
6.  `if i == 2:`
7.  `raise  ValueError(2)`
9.  `def good():`
10.  `exception = None`
11.  `try:`
12.  `bar(int(sys.argv[1]))`
13.  `except  KeyError  as e:`
14.  `exception = e`
15.  `print('key error')`
16.  `except  ValueError  as e:`
17.  `exception = e`
18.  `print('value error')`
19.  `print(exception)`
21.  `good()`

在 Python 3 下运行代码:

1.  `$ python3 foo.py 1`
2.  `key error`
3.  `1`
4.  `$ python3 foo.py 2`
5.  `value error`
6.  `2`

常见错误 10:错误使用del方法

假设你在 mod.py的文件中编写了下面的代码:

1.  `import foo`
3.  `class  Bar(object):`
4.  `...`
5.  `def __del__(self):`
6.  `foo.cleanup(self.myhandle)`

之后,你在 another_mod.py文件中进行如下操作:

1.  `import mod`
2.  `mybar = mod.Bar()`

如果你运行 another_mod.py模块的话,将会出现 AttributeError 异常。

为什么?因为当解释器结束运行的时候,该模块的全局变量都会被设置为 None。因此,在上述示例中,当 __del__方法被调用之前, foo已经被设置成了 None

要想解决这个有点棘手的 Python 编程问题,其中一个办法就是使用 atexit.register()方法。这样的话,当你的程序执行完成之后(即正常退出程序的情况下),你所指定的处理程序就会在解释器关闭之前运行。

应用了上面这种方法,修改后的 mod.py文件可能会是这样子的:

1.  `import foo`
2.  `import atexit`
4.  `def cleanup(handle):`
5.  `foo.cleanup(handle)`
8.  `class  Bar(object):`
9.  `def __init__(self):`
10.  `...`
11.  `atexit.register(cleanup, self.myhandle)`

这种实现支持在程序正常终止时干净利落地调用任何必要的清理功能。很明显,上述示例中将会由 foo.cleanup函数来决定如何处理 self.myhandle所绑定的对象。