流畅的Python（第2版）

对象引用、可变性和垃圾回收

｜

167

达，从而使得对象被删除。

你可能觉得奇怪，为什么示例

6-16

中的对象

{1, 2, 3}

被销毁了？毕竟，我们把

s1

引用

传给

finalize

函数了，而为了监控对象和调用回调，必须要有引用。这是因为，

finalize

持有

{1, 2, 3}

的

弱引用

（

weak reference

）。对象的弱引用不增加对象的引用计数。因此，

弱引用不阻碍目标对象被当作垃圾而回收。弱引用在缓存应用中用得到，因为我们不希望

由于存在对缓存的引用而导致缓存的对象无法被删除。

6.7

　

Python

对不可变类型施加的把戏

你可以放心地跳过本节。这里讨论的是

Python

的实现细节，对

Python

用户

来说没那么重要，可能也不适用于

Python

的其他实现甚至

CPython

的未来版

本。尽管如此，但我见过有人遇到极端情况时错误地使用

is

运算符，因此

还是有必要讲一下。

我惊讶地发现，对元组

t

来说，

t[:]

不创建副本，而是返回同一个对象的引用。此外，

tuple(t)

获得的也是同一个元组的引用。

3

示例

6-17

可以证明这一点。

示例

6-17

使用一个元组构建一个元组，得到的其实是同一个元组

>>> t1 = (1, 2, 3)

>>> t2 = tuple(t1)

>>> t2 is t1

➊

True

>>> t3 = t1[:]

>>> t3 is t1

➋

True

➊

t1

和

t2

绑定同一个对象。

➋

t3

也是。

str

、

bytes

和

frozenset

实例也有这种行为。注意，

frozenset

对象不是序列，因此 ...