Python 何时为空列表创建新的列表对象

Question

以下内容对我来说很有意义：

>>> [] is []
False

鉴于列表是可变的，我希望每次[]出现在表达式中时都是一个新的空列表对象。然而，使用这种解释，以下情况让我感到惊讶：

id([]) == id([])
True

为什么？解释是什么？

Answer 1

在第一个示例中，[]不是[]，因为列表是可变的。如果不是，他们可以安全地映射到同一个，而不会出现问题。

在第二个示例中，id([])创建一个列表，获取 id，然后解除分配该列表。第二次它再次创建一个列表，但"把它放在同一个地方"，因为没有发生太多其他事情。 id仅在对象的生存期内有效，在这种情况下，其生存期几乎为零

从 id 上的文档：

这是一个整数（或长整数），保证此对象在其生存期内是唯一且恒定的。具有非重叠生存期的两个对象可能具有相同的 id（） 值。

---

注释反汇编：

   0 LOAD_GLOBAL              0 (id)    # load the id function
   3 BUILD_LIST               0         # create the first list
   6 CALL_FUNCTION            1         # get the id
   9 LOAD_GLOBAL              0 (id)    # load the id function
  12 BUILD_LIST               0         # create the second list
  15 CALL_FUNCTION            1         # get the id
  18 COMPARE_OP               2 (==)    # compare the two ids
  21 RETURN_VALUE                       # return the comparison

请注意，没有保留列表STORE_FAST。因此，它在传递给 id 函数后立即被丢弃。