wtfPython 就是「What the f*ck Python? 」的意思,这个项目列举了一些代码片段,可能结果和你想到的是不一致的,并且作者会告诉你为什么。本来将展示最有意义的一部分:

混合 Tab 和空格

def square(x):
    sum_so_far = 0
    for counter in range(x):
        sum_so_far = sum_so_far + x
    return sum_so_far

print(square(10))

结果是 10??不是应该 100 么?

其实这种错误的结果的原因,所有书籍和开发者都说过,就是不要混 Tab 和空格,源代码你可以看项目中的 mixed_tabs_and_spaces.py。

字典键的隐式转换

In [1]: some_dict = {}
   ...: some_dict[5.5] = "Ruby"
   ...: some_dict[5.0] = "JavaScript"
   ...: some_dict[5] = "Python"
   ...:

In [2]: some_dict[5.5]
Out[2]: 'Ruby'

In [3]: some_dict[5.0]
Out[3]: 'Python'

In [4]: some_dict[5]
Out[4]: 'Python'

这样的原因是键被隐式的转换了:

In [5]: hash(5) == hash(5.0)
Out[5]: True

生成器执行时间的差异

In [6]: array = [1, 8, 15]
   ...: g = (x for x in array if array.count(x) > 0)
   ...: array = [2, 8, 22]
   ...:

In [7]: print(list(g))
[8]

这种隐式的非预期结果在实际开发中是可能出现的。原因是 in 的操作是在申明时求值的,而 if 是在运行期求值的。

在字典迭代时修改该字典

In [8]: x = {0: None}
   ...:
   ...: for i in x:
   ...:     del x[i]
   ...:     x[i+1] = None
   ...:     print(i)
   ...:
0
1
2
3
4

首先说的时候在迭代过程中是不能修改字典的长度的:

In [13]: for i in x:
    ...:     del x[i]
    ...:
---------------------------------------------------------------------------
RuntimeError                              Traceback (most recent call last)
<ipython-input-13-a5c6e73be64f> in <module>()
----> 1 for i in x:
      2     del x[i]
      3

RuntimeError: dictionary changed size during iteration

但是删掉一个添加一个是可以的。运行了 5 次才结束是因为字典会定期重新设置以便接受更多的键,但是和项目中的运行 8 次是不一样的。

在列表迭代时删除条目

In [14]: list_1 = [1, 2, 3, 4]
    ...: list_2 = [1, 2, 3, 4]
    ...: list_3 = [1, 2, 3, 4]
    ...: list_4 = [1, 2, 3, 4]
    ...:
    ...: for idx, item in enumerate(list_1):
    ...:     del item
    ...:
    ...: for idx, item in enumerate(list_2):
    ...:     list_2.remove(item)
    ...:
    ...: for idx, item in enumerate(list_3[:]):
    ...:     list_3.remove(item)
    ...:
    ...: for idx, item in enumerate(list_4):
    ...:     list_4.pop(idx)
    ...:

In [15]: list_1, list_2
Out[15]: ([1, 2, 3, 4], [2, 4])

In [16]: list_3, list_4
Out[16]: ([], [2, 4])

其中只有 list_3 是正确的行为。但是为什么会出现[2, 4] 的结果呢?第一次删掉了 index 是 0 的 1,就剩[2, 3, 4],然后移除 index 1, 就是 3,剩下了[2, 4],但是现在只有 2 个元素,循环就结束了。

is

>>> a = 256
>>> b = 256
>>> a is b
True

>>> a = 257
>>> b = 257
>>> a is b
False

>>> a = 257; b = 257
>>> a is b
True

is用来对比身份,而==用来对比值。通常 is 为 True,== 就是 True,但是反之不一定:

>>> [] == []
True
>>> [] is [] # 2个列表使用了不同的内存位置
False

上面的例子中,-5 - 256 由于太经常使用,所以设计成固定存在的对象:

>>> id(256)
10922528
>>> a = 256
>>> b = 256
>>> id(a)
10922528
>>> id(b)
10922528
>>> id(257)
140084850247312
>>> x = 257
>>> y = 257
>>> id(x)
140084850247440
>>> id(y)
140084850247344

is not ... 和 is (not ...)

>>> 'something' is not None
True
>>> 'something' is (not None)
False

其中 (not None) 优先执行,最后其实变成了'something' is True

循环中的函数也会输出到相同的输出

In [17]: funcs = []
    ...: results = []
    ...: for x in range(7):
    ...:     def some_func():
    ...:         return x
    ...:     funcs.append(some_func)
    ...:     results.append(some_func())
    ...:
    ...: funcs_results = [func() for func in funcs]
    ...:

In [18]: results, funcs_results
Out[18]: ([0, 1, 2, 3, 4, 5, 6], [6, 6, 6, 6, 6, 6, 6])

我之前在 Expert-Python 这个 PPT 中介绍过「开发陷阱,闭包变量绑定」,其实这个例子就是因为这个问题。解决方法就是把循环的变量传到 some_func 里面去:

In [19]: funcs = []
    ...: for x in range(7):
    ...:     def some_func(x=x):
    ...:         return x
    ...:     funcs.append(some_func)
    ...:

In [20]: [func() for func in funcs]
Out[20]: [0, 1, 2, 3, 4, 5, 6]

循环中的局部变量泄露

>>> x = 1
>>> print([x for x in range(5)])
[0, 1, 2, 3, 4]
>>> print(x, ': x in global')
(4, ': x in global')

在 Python 2 中 x 的值在一个循环执行之后被改变了。不过再 Python 3 这个问题解决了。

可变默认参数

In [1]: def some_func(default_arg=[]):
   ...:     default_arg.append("some_string")
   ...:     return default_arg
   ...:

