python - 与列表切片相反，元组切片不返回新对象

Question

在 Python(2 和 3)中。每当我们使用列表切片时，它都会返回一个新对象，例如:

l1 = [1,2,3,4]
print(id(l1))
l2 = l1[:]
print(id(l2))

输出

>>> 140344378384464
>>> 140344378387272

如果用元组重复相同的事情，则返回相同的对象，例如:

t1 = (1,2,3,4)
t2 = t1[:]
print(id(t1))
print(id(t2))

输出

>>> 140344379214896
>>> 140344379214896

如果有人能阐明为什么会发生这种情况，那就太好了，在我的 Python 经验中，我一直认为空切片返回一个新对象。

我的理解是它返回相同的对象，因为元组是不可变的，并且没有必要创建它的新副本。但同样，在任何地方的文件中都没有提到它。

Answer 1

实现可以自由地为 返回相同的实例不可变类型 (在 CPython 中，您有时可能会看到类似的字符串和整数优化)。由于对象无法更改，因此用户代码中没有任何内容需要关心它是否持有唯一实例或只是对现有实例的另一个引用。

您可以在 C 代码中找到短路here .

static PyObject*
tuplesubscript(PyTupleObject* self, PyObject* item)
{
    ... /* note: irrelevant parts snipped out */
    if (start == 0 && step == 1 &&
                 slicelength == PyTuple_GET_SIZE(self) &&
                 PyTuple_CheckExact(self)) {
            Py_INCREF(self);          /* <--- increase reference count */
            return (PyObject *)self;  /* <--- return another pointer to same */
        }
    ...

这是一个实现细节，注意 pypy不这样做。