未命名的Python对象具有相同的id

Question

我们来创建两个列表：

x = range(3)
y = range(3)
print id(x), id(y)

输出：

4366592912 4366591040

我创建了两个独立的列表，输出显示它们有两个不同的内存地址。这并不奇怪。但现在我们来做同样的事情，不过这次不进行赋值：

id(range(3))

输出：

4366623376

再来一次：

id(range(3))

输出：

4366623376

我不太明白该怎么理解这个。为什么这两个没有名字的列表会有相同的内存地址呢？

Answer 1

第一个对象在第二个对象创建的时候已经不在作用范围内了。

我不太确定Python是不是在后台做了一些聪明的处理，识别出第二个对象和第一个对象是完全一样的（而第一个对象现在已经不再使用了），所以就直接重复使用了同样的地址？

Answer 2

来自于 id(object) 的文档：

返回一个对象的“身份”。这个身份是一个整数，保证在对象的整个生命周期内是唯一且不变的。两个生命周期不重叠的对象可能会有相同的 id() 值。

因为在 id() 调用中的两个范围的生命周期不重叠，所以它们的 id 值可能是相同的。

而赋值给变量的两个范围的生命周期是重叠的，因此它们的 id 值必须是不同的。

补充：

查看 C 语言的源代码，我们可以看到 builtin_id：

builtin_id(PyObject *self, PyObject *v)
{
    return PyLong_FromVoidPtr(v);
}

以及 PyLong_FromVoidPtr。

PyLong_FromVoidPtr(void *p)
{
#if SIZEOF_VOID_P <= SIZEOF_LONG
    return PyLong_FromUnsignedLong((unsigned long)(Py_uintptr_t)p);
#else

#ifndef HAVE_LONG_LONG
#   error "PyLong_FromVoidPtr: sizeof(void*) > sizeof(long), but no long long"
#endif
#if SIZEOF_LONG_LONG < SIZEOF_VOID_P
#   error "PyLong_FromVoidPtr: sizeof(PY_LONG_LONG) < sizeof(void*)"
#endif
    return PyLong_FromUnsignedLongLong((unsigned PY_LONG_LONG)(Py_uintptr_t)p);
#endif /* SIZEOF_VOID_P <= SIZEOF_LONG */

}

所以，ID 实际上是一个内存地址。