In [2]: some_func()
Out[2]: ['some_string']

In [3]: some_func()
Out[3]: ['some_string', 'some_string']

In [4]: some_func([])
Out[4]: ['some_string']

In [5]: some_func()
Out[5]: ['some_string', 'some_string', 'some_string']

Expert-Python 这个 PPT 中同样介绍过。Python 是引用传递,上面例子的参数是一个列表,它所指向的对象可以被修改。通用的解决办法是在函数内判断:

def some_func(default_arg=None):
    if not default_arg:
        default_arg = []
    default_arg.append("some_string")
    return default_arg

+ 和 += 的差别

>>> a = [1, 2, 3, 4]
>>> b = a
>>> a = a + [5, 6, 7, 8]
>>> a, b
([1, 2, 3, 4, 5, 6, 7, 8], [1, 2, 3, 4])

>>> a = [1, 2, 3, 4]
>>> b = a
>>> a += [5, 6, 7, 8]
>>> a, b
([1, 2, 3, 4, 5, 6, 7, 8], [1, 2, 3, 4, 5, 6, 7, 8])

通常的运算过程,区别就是 a = a + X 和 a += X。这是因为a = a + X是重新创建一个对象 a,而a += X是在 a 这个 list 上面做 extend 操作。

元组赋值

In [6]: another_tuple = ([1, 2], [3, 4], [5, 6])
   ...:

In [7]: another_tuple[2].append(1000)

In [8]: another_tuple
Out[8]: ([1, 2], [3, 4], [5, 6, 1000])

In [9]: another_tuple[2] += [99, 999]
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)
<ipython-input-9-d07c65f24a63> in <module>()
----> 1 another_tuple[2] += [99, 999]

TypeError: 'tuple' object does not support item assignment

In [10]: another_tuple
Out[10]: ([1, 2], [3, 4], [5, 6, 1000, 99, 999])

在我们的印象里面元组是不可变的呀?其实我之前还专门写过一篇 Python 元组的赋值谜题 讲这个问题,简单的说对 list 的赋值成功了,但是赋值失败了,不过由于值是引用的,所以才会出现这个执行失败实际成功的效果。

使用在范围内未定义的变量

In [11]: a = 1
    ...: def some_func():
    ...:     return a
    ...:
    ...: def another_func():
    ...:     a += 1
    ...:     return a
    ...:

In [12]: some_func()
Out[12]: 1

In [13]: another_func()
---------------------------------------------------------------------------
UnboundLocalError                         Traceback (most recent call last)
<ipython-input-13-703bd168975f> in <module>()
----> 1 another_func()

<ipython-input-11-cff7ceae4600> in another_func()
      4
      5 def another_func():
----> 6     a += 1
      7     return a

UnboundLocalError: local variable 'a' referenced before assignment

这是由于在 another_func 中的赋值操作会把 a 变成一个本地变量,但是在相同范围内并没有初始化它。如果希望它能正确运行可以加 global:

In [17]: def another_func():
    ...:     global a
    ...:     a += 1
    ...:     return a
    ...:

In [18]: another_func()
Out[18]: 2

使用 finally 的 return

In [19]: def some_func():
    ...:     try:
    ...:         return 'from_try'
    ...:     finally:
    ...:         return 'from_finally'
    ...:

In [20]: some_func()
Out[20]: 'from_finally'

try…finally 这种写法里面,finally 中的 return 语句永远是最后一个执行

忽略类范围的名称解析

In [21]: x = 5
    ...: class SomeClass:
    ...:     x = 17
    ...:     y = (x for i in range(10))
    ...:

In [22]: list(SomeClass.y)[0]
Out[22]: 5

In [23]: x = 5
    ...: class SomeClass:
    ...:     x = 17
    ...:     y = [x for i in range(10)]
    ...:

In [24]: SomeClass.y[0]
Out[24]: 5

这是由于类范围的名称解析被忽略了,而生成器有它自己的本地范围,而在 Python3 中列表解析也有自己的范围,所以 x 的值是 5。不过,第二个例子在 Python2 中 SomeClass.y[0] 的值是 17。

列表中的布尔值

In [34]: mixed_list = [False, 1.0, "some_string", 3, True, [], False]
    ...: integers_found_so_far = 0
    ...: booleans_found_so_far = 0
    ...:
    ...: for item in mixed_list:
    ...:     if isinstance(item, int):
    ...:         integers_found_so_far += 1
    ...:     elif isinstance(item, bool):
    ...:         booleans_found_so_far += 1
    ...:

In [35]: booleans_found_so_far
Out[35]: 0

In [36]: integers_found_so_far
Out[36]: 4

这是由于布尔也是 int 的子类:

In [41]: isinstance(True, int)
Out[41]: True

#

In [42]: a, b = a[b] = {}, 5
    ...:

In [43]: a, b
Out[43]: ({5: ({...}, 5)}, 5)

看起来有点懵吧,我们拆一下:

In [44]: a[b] = {}, 5

In [47]: a, b
Out[47]: ({5: ({}, 5)}, 5)

这样 b 是 5,而 a[5] 的值是 ({}, 5),所以 a 是 {5: ({}, 5)。接着看:

In [48]: a[b] = a, b

In [49]: a
Out[49]: {5: ({...}, 5)}

这其实是一个对自己的「自引用」,看个例子:

In [50]: a = {}

In [51]: a[5] = a

In [52]: a
Out[52]: {5: {...}}

In [53]: a[5] == a
Out[53]: True

In [54]: a[5][5][5]
Out[54]: {5: {...}}

看,a[5] 就是 a,这可以是一个永久循环,Python 用... 来表示了