《Python源碼剖析》閱讀筆記：第四章-list對象

第四章-list對象

 list對象定義：
typedef struct {
PyObject_VAR_HEAD
PyObject **ob_item;
Py_ssize_t allocated;
} PyListObject;
list對象是變長對象，所以有變長對象頭
ob_item數組為真正的儲存容器，用來儲存PyObject對象指標。
ob_size表示list長度。
allocated表示list已指派了多少儲存空間。

list的建立分兩步。1. 建立list對象本身。2. 為ob_item分配記憶體。
list的銷毀也分兩步。1. 回收ob_item的記憶體。2. 銷毀list對象本身。
這樣的對象建立和銷毀方案是為對象池（free_lists）服務的。
在建立list階段，Python會查看free_lists中是否有緩衝對象。若有，則直接從free_lists取出。若沒有，則從堆上分配list對象記憶體。
在銷毀list階段，若緩衝list數（num_free_lists）小於最大可緩衝數（MAXFREELISTS ），則將list對象緩衝到free_lists備用。若超過了num_free_lists，則直接釋放對象記憶體。

設定元素操作可以理解為list[i] = obj。

插入元素操作：實質是函數ins1的封裝。ins1函數的關鍵操作是，先通過list_resize（下面細說）調整list長度，然後確定插入點。由於Python list的索引可以為負數（即末尾元素索引為-1），所以索引值小於0時得加上長度得到C數組的索引。接著將插入點後的元素向後搬運，在插入點寫入對象。從此可以看出list就是C裡數組的概念。
list_resize函數：int list_resize(PyListObject *self, Py_ssize_t newsize)
如果allocated / 2 <= newsize <= allocated，則直接把ob_size設定成newsize。如果不在這個範圍內，就按如下方案realloc記憶體：new_allocated = (newsize >> 3) + (newsize < 9 ? 3 : 6);
不是很理解為什麼採用這個方案，求指教。

刪除元素操作：實質是函數app1的封裝。app1函數的關鍵操作是，先找到第一個對象的位置，然後通過list_ass_slice函數將刪除點前後的兩段合并。