python面试有一道很基础的问题:list(列表)和tuple(元组)有什么不同?基本上只要背过题库的同学都知道,list(里面的元素)是可变的,tuple(里面的元素)是不可变的。
我们尝试在python解释器中改变tuple的元素(赋另一个值),会有以下的表现:
def tuple_check(): tp = ('123', 123) tp[1] = 13 """ Traceback (most recent call last): File "H:/Projects/Python/playground/main.py", line 20, intuple_check() File "H:/Projects/Python/playground/main.py", line 10, in tuple_check tp[2] = 13 TypeError: 'tuple' object does not support item assignment """
可以看到赋值 *** 作报错,tuple不支持再次赋值,体现了其“不可变”的特性。
但是,不支持赋值/不可变的原因,到底是什么呢?不是说不支持就不支持吧!难道也没有支持的可能?
这个问题要给出清晰的答案可并不容易,如果你直接检索网上资料的话,会发现很多文章都在说重复的话,没有什么深入的挖掘,导致这个问题无从解释。于是,今天这篇文章,就给大家把这个问题讲的干脆一点。
以及,看完这篇文章之后,网上那些车轱辘话大家也就没有必要再看了。
赋值 *** 作的源码分析从官网的Python-Source-Release页面中,我们能够下载到Python各个版本的源代码(笔者下载了3.9.7)。在源码的PCBuild文件夹下,有Visual Studio专属的pcbuild.sln项目文件,打开它就能看到python各个库的源代码的集合,以及各种文档和编译构建脚本。准备好了环境,就可以开始研究了。
以上述的赋值 *** 作为例,通过检索object does not support item assignment字样,我们可以定位到对应的函数:
// Objects/abstract.c int PyObject_SetItem(PyObject *o, PyObject *key, PyObject *value) { PyMappingMethods *m; if (o == NULL || key == NULL || value == NULL) { null_error(); return -1; } m = Py_TYPE(o)->tp_as_mapping; if (m && m->mp_ass_subscript) return m->mp_ass_subscript(o, key, value); if (Py_TYPE(o)->tp_as_sequence) { if (_PyIndex_Check(key)) { Py_ssize_t key_value; key_value = PyNumber_AsSsize_t(key, PyExc_IndexError); if (key_value == -1 && PyErr_Occurred()) return -1; return PySequence_SetItem(o, key_value, value); } else if (Py_TYPE(o)->tp_as_sequence->sq_ass_item) { type_error("sequence index must be " "integer, not '%.200s'", key); return -1; } } type_error("'%.200s' object does not support item assignment", o); return -1; }
PyObject_SetItem函数涉及到PyObject *o、PyObject* key、PyObject *value三个入参,分别对应我们的tuple实例、索引以及待赋的值。这个函数是一个通用的接口,我们可以看到函数内首先尝试将实例o看作为mapping或者是sequence(tp_as_mapping、tp_as_sequence)。如果能作为mapping,就看是否能执行mp_ass_subscript回调实现赋值;如果作为sequence,会检查key并尝试执行PySequence_SetItem函数,在这个函数里也会尝试执行Py_TYPE(o)->tp_as_sequence->sq_ass_item回调实现赋值。
在研究tuple之前,我们可以通过对list实例进行断点调试,追踪list赋值 *** 作的执行链路。断点直接断在PyObject_SetItem里面即可,测试代码如下:
lst = [1, 2, 3] lst[2] = 5
不出意外的话执行到第二行就会切到debug,一行一行下去,可以看到list实例赋值能够走到这里:
m = Py_TYPE(o)->tp_as_mapping; if (m && m->mp_ass_subscript) return m->mp_ass_subscript(o, key, value);
step into进去,可以看到list实例作为mapping的mp_ass_subscript回调,对应的是list_ass_subscript函数:
// Objects/listobject.c static int list_ass_subscript(PyListObject* self, PyObject* item, PyObject* value) { if (_PyIndex_Check(item)) { Py_ssize_t i = PyNumber_AsSsize_t(item, PyExc_IndexError); if (i == -1 && PyErr_Occurred()) return -1; if (i < 0) i += PyList_GET_SIZE(self); return list_ass_item(self, i, value); } else if (PySlice_Check(item)) { // 这里是对切片赋值,[a:b]这种。太长了先忽略掉= = return -1; } else { PyErr_Format(PyExc_TypeError, "list indices must be integers or slices, not %.200s", Py_TYPE(item)->tp_name); return -1; } } static int list_ass_item(PyListObject *a, Py_ssize_t i, PyObject *v) { if (!valid_index(i, Py_SIZE(a))) { PyErr_SetString(PyExc_IndexError, "list assignment index out of range"); return -1; } if (v == NULL) return list_ass_slice(a, i, i+1, v); Py_INCREF(v); Py_SETREF(a->ob_item[i], v); return 0; }
list_ass_subscript函数会判断索引key的合法性并转换负值索引,然后调用list_ass_item处理赋值 *** 作。list_ass_item也会再次检查索引边界,然后在list实例对应索引的位置赋新值,并调整引用计数。这样,list赋值 *** 作就完成了。
tuple为什么不可变list可以对其中的元素赋值,tuple不行。从源码的角度,list能够作为mapping,有list_ass_subscript函数用于对元素赋值,那tuple呢?我们同样可以断tuple的赋值 *** 作,可以看到最终还是落到PyObject_SetItem的“object does not support item assignment”一行
打开list这个类在C层的源代码,我们能够看到list这个数据类型的定义:
// Objects/listobject.c PyTypeObject PyList_Type = { PyVarObject_HEAD_INIT(&PyType_Type, 0) "list", sizeof(PyListObject), 0, (destructor)list_dealloc, 0, 0, 0, 0, (reprfunc)list_repr, 0, &list_as_sequence, &list_as_mapping, PyObject_HashNotImplemented, 0, 0, PyObject_GenericGetAttr, 0, 0, Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC | Py_TPFLAGS_baseTYPE | Py_TPFLAGS_LIST_SUBCLASS, list___init____doc__, (traverseproc)list_traverse, (inquiry)_list_clear, list_richcompare, 0, list_iter, 0, list_methods, 0, 0, 0, 0, 0, 0, 0, (initproc)list___init__, PyType_GenericAlloc, PyType_GenericNew, PyObject_GC_Del, .tp_vectorcall = list_vectorcall, }; static PyMappingMethods list_as_mapping = { (lenfunc)list_length, (binaryfunc)list_subscript, (objobjargproc)list_ass_subscript }; typedef struct { lenfunc mp_length; binaryfunc mp_subscript; objobjargproc mp_ass_subscript; } PyMappingMethods;
可以看到,在list类型定义中,tp_as_mapping->list_as_mapping已经包含了PyMappingMethods所定义的mp_length、mp_subscript以及mp_ass_subscript三个回调,而最后一个就是赋值 *** 作所对应的回调。反观tuple的类型定义,这一块是缺失的:
// Objects/listobject.c PyTypeObject PyTuple_Type = { PyVarObject_HEAD_INIT(&PyType_Type, 0) "tuple", sizeof(PyTupleObject) - sizeof(PyObject *), sizeof(PyObject *), (destructor)tupledealloc, 0, 0, 0, 0, (reprfunc)tuplerepr, 0, &tuple_as_sequence, &tuple_as_mapping, (hashfunc)tuplehash, 0, 0, PyObject_GenericGetAttr, 0, 0, Py_TPFLAGS_DEFAULT | Py_TPFLAGS_HAVE_GC | Py_TPFLAGS_baseTYPE | Py_TPFLAGS_TUPLE_SUBCLASS, tuple_new__doc__, (traverseproc)tupletraverse, 0, tuplerichcompare, 0, tuple_iter, 0, tuple_methods, 0, 0, 0, 0, 0, 0, 0, 0, 0, tuple_new, PyObject_GC_Del, .tp_vectorcall = tuple_vectorcall, }; static PySequenceMethods tuple_as_sequence = { (lenfunc)tuplelength, (binaryfunc)tupleconcat, (ssizeargfunc)tuplerepeat, (ssizeargfunc)tupleitem, 0, 0, 0, (objobjproc)tuplecontains, }; static PyMappingMethods tuple_as_mapping = { (lenfunc)tuplelength, (binaryfunc)tuplesubscript, 0 };
在PyMappingMethods中,tuple作为mapping没有指定mp_ass_subscript,作为sequence也没有指定sq_ass_item、sq_ass_slice。所以自然而然,原生不支持赋值 *** 作
所以,list元素可变而tuple元素不可变,要解释这个问题可以这样阐述:tuple作为mapping或者sequence,没有指定赋值 *** 作的回调函数,所以其元素不可变。而list有对应的 *** 作回调支持,所以可变。
当然可以,但是需要魔改Python源代码。我们可以仿写list_ass_subscript去实现tuple的赋值 *** 作。
// Objects/tupleobject.c // =========================== 以下是魔改代码 ============================= static int tuple_ass_item(PyTupleObject* a, Py_ssize_t i, PyObject* v) { if (!((size_t)i < (size_t)Py_SIZE(a))) { PyErr_SetString(PyExc_IndexError, "tuple assignment index out of range"); return -1; } if (v == NULL) { PyErr_SetString(PyExc_IndexError, "tuple assignment does not support null value"); return -1; } Py_INCREF(v); Py_SETREF(a->ob_item[i], v); return 0; } static int tuple_ass_subscript(PyTupleObject* self, PyObject* item, PyObject* value) { if (_PyIndex_Check(item)) { Py_ssize_t i = PyNumber_AsSsize_t(item, PyExc_IndexError); if (i == -1 && PyErr_Occurred()) { return -1; } if (i < 0) { i += PyTuple_GET_SIZE(self); } return tuple_ass_item(self, i, value); } else { PyErr_Format(PyExc_TypeError, "tuple index must be integer! not %.200s", Py_TYPE(item)->tp_name); return -1; } } // =========================== 以上是魔改代码 ============================= static PyMappingMethods tuple_as_mapping = { (lenfunc)tuplelength, (binaryfunc)tuplesubscript, // 0 (objobjargproc)tuple_ass_subscript // 这里原来是0,现在得是tuple_ass_subscript };
我们就加上tuple作为mapping时候的赋值 *** 作即可,代码逻辑也和list的基本一样。编译新的python试试看吧
tp = (1, 2, 3) tp[2] = 5 print(tp) # (1, 2, 5)
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)