python - 列表与 str 切片的 ID

Question

给定一个列表 a = [1,2,3] ，为什么下面的说法是正确的

id(a[:]) == id(a[:]) # true

而下面一个是假的？

b = a[:]
id(b) == id(a[:]) # false

另外，如果我改为使用字符串(代替列表)，那么这两个语句都是正确的。为什么？我错过了什么？

Answer 1

id被定义为对象在其生命周期内是唯一的。也就是说，同时存在的两个单独的对象不能具有相同的 id .但是，在不同时间存在的两个单独的对象以及不需要分开的对象可能具有相同的 id .

id(object)

Return the “identity” of an object. This is an integer which is guaranteed to be unique and constant for this object during its lifetime. Two objects with non-overlapping lifetimes may have the same id() value.

因此，在推理 id 时必须注意两件事。 : 什么时候对象的生命周期必须重叠，什么时候两个对象必须分开。
当对象的 id我们看的都是为 id创建的:

>>> #  /  / first a[:]
>>> #  v  v       v    v second a[:]
>>> id(a[:]) == id(a[:])
True

那么对象不需要同时存在。每个 id(a[:])表达式可以创建切片，得到它的 id然后丢弃 id 之间相等之前的切片s 被检查过。这意味着两个切片可以具有相同的 id因为它们永远不会同时存在。
相反，当切片分配给变量时，它必须至少与变量一样长。因此，当我们检查 id通过变量的对象

>>> b = a[:]           # < ------------- first a[:]
>>> id(b) == id(a[:])  # < second a[:]     |
False
>>> b                  # < ----------------/
… 

它的生命周期与临时切片的生命周期重叠。这意味着两个切片不能具有相同的 id因为它们永远不会同时存在......

... iff 切片必须创建单独的对象。
比较 list 的行为时和 str ，关键区别在于后者没有依赖于其身份的行为——粗略地说，这对应于可变和不可变类型。
与 list 一起工作时s，身份很重要，因为我们可以改变一个特定的对象。即使两个对象具有相同的初始值，mutation 也会产生不同的效果:

>>> a, b = [1, 2, 3], [1, 2, 3]
>>> c = a         # a, b, c have same value
>>> c += [4]      # changing c has different effect on a and b
>>> a == b
False

与 str 一起工作时，身份无关紧要，因为我们无法改变特定对象。如果两个对象具有相同的初始值，不变性保证它们将始终具有相同的值:

>>> a, b = "123", "123"
>>> c = a         # a, b, c have same value
>>> c += "4"       # changing c has *no* effect on a and b
>>> a == b
True

结果，切片可变 list到新 list必须始终创建一个新对象。否则，改变切片会产生不可靠的行为。
相比之下，切片一个不可变的 str到新 str可能会创建一个新对象。即使它总是提供相同的对象，行为也是相同的。

结果如何 id定义 - 关于生命周期和分离 - Python 实现必须使用单独的 id s 在特定情况下，但可以使用单独的 id s 在所有其他情况下。
具体来说，Python 实现可以免费重用 id s 如果对象不同时存在并且可以自由共享 id s 如果行为不依赖于身份